Skip to main content
  • Conference proceedings
  • © 2009

Developments in Language Theory

13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5583)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): DLT: International Conference on Developments in Language Theory

Conference proceedings info: DLT 2009.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (40 papers)

  1. Front Matter

  2. Invited Talks

    1. Factorization Forests

      • Mikołaj Bojańczyk
      Pages 1-17
    2. Weighted versus Probabilistic Logics

      • Benedikt Bollig, Paul Gastin
      Pages 18-38
    3. Size Complexity of Two-Way Finite Automata

      • Christos A. Kapoutsis
      Pages 47-66
    4. Matrix Mortality and the Černý-Pin Conjecture

      • Jorge Almeida, Benjamin Steinberg
      Pages 67-80
  3. Regular Papers

    1. Regular Languages Definable by Majority Quantifiers with Two Variables

      • Christoph Behle, Andreas Krebs, Stephanie Reifferscheid
      Pages 91-102
    2. The Inclusion Problem of Context-Free Languages: Some Tractable Cases

      • Alberto Bertoni, Christian Choffrut, Roberto Radicioni
      Pages 103-112
    3. On the Complexity of Deciding Avoidability of Sets of Partial Words

      • Brandon Blakeley, Francine Blanchet-Sadri, Josh Gunter, Narad Rampersad
      Pages 113-124
    4. Closures in Formal Languages and Kuratowski’s Theorem

      • Janusz Brzozowski, Elyot Grant, Jeffrey Shallit
      Pages 125-144
    5. Rich and Periodic-Like Words

      • Michelangelo Bucci, Aldo de Luca, Alessandro De Luca
      Pages 145-155
    6. Traces of Control-Flow Graphs

      • Simone Campanoni, Stefano Crespi Reghizzi
      Pages 156-169
    7. Left and Right Synchronous Relations

      • Olivier Carton
      Pages 170-182
    8. An Extension of the Lyndon Schützenberger Result to Pseudoperiodic Words

      • Elena Czeizler, Eugen Czeizler, Lila Kari, Shinnosuke Seki
      Pages 183-194
    9. Asymptotic Cellular Complexity

      • Bruno Durand, Victor Poupet
      Pages 195-206
    10. Powers of Regular Languages

      • Szilárd Zsolt Fazekas
      Pages 221-227
    11. Existence and Nonexistence of Descriptive Patterns

      • Dominik D. Freydenberger, Daniel Reidenbach
      Pages 228-239
    12. On Stateless Multihead Finite Automata and Multihead Pushdown Automata

      • Pierluigi Frisco, Oscar H. Ibarra
      Pages 240-251

Other Volumes

  1. Developments in Language Theory

Keywords

  • Alphabet
  • Erfüllbarkeitsproblem der Aussagenlogik
  • Kuratowski
  • Variable
  • automata
  • automata theory
  • boolean satisfiability problem
  • complexity
  • computability
  • formal language
  • formal languages
  • grammars
  • logic
  • petri net
  • regular expressions
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Institut für Formale Methoden der Informatik, FMI, Universität Stuttgart, Stuttgart, Germany

    Volker Diekert, Dirk Nowotka

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions