Book Name: Implementation and Application of Automata
Author: Markus Holzer, Martin Kutrib
Publisher: Springer International Publishing
File size: 8.39 MB
File format: PDF
Implementation and Application of Automata Pdf Book Description:
This book constitutes the refereed proceedings of the 20th Global Conference on Implementation and Application of Automata, CIAA 2015, held at held in Umeå, Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and two toool demonstration papers were carefully reviewed and selected from 49 submissions.
The papers cover all aspects of cover automata, counter automata, conclusion algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, leaping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random creation of automata, regular expressions, safety problems, detectors in automata, transducers, transformation of automata, and weighted automata.