Keyphrases
- modal logic
- automata theoretic
- cellular automata
- temporal logic
- logic programming
- word sense disambiguation
- regular expressions
- word segmentation
- finite automata
- word recognition
- automated reasoning
- lattice gas
- syntactic categories
- turing machine
- predicate logic
- classical logic
- keywords
- n gram
- finite state
- deontic logic
- english words
- logic programs
- natural language processing