Flat counter automata almost everywhere!.
Jérôme LerouxGrégoire SutrePublished in: Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)
Keyphrases
- cellular automata
- probabilistic automata
- finite state machines
- finite automata
- turing machine
- data mining
- finite state
- regular expressions
- special case
- face recognition
- database systems
- multi agent systems
- objective function
- machine learning
- finite state automata
- formal languages
- neural network
- formal language theory