Keyphrases
- deterministic automata
- finite automata
- cognitive neuroscience
- learning effect
- finite state automaton
- model checking
- turing machine
- cellular automata
- temporal logic
- finite state
- recent advances
- deterministic finite automata
- finite state machines
- information processing
- linear time temporal logic
- bounded model checking
- artificial intelligence
- linear temporal logic
- learning curve
- regular expressions
- tree automata
- grammatical inference
- databases