Editors:
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)
Conference series link(s): DCFS: International Conference on Descriptional Complexity of Formal Systems
Conference proceedings info: DCFS 2020.
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 (19 papers)
-
Front Matter
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
-
Slovak Academy of Sciences, Košice, Slovakia
Galina Jirásková
-
University of Milan, Milan, Italy
Giovanni Pighizzini
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