Semirings: A basis for a mathematical automata and language theory.
Werner KuichPublished in: Developments in Language Theory (1997)
Keyphrases
- mathematical theory
- formal languages
- formal language theory
- formal theory
- programming language
- quantum mechanics
- natural language
- language learning
- general theory
- regular expressions
- formal logic
- turing machine
- regular languages
- database
- first order logic
- cellular automata
- constraint satisfaction problems
- search space
- database systems