Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automata.
Vladimir A. ZakharovPublished in: LATA (2019)
Keyphrases
- finite automata
- finite state automaton
- finite state automata
- probabilistic automata
- turing machine
- deterministic automata
- regular expressions
- cellular automata
- finite state machines
- data structure
- tree automata
- magnetic tape
- grammatical inference
- black box
- high speed
- consistency checking
- randomized algorithms
- data model
- learning algorithm