Selected Papers of the 14th Workshop on Descriptional Complexity of Formal Systems (DCFS 2012)
Jürgen Dassow, Martin Kutrib, Nelma Moreira, Rogério Reis: | |
Editorial | 59–60 |
Maria Paola Bianchi, Markus Holzer, Sebastian Jakobi, Carlo Mereghetti, Betrice Palano, Giovanni Pighizzini: | |
On Inverse Operations and Their Descriptional Complexity | 61–81 |
Janusz Brzozowski, Baiyu Li, David Liu: | |
Syntactic Complexities of Six Classes of Star-Free Languages | 83–105 |
Cezar Câmpeanu: | |
Randomness in Blum Universal Static Complexity Spaces | 107–122 |
Jürgen Dassow, Ronny Harbich: | |
Descriptional Complexity of Union and Star on Context-Free Languages | 123–143 |
Jürgen Dassow, Florin Manea, Bianca Truthe: | |
On Subregular Selection Languages in Internal Contextual Grammars | 145–164 |
Markus Holzer, Sebastian Jakobi: | |
Descriptional Complexity of Chop Operations on Unary and Finite Languages | 165–183 |
Jean-Baptiste Jeannin, Dexter Kozen: | |
Computing with Capsules | 185–204 |
Christos A. Kapoutsis: | |
Minicomplexity | 205–224 |
Andreas Malcher, Katja Meckel, Carlo Mereghetti, Beatrice Palano: | |
Descriptional Complexity of Pushdown Store Languages | 225–244 |
Alexandros Palioudakis, Kai Salomaa, Selim G. Akl: | |
State Complexity of Finite Tree Width NFAs | 245–264 |
André Platzer: | |
Logical Analysis of Hybrid Systems: a Complete Answer to a Complexity Challenge | 265–275 |
Pedro V. Silva: | |
Groups and Automata: a Perfect Match | 277–292 |
Klaus Sutner, Kevin Lewi: | |
Iterating Inverse Binary Transducers | 293–313 |