Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words.
Manfred DrosteSven DziadekWerner KuichPublished in: FSTTCS (2020)
Keyphrases
- intuitionistic logic
- modal logic
- cellular automata
- multi valued
- finite state machines
- automata theoretic
- regular languages
- related words
- automated reasoning
- finite state
- model checking
- n gram
- logic programming
- word sense disambiguation
- pattern matching
- finite automata
- von neumann
- predicate logic
- information retrieval
- feature selection
- probabilistic automata
- hidden markov models
- knowledge representation
- word recognition
- classical logic
- language model
- regular expressions