Keyphrases
- finite automata
- rewriting rules
- rewrite rules
- cellular automata
- finite state
- rewriting systems
- probabilistic automata
- queries using views
- regular expressions
- finite state machines
- query rewriting
- lattice gas
- tree automata
- formal language theory
- regular path queries
- presburger arithmetic
- database
- finite state automata
- real time
- datalog programs
- termination analysis
- reinforcement learning
- metadata
- artificial intelligence
- neural network