Theoretical Computer Science and General Issues IFIP-LNCS Volumes

Descriptional Complexity of Formal Systems

18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Editors: Câmpeanu, Cezar, Manea, Florin, Shallit, Jeffrey (Eds.)

Free Preview

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-319-41114-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-319-41113-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.Descriptional Complexity is a field in Computer Science that deals with the size of all kind of objects that occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional complexity. 

Table of contents (16 chapters)

Table of contents (16 chapters)
  • Completely Reachable Automata

    Pages 1-17

    Bondar, Eugenija A. (et al.)

  • Heapability, Interactive Particle Systems, Partial Orders: Results and Open Problems

    Pages 18-28

    Istrate, Gabriel (et al.)

  • Self-Verifying Finite Automata and Descriptional Complexity

    Pages 29-44

    Jirásková, Galina

  • On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection

    Pages 45-59

    Bastos, Rafaela (et al.)

  • Unrestricted State Complexity of Binary Operations on Regular Languages

    Pages 60-72

    Brzozowski, Janusz

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-319-41114-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-319-41113-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Descriptional Complexity of Formal Systems
Book Subtitle
18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
Editors
  • Cezar Câmpeanu
  • Florin Manea
  • Jeffrey Shallit
Series Title
Theoretical Computer Science and General Issues
Series Volume
9777
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-319-41114-9
DOI
10.1007/978-3-319-41114-9
Softcover ISBN
978-3-319-41113-2
Edition Number
1
Number of Pages
XVI, 217
Number of Illustrations
50 b/w illustrations
Topics