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
model checking
finite state automata
finite number
hidden markov models
worst case
partially ordered
partial order