This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallée, France, in June 2017.
The 17 revised full papers presented were carefully reviewed and selected from 31 submissions. The topics of the presented papers include state complexity of automata; implementations of automata and experiments; enhanced regular expressions; and complexity analysis.
Arnaud Carayol
Algebraic language theory Rewrite systems Automata over infinite objects Grammars and context-free languages Tree languages Automata extensions Transducers Quantitative automata Regular languages language finite automata regular expression upper bounds semantics data structures