Inferring Canonical Register Automata.
Falk HowarBernhard SteffenBengt JonssonSofia CasselPublished in: VMCAI (2012)
Keyphrases
- cellular automata
- finite automata
- regular expressions
- data sets
- lattice gas
- probabilistic automata
- canonical form
- neural network
- finite state machines
- real time
- finite automaton
- formal language theory
- learning algorithm
- timed automata
- turing machine
- information retrieval
- data model
- expert systems
- bayesian networks
- database systems
- multimedia