Semitopological Semirings and Pushdown Automata.
W. HerfortWerner KuichPublished in: Math. Syst. Theory (1984)
Keyphrases
- finite state
- cellular automata
- model checking
- constraint satisfaction problems
- probabilistic automata
- containment of conjunctive queries
- finite state automata
- finite automata
- regular expressions
- timed automata
- lattice gas
- tree automata
- neural network
- database
- data sources
- database systems
- data mining
- regular languages
- data sets
- finite state automaton