Correction: Yet Another Proof of the Cascade Decomposition Theorem for Finite Automata.

Published in: Math. Syst. Theory (1968)

Keyphrases

finite automata
interactive theorem proving
grammatical inference
deterministic automata
regular expressions
probabilistic automata
tree automata
regular languages
hidden markov models
linear logic
theorem prover
databases
keywords
microarray