Formal Properties of Finite Automata and Applications 1988: Ramatuelle, France

Jean-Eric Pin (Ed.): Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 25-29, 1987, Proceedings. Lecture Notes in Computer Science 386 Springer 1989, ISBN 3-540-51631-X BibTeX

@proceedings{DBLP:conf/litp/1988,
  editor    = {Jean-Eric Pin},
  title     = {Formal Properties of Finite Automata and Applications, LITP Spring
               School on Theoretical Computer Science, Ramatuelle, France, May
               25-29, 1987, Proceedings},
  booktitle = {Formal Properties of Finite Automata and Applications},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {386},
  year      = {1989},
  isbn      = {3-540-51631-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Mathematical foundations of the theory of automata

Jean Berstel: Finite automata and rational languages. An introduction. 2-14 BibTeX
Howard Straubing: The wreath product and its applications. 15-24 BibTeX
Marcel Paul Schützenberger: Décomposition polynomiale des fonctions rationnelles (English summary). 25-33 BibTeX
Jean-Eric Pin: Relational morphisms, transductions and operations on languages. 34-55 BibTeX
Jean-Camille Birget: Basic techniques for two-way finite automata. 56-64 BibTeX
Imre Simon: Properties of factorization forests. 65-72 BibTeX

Problems related to the theory of automata

Kosaburo Hashiguchi: Relative star height, star height and finite automata with distance functions. 74-88 BibTeX
John C. Meakin: Automata and the word problem. 89-103 BibTeX
Wolfgang Thomas: Automata and quantifier hierarchies. 104-119 BibTeX
Pascal Weil: Concatenation product: a survey. 120-137 BibTeX
Aldo de Luca, Stefano Varricchio: A finiteness condition for semigroups. 138-147 BibTeX
Jorge Almeida: Equations for pseudovarieties. 148-164 BibTeX

Applications of the theory of automata

Maxime Crochemore: Algorithms and automata. 166-175 BibTeX
G. Rauzy: Numbers and automata. 176-185 BibTeX
Antonio Restivo: Codes and Automata. 186-198 BibTeX
Howard Straubing, Denis Thérien: Finite automata and computational complexity. 199-233 BibTeX
Irène Guessarian: A characterization of fair computations of finite state SCCS processes. 234-248 BibTeX
Didier Vergamini: Verification of distributed systems: an experiment. 249-259 BibTeX