A Hierarchy of Automatic $\omega$-Words having a Decidable MSO Theory.

Published in: RAIRO Theor. Informatics Appl. (2008)

Keyphrases

general theory
semi automatic
fully automatic
topic hierarchy
word sense disambiguation
np hard
n gram
theoretical framework
hierarchical structure
situation calculus
lower level
word segmentation
related words
semantic distance