Characterization of circular D0L systems

Autor: Klouda, Karel, Starosta, Štěpán
Rok vydání: 2013
Předmět:
Druh dokumentu: Working Paper
Popis: We prove that every non-circular D0L system contains arbitrarily long repetitions. This result was already published in 1993 by Mignosi and S\'e\'ebold, however their proof is only a sketch. We give here a complete proof. Further, employing our previous result, we give a simple algorithm to test circularity of an injective D0L system.
Comment: 10 pages, 4 figures
Databáze: arXiv