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 |
Externí odkaz: |