Login / Signup
Yet Another Proof of the Cascade Decomposition Theorem for Finite Automata.
H. Paul Zeiger
Published in:
Math. Syst. Theory (1967)
Keyphrases
</>
finite automata
interactive theorem proving
grammatical inference
probabilistic automata
regular expressions
deterministic automata
theorem prover
tree automata
regular languages
hidden markov models
data mining
query language
wordnet
data integration
linear logic