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

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

EditorM. Nivat, D. Perrin

Paperback | June 1, 1985

Pricing and Purchase Info

$116.95

Earn 585 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Automata on Infinite Words: Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18…Format:PaperbackDimensions:232 pages, 9.25 × 6.1 × 0.01 inPublished:June 1, 1985Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540156410

ISBN - 13:9783540156413

Look for similar items by category:

Reviews

Table of Contents

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.