Synchronization of Pushdown Automata.
Didier CaucalPublished in: Developments in Language Theory (2006)
Keyphrases
- model checking
- finite state
- finite automata
- cellular automata
- timed automata
- probabilistic automata
- finite state machines
- phase locked
- tree automata
- regular expressions
- neural network
- music score
- data sets
- temporal logic
- user interface
- artificial neural networks
- information systems
- multi stream
- computer vision
- databases