Developments in Language Theory : 21st International Conference, DLT 2017, Li ge, Belgium, August 7-11, 2017, Proceedings /
This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Li ge, Belgium, in August 2017.The 24 full papers and 6 (abstract of) invited papers were carefully reviewed and selected from 47 submissions. The papers cover the followi...
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; ; |
Published: |
Springer International Publishing : Imprint: Springer,
|
Publisher Address: | Cham : |
Publication Dates: | 2017. |
Literature type: | eBook |
Language: | English |
Series: |
Lecture Notes in Computer Science,
10396 |
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-3-319-62809-7 |
Summary: |
This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Li ge, Belgium, in August 2017.The 24 full papers and 6 (abstract of) invited papers were carefully reviewed and selected from 47 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-inspiredcomputing; quantum computing. |
Carrier Form: | 1 online resource (XXIII, 379 pages): illustrations. |
ISBN: | 9783319628097 |
Index Number: | QA76 |
CLC: | TP302.2 |
Contents: | 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-inspiredcomputing -- Quantum computing. |