On the Equivalence Problem for Deterministic Multitape Automata and Transducers.
Karel Culík IIJuhani KarhumäkiPublished in: STACS (1989)
Keyphrases
- finite automata
- finite state automaton
- finite state automata
- deterministic automata
- turing machine
- probabilistic automata
- finite state machines
- regular expressions
- deterministic finite automata
- tree automata
- cellular automata
- grammatical inference
- real world
- state space
- special case
- case study
- finite automaton
- lattice gas
- databases