Weighted automata and logics for infinite nested words.
Manfred DrosteStefan DückPublished in: Inf. Comput. (2017)
Keyphrases
- cellular automata
- expressive power
- modal logic
- regular languages
- n gram
- finite automata
- keywords
- related words
- english words
- probabilistic automata
- text documents
- weighted sum
- finite state
- word recognition
- word sense disambiguation
- similarity measure
- propositional dynamic logic
- nonmonotonic logics
- finite state machines
- regular expressions