Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>
An introduction to finite automata on infinite words.- Deterministic and non ambiguous rational ?-languages.- Ensembles reconnaissables de mots bi-inpinis Limite et d¿rminisme.- Automates boustrophedon sur des mots infinis.- Star-free ?-languages and first order logic.- A formal proof system for infinitary rational expressions.- Logical formulas and four subclasses of ?-regular languages.- Deterministic asynchronous automata.- Alternating automata on infinite objects, determinacy and Rabin's theorem.- The solution of two star-height problems for regular trees.- Decidability of yield's equality for infinite regular trees.- Languages and subshifts.- The adherences of languages as topological spaces.- Mots infinis en arithmetique.- Kth power-free codes.- On various classes of infinite words obtained by iterated mappings.- Overlap free words on two symbols.- Overlap-free sequences.
Serija: | Lecture Notes in Computer Science |
Leidėjas: | Springer Berlin Heidelberg |
Išleidimo metai: | 1985 |
Knygos puslapių skaičius: | 232 |
ISBN-10: | 3540156410 |
ISBN-13: | 9783540156413 |
Formatas: | 235 x 155 x 13 mm. Knyga minkštu viršeliu |
Kalba: | Anglų |
Parašykite atsiliepimą apie „Automata on Infinite Words: Ecole de Printemps dInformatique Theorique, Le Mont Dore, May 14-18, 1984“