Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10316)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: DCFS 2017.
Buy print copy
About this book
Similar content being viewed by others
Keywords
- descriptional complexity
- automata theory
- formal languages
- context free languages
- regular languages
- Turing machines
- automata extensions
- computational completeness
- graph-controlled systems
- information theory
- insertion-deletion systems
- models of computation
- quantitative automata
- state complexity
- syntactic complexity
- theory of computation
- language
- upper bounds
- algorithms
- algorithm analysis and problem complexity
Table of contents (24 papers)
-
Invited Papers
-
Contributed Papers
Other volumes
-
Descriptional Complexity of Formal Systems
Editors and Affiliations
Bibliographic Information
Book Title: Descriptional Complexity of Formal Systems
Book Subtitle: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Editors: Giovanni Pighizzini, Cezar Câmpeanu
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-60252-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2017
Softcover ISBN: 978-3-319-60251-6Published: 03 June 2017
eBook ISBN: 978-3-319-60252-3Published: 22 June 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 311
Number of Illustrations: 76 b/w illustrations
Topics: Logics and Meanings of Programs, Computation by Abstract Devices, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Software Engineering/Programming and Operating Systems