On the Lower Bound to the Memory of Finite State Machines.
K. VairavanPublished in: IEEE Trans. Computers (1969)
Keyphrases
- finite state machines
- lower bound
- upper bound
- finite state automata
- model checking
- branch and bound
- lower and upper bounds
- branch and bound algorithm
- hidden markov models
- objective function
- memory requirements
- optimal solution
- np hard
- regular expressions
- memory space
- digital circuits
- lower bounding
- main memory
- pattern matching
- linear programming
- data model
- databases