Advertisement

Descriptional Complexity of Formal Systems

20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

  • Stavros Konstantinidis
  • Giovanni Pighizzini

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10952)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Ludwig Staiger
    Pages 1-10
  3. Simon Beier, Markus Holzer
    Pages 11-23
  4. Janusz A. Brzozowski, Sylvie Davies
    Pages 37-48
  5. Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
    Pages 49-61
  6. Louis-Marie Dando, Sylvain Lombardy
    Pages 62-74
  7. Miguel Ferreira, Nelma Moreira, Rogério Reis
    Pages 88-100
  8. Enrico Formenti, Paolo Massazza
    Pages 101-113
  9. Massimiliano Goldwurm, Jianyi Lin, Marco Vignati
    Pages 114-125
  10. Bruno Guillon, Luca Prigioniero
    Pages 126-138
  11. Stefan Hetzl, Simon Wolfsteiner
    Pages 139-150
  12. Markus Holzer, Simon Wolfsteiner
    Pages 151-162
  13. Oscar H. Ibarra, Ian McQuillan
    Pages 163-174
  14. Rishat Ibrahimov, Kamil Khadiev, Krišjānis Prūsis, Abuzer Yakaryılmaz
    Pages 175-187
  15. Galina Jirásková, Alexander Okhotin
    Pages 188-199
  16. Chris Keeler, Kai Salomaa
    Pages 200-211
  17. Martin Kutrib, Andreas Malcher, Christian Schneider
    Pages 212-223
  18. Alexander Okhotin, Kai Salomaa
    Pages 224-236
  19. Back Matter
    Pages 251-251

About these proceedings

Introduction

This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24 submissions.

DCFS is an annual international working conference concerning the descriptional complexity of formal systems and structures and its applications. Topics of interest are related to all aspects of descriptional complexity and much more. 

Keywords

Formal languages State complexity Grammars Randomness Automata extensions Algebraic language theory Automata theory finite automata semantics regular expressions translations languages graph theory push-down automata

Editors and affiliations

  • Stavros Konstantinidis
    • 1
  • Giovanni Pighizzini
    • 2
  1. 1.Department of Mathematics and Computing ScienceSaint Mary’s UniversityHalifaxCanada
  2. 2.Dipartimento di Informatica e ComunicaziUniversita degli Studi di MilanoMilanItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-94631-3
  • Copyright Information IFIP International Federation for Information Processing 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-94630-6
  • Online ISBN 978-3-319-94631-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace