Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9223)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CIAA 2015.
Buy print copy
About this book
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.
Similar content being viewed by others
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
Table of contents (26 papers)
-
Invited Papers
-
Regular Papers
Other volumes
-
Implementation and Application of Automata
Editors and Affiliations
Bibliographic Information
Book Title: Implementation and Application of Automata
Book Subtitle: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
Editors: Frank Drewes
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-22360-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-22359-9Published: 28 July 2015
eBook ISBN: 978-3-319-22360-5Published: 27 July 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXIII, 317
Number of Illustrations: 60 b/w illustrations
Topics: Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages, Computational Biology/Bioinformatics, Data Structures, Information Storage and Retrieval