VOLUME 17 2012 NUMBERS 2–4

Selected Papers of the 14th Workshop on Descriptional Complexity of Formal Systems (DCFS 2012)

Jürgen Dassow, Martin Kutrib, Nelma Moreira, Rogério Reis:
Maria Paola Bianchi, Markus Holzer, Sebastian Jakobi, Carlo Mereghetti, Betrice Palano, Giovanni Pighizzini:
On Inverse Operations and Their Descriptional Complexity61–81
Janusz Brzozowski, Baiyu Li, David Liu:
Syntactic Complexities of Six Classes of Star-Free Languages83–105
Cezar Câmpeanu:
Randomness in Blum Universal Static Complexity Spaces107–122
Jürgen Dassow, Ronny Harbich:
Descriptional Complexity of Union and Star on Context-Free Languages123–143
Jürgen Dassow, Florin Manea, Bianca Truthe:
On Subregular Selection Languages in Internal Contextual Grammars145–164
Markus Holzer, Sebastian Jakobi:
Descriptional Complexity of Chop Operations on Unary and Finite Languages165–183
Jean-Baptiste Jeannin, Dexter Kozen:
Computing with Capsules185–204
Christos A. Kapoutsis:
Andreas Malcher, Katja Meckel, Carlo Mereghetti, Beatrice Palano:
Descriptional Complexity of Pushdown Store Languages225–244
Alexandros Palioudakis, Kai Salomaa, Selim G. Akl:
State Complexity of Finite Tree Width NFAs245–264
André Platzer:
Logical Analysis of Hybrid Systems: a Complete Answer to a Complexity Challenge265–275
Pedro V. Silva:
Groups and Automata: a Perfect Match277–292
Klaus Sutner, Kevin Lewi:
Iterating Inverse Binary Transducers293–313