Del i serien Lecture Notes in Computer Science

Automata on Infinite Words

Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984

Häftad, Engelska, 1985

AvM. Nivat,D. Perrin

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1985-06-01
Mått155 x 235 x 13 mm
Vikt359 g
FormatHäftad
SpråkEngelska, Franska
SerieLecture Notes in Computer Science
Antal sidor222
Upplaga1985
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540156413

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

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.

Du kanske också är intresserad av

Del 10

Tree Automata and Languages

M. Nivat, A. Podelski

Inbunden, 1992

2 659 kr

pKa Prediction for Organic Acids and Bases

D. Perrin

Häftad, 2012

699 kr

Buffers for pH and Metal Ion Control

D. Perrin

Häftad, 1979

689 kr

Del 4

Parallel Image Processing

M Nivat, Ahmed Saoudi, Patrick S P Wang

Inbunden, 1992

1 289 kr

Del 15

Parallel Image Analysis And Processing

WANG P S P, Katsushi Inoue, A Nakamura, M Nivat, Ahmed Saoudi, Patrick S P Wang

Inbunden, 1994

1 829 kr

Del 19

Parallel Image Analysis: Theory And Applications

NIVAT M, L S Davis, M Nivat, Azriel Rosenfeld, Patrick S P Wang, Katsushi Inoue

Inbunden, 1995

1 529 kr

Del 18

Array Grammars, Patterns And Recognizers

WANG P S P, Ito Akira, Patrick S P Wang, K G Subramanian, Rani Siromoney, Ahmed Saoudi, Azriel Rosenfeld, M Nivat, Edward T Lee, Aizawa Kunio, Kamala Krithivasan, Aso Hirotoma, Yasunori Yamamoto