Lower Bounds on the Area of Finite-State Machines.

M. J. Foster Ronald I. Greenberg

Published in: Inf. Process. Lett. (1989)

Keyphrases

finite state machines
lower bound
upper bound
model checking
branch and bound algorithm
branch and bound
finite state automata
objective function
np hard
lower and upper bounds
worst case
optimal cost
digital circuits
optimal solution
online algorithms
regular expressions
vc dimension