© 2014

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

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

Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment