Juhani Karhumäki

Alexander Okhotin

Helmut Jürgensen

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.

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

Descriptional Complexity of Formal Systems

Sheng Yu

Michael Domaratzki

Kai Salomaa

This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Implementation and Application of Automata, CIAA 2004, held in Kingston, Canada in July 2004. The 25 revised full papers and 14 revised poster papers presented together with 2 invited contributions have gone through two rounds of reviewing and improvement. The topics covered range from applications of automata in natural language and speech processing to protein sequencing and gene compression, and from state complexity and new algorithms for automata operations to applications of quantum finite automata.

9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers

Implementation and Application of Automata

Carlos Martín-Vide

Dana Shapira

This book constitutes the refereed proceedings of the 13th International Conference on Language and Automata Theory and Applications, LATA 2019, held in St. Petersburg, Russia, in March 2019. The 31 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 98 submissions. The papers cover the following topics: Automata; Complexity; Grammars; Languages; Graphs, trees and rewriting; and Words and codes.

13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Language and Automata Theory and Applications

Alexander Okhotin

Books

Your next favorite book is out there