An algorithm for the solution of fixed-point equations for infinite words
- 1 January 1980
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 14 (2) , 131-141
- https://doi.org/10.1051/ita/1980140201311
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Sur les ensembles de mots infinis engendrés par une grammaire algébriqueRAIRO. Informatique théorique, 1978
- Frontiers of infinite treesRAIRO. Informatique théorique, 1978
- Mots infinis engendrés par une grammaire algébriqueRAIRO. Informatique théorique, 1977
- Das Problem der ‚unendlichen Modi‘ in ALGOL 68Lecture Notes in Computer Science, 1975
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966
- Grundzüge einer Theorie der geordneten MengenMathematische Annalen, 1908