This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016.
The 26 revised full papers presented were carefully reviewed and selected from49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations ofautomata and experiments, enhanced regular expressions, and complexity analysis.
Includes supplementary material: sn.pub/extras
Yo-Sub Han
complexity analysis formal languages and automata theory regular languages transducers tree languages automata over infinite objects characterization of automata descriptional complexity DNA computing enhanced regular expressions finite-state automata grammars and context-frree languages hypergraphs imlementations of automata and experiments nondeterminism