Description
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
Coordinator: Drewes Frank
Language: EnglishSubjects for Implementation and Application of Automata:
Keywords
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
Support: Print on demand
Description
/li>Comment
/li>
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