Completing a combinatorial proof of the rigidity of Sturmian words generated by morphisms.

Gwénaël Richomme Patrice Séébold

Published in: Theor. Comput. Sci. (2012)

Keyphrases

human generated
keywords
n gram
neural network
text mining
word sense disambiguation
related words
linear logic
real time
data sets
information systems
theorem prover
theorem proving
document representation
randomly selected
generation process