Implementation and Application of Automata, 1st ed. 2015 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateur : Drewes Frank
The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.
Includes supplementary material: sn.pub/extras
Date de parution : 07-2015
Ouvrage de 317 p.
15.5x23.5 cm
Thèmes d’Implementation and Application of Automata :
Mots-clés :
Automaton; Computational complexity; Concurrent system; Context-free grammar; Descriptional complexity; Finite-state machine; Formal language; Grammar; Implementation; Parsing; Probabilistic computation; Quantum automaton; Quantum computation; Recognition power; Regular expression; Security; Semantic bugs; Syntax tree; Undecidability; Weighted automaton; algorithm analysis and problem complexity