Descriptional Complexity of Formal Systems

16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

  • Helmut Jürgensen
  • Juhani Karhumäki
  • Alexander Okhotin
Conference proceedings DCFS 2014

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8614)

Table of contents

  1. Front Matter
  2. Manfred Kufleitner
    Pages 23-28
  3. Nikolay Vereshchagin
    Pages 29-41
  4. Farid Ablayev, Aida Gainutdinova, Kamil Khadiev, Abuzer Yakaryılmaz
    Pages 53-64
  5. Artiom Alhazov, Bogdan Aman, Rudolf Freund, Gheorghe Păun
    Pages 65-76
  6. Angelo Borsotti, Luca Breveglieri, Stefano Crespi Reghizzi, Angelo Morzenti
    Pages 77-89
  7. Janusz Brzozowski, Gareth Davies
    Pages 90-101
  8. Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
    Pages 102-113
  9. Enrico Formenti, Luca Manzoni, Antonio E. Porreca
    Pages 114-125
  10. Viliam Geffert, Abuzer Yakaryılmaz
    Pages 126-137
  11. Mai Gehrke, Andreas Krebs, Jean-Éric Pin
    Pages 138-149
  12. Daniel Goč, Kai Salomaa
    Pages 150-161
  13. Markus Holzer, Sebastian Jakobi
    Pages 162-173
  14. Szabolcs Iván, Ádám D. Lelkes, Judit Nagy-György, Balázs Szörényi, György Turán
    Pages 174-185
  15. Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
    Pages 186-197
  16. Jan Janoušek, Bořivoj Melichar, Radomír Polách, Martin Poliak, Jan Trávníček
    Pages 198-209
  17. Jozef Jirásek, Galina Jirásková, Monika Krausová, Peter Mlynárčik, Juraj Šebej
    Pages 210-221
  18. Galina Jirásková, Peter Mlynárčik
    Pages 222-233
  19. Prateek Karandikar, Philippe Schnoebelen
    Pages 234-245
  20. Sang-Ki Ko, Ha-Rim Lee, Yo-Sub Han
    Pages 246-257
  21. Balagopal Komarath, Jayalal Sarma, K. S. Sunil
    Pages 258-269
  22. Olga Dorzweiler, Thomas Flamm, Andreas Krebs, Michael Ludwig
    Pages 270-281
  23. Martin Kutrib, Andreas Malcher, Matthias Wendlandt
    Pages 282-293
  24. Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki
    Pages 294-305
  25. Alexandros Palioudakis, Kai Salomaa, Selim G. Akl
    Pages 330-341
  26. Holger Petersen
    Pages 342-351
  27. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full papers presented were carefully reviewed and selected from 35 submissions. The conference dealt with the following topics: Automata, grammars, languages and other formal systems; various modes of operation and complexity measures; trade-offs between computational models and modes of operation; succinctness of description of objects, state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; complexity aspects of combinatorics on words; Kolmogorov complexity.


context-free languages error-correcting codes quantum computation regular languages turing machines

Editors and affiliations

  • Helmut Jürgensen
    • 1
  • Juhani Karhumäki
    • 2
  • Alexander Okhotin
    • 3
  1. 1.Department of Computer ScienceThe University of Western OntarioLondonCanada
  2. 2.Department of Mathematics and TUCSUniversity of TurkuTurkuFinland
  3. 3.University of TurkuTurkuFinland

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-09703-9
  • Online ISBN 978-3-319-09704-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software