Alternating Automata and Logics over Infinite Words.

Christof Löding Wolfgang Thomas

Published in: IFIP TCS (2000)

Keyphrases

expressive power
propositional calculus
n gram
cellular automata
related words
inference rules
modal logic
word sense disambiguation
keywords
finite state
text corpora
syntactic categories
logic programs
multiword
tree automata
pattern matching
regular languages