Automata on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984

Nivat, M.

ISBN 10: 3540156410 / ISBN 13: 9783540156413

Published by Springer 1985-06, 1985

About this Item

Seller Inventory # 6666-IUK-9783540156413

Bibliographic Details

• Title: Automata on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
• Publisher: Springer 1985-06
• Publication Date: 1985
• Language: English
• ISBN 10: 3540156410
• ISBN 13: 9783540156413
• Binding: PF
• Condition: New

About this title

Synopsis

An introduction to finite automata on infinite words.- Deterministic and non ambiguous rational ?-languages.- Ensembles reconnaissables de mots bi-inpinis Limite et déterminisme.- 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.