Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12442)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: DCFS 2020.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (19 papers)
Other volumes
-
Descriptional Complexity of Formal Systems
Keywords
About this book
The 19 full papers presented in this volume were carefully reviewed and selected from 31 submissions. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others.
Editors and Affiliations
Bibliographic Information
Book Title: Descriptional Complexity of Formal Systems
Book Subtitle: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings
Editors: Galina Jirásková, Giovanni Pighizzini
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-62536-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-62535-1Published: 07 November 2020
eBook ISBN: 978-3-030-62536-8Published: 07 November 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 245
Number of Illustrations: 318 b/w illustrations, 9 illustrations in colour
Topics: Logics and Meanings of Programs, Artificial Intelligence, Mathematical Logic and Formal Languages, Database Management