40% off Popular Science books & eBooks—Save on general interest titles now!

Theoretical Computer Science and General Issues

Implementation and Application of Automata

20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings

Editors: Drewes, Frank (Ed.)

Free Preview

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-319-22360-5
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-319-22359-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015.
The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.

Table of contents (26 chapters)

Table of contents (26 chapters)
  • Automata and Logics for Concurrent Systems: Five Models in Five Pages

    Pages 3-12

    Bollig, Benedikt

  • Hardware Implementations of Finite Automata and Regular Expressions

    Pages 13-17

    W. Watson, Bruce

  • Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems

    Pages 21-34

    Adiga, Abhijin (et al.)

  • From Ambiguous Regular Expressions to Deterministic Parsing Automata

    Pages 35-48

    Borsotti, Angelo (et al.)

  • Deciding Synchronous Kleene Algebra with Derivatives

    Pages 49-62

    Broda, Sabine (et al.)

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-319-22360-5
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-319-22359-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Implementation and Application of Automata
Book Subtitle
20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
Editors
  • Frank Drewes
Series Title
Theoretical Computer Science and General Issues
Series Volume
9223
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-22360-5
DOI
10.1007/978-3-319-22360-5
Softcover ISBN
978-3-319-22359-9
Edition Number
1
Number of Pages
XXIII, 317
Number of Illustrations
60 b/w illustrations
Topics