A Purely Algebraic Proof of McNaughton's Theorem on Infinite Words.

Bertrand Le Saëc Jean-Eric Pin Pascal Weil

Published in: FSTTCS (1991)

Keyphrases

interactive theorem proving
n gram
syntactic categories
text documents
theorem proving
related words
proper nouns
machine learning
word segmentation
multiword
digital topology