Towards a proof of the decidability of the momentary stagnation of the growth function of D0L systems
From MaRDI portal
Publication:2566011
DOI10.1016/j.tcs.2005.05.002zbMath1075.68044WikidataQ57388642 ScholiaQ57388642MaRDI QIDQ2566011
Manuel Alfonseca, Blanca Cases
Publication date: 22 September 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2005.05.002
68Q45: Formal languages and automata
Cites Work