Skip to main content
  • Conference proceedings
  • © 2019

Developments in Language Theory

23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Part of the book series: Theoretical Computer Science and General Issues (LNTCS, volume 11647)

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

Conference proceedings info: DLT 2019.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-24886-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)

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

Table of contents (23 papers)

  1. Front Matter

    Pages i-x
  2. Invited Papers

    1. Front Matter

      Pages 1-1
    2. Single-Stranded Architectures for Computing

      • Shinnosuke Seki
      Pages 41-56
  3. Regular Papers

    1. Front Matter

      Pages 57-57
    2. A Linear Bound on the K-Rendezvous Time for Primitive Sets of NZ Matrices

      • Umer Azfar, Costanza Catalano, Ludovic Charlier, Raphaël M. Jungers
      Pages 59-73
    3. Words of Minimum Rank in Deterministic Finite Automata

      • Jarkko Kari, Andrew Ryzhikov, Anton Varonka
      Pages 74-87
    4. On the Length of Shortest Strings Accepted by Two-Way Finite Automata

      • Egor Dobronravov, Nikita Dobronravov, Alexander Okhotin
      Pages 88-99
    5. Characterizing the Valuedness of Two-Way Finite Transducers

      • Di-De Yen, Hsu-Chun Yen
      Pages 100-112
    6. Input-Driven Pushdown Automata for Edit Distance Neighborhood

      • Viliam Geffert, Zuzana Bednárová, Alexander Szabari
      Pages 113-126
    7. The Relative Edit-Distance Between Two Input-Driven Languages

      • Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
      Pages 127-139
    8. On Shrinking Restarting Automata of Window Size One and Two

      • František Mráz, Friedrich Otto
      Pages 140-153
    9. On Timed Scope-Bounded Context-Sensitive Languages

      • D. Bhave, S. N. Krishna, R. Phawade, A. Trivedi
      Pages 168-181
    10. Logics for Reversible Regular Languages and Semigroups with Involution

      • Paul Gastin, Amaldev Manuel, R. Govind
      Pages 182-191
    11. Eventually Safe Languages

      • Simon Iosti, Denis Kuperberg
      Pages 192-205
    12. Coinductive Algorithms for Büchi Automata

      • Denis Kuperberg, Laureline Pinault, Damien Pous
      Pages 206-220
    13. Hole-Free Partially Directed Animals

      • Paolo Massazza
      Pages 221-233
    14. First Lower Bounds for Palindromic Length

      • Anna E. Frid
      Pages 234-243

Other Volumes

  1. Developments in Language Theory

About this book

This book constitutes the proceedings of the 23rd International Conference on Developments in Language Theory, DLT 2019, held in Warsaw, Poland, in August 2019. 

The 20 full papers presented together with three invited talks were carefully reviewed and selected from 30 submissions. The papers cover the following topics and areas: combinatorial and algebraic properties  of words and languages; grammars, acceptors and transducers for strings, trees, graphics, arrays; algebraic theories for automata and languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and logic; picture description and analysis, polyominoes and bidimensional patterns; cryptography; concurrency; celluar automata; bio-inspired computing; quantum computing.


Keywords

  • automata theory
  • context free languages
  • databases
  • finite automata
  • formal languages
  • linguistics
  • logic and verification
  • modal logic
  • push-down automata
  • quantitative automata
  • query languages
  • robotics
  • semantics
  • software engineering
  • temporal logic
  • translation (languages)

Editors and Affiliations

  • University of Warsaw, Warsaw, Poland

    Piotrek Hofman, Michał Skrzypczak

Bibliographic Information

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-24886-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)