Correction: Complexity of Ideals in Finite Semigroups and Finite-State Machines.

Kenneth Krohn Richard Mateosian John Rhodes

Published in: Math. Syst. Theory (1967)

Keyphrases

finite state machines
finite state automata
model checking
computational complexity
hidden markov models
regular expressions
relational databases
worst case
partial order
error detection
digital circuits