Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9705)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): CIAA: International Conference on Implementation and Application of Automata
Conference proceedings info: CIAA 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (27 papers)
-
Front Matter
-
Invited Paper
-
Front Matter
-
-
Regular Papers
-
Front Matter
-
About this book
Conference 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 from
49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations of
automata and experiments, enhanced regular expressions, and complexity analysis.
Keywords
- 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
- program generation
- regular expressions
- symbolic computation
- two-dimensional pattern matching
- universality problem
- algorithm analysis and problem complexity
Editors and Affiliations
-
Yonsei University, Seoul, Korea (Republic of)
Yo-Sub Han
-
Queen's University , Kingston, Canada
Kai Salomaa
Bibliographic Information
Book Title: Implementation and Application of Automata
Book Subtitle: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
Editors: Yo-Sub Han, Kai Salomaa
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-40946-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-40945-0Published: 06 July 2016
eBook ISBN: 978-3-319-40946-7Published: 05 July 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 335
Number of Illustrations: 91 b/w illustrations
Topics: Computation by Abstract Devices, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Data Structures, Discrete Mathematics in Computer Science