Deciding FO2 Alternation for Automata over Finite and Infinite Words.
Viktor HenrikssonManfred KufleitnerPublished in: CoRR (2021)
Keyphrases
- finite automata
- finite sets
- regular languages
- finite dimensional
- n gram
- cellular automata
- finite number
- probabilistic automata
- related words
- multiword
- first order logic
- regular expressions
- keywords
- finite state machines
- real numbers
- word sense disambiguation
- tree automata
- text documents
- expressive power
- english words
- co occurrence