Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / [electronic resource] : / edited by Émilie Charlier, Julien Leroy, Michel Rigo.. — 1st ed. 2017.. — XXIII, 379 p. 79 illus. : online resource. — (Theoretical Computer Science and General Issues ;) 10396. - Theoretical Computer Science and General Issues ; 10396 .

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.

Available to subscribing member institutions only. Доступно лише організаціям членам підписки.

Анотація:
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.

9783319628097

10.1007/978-3-319-62809-7 doi


Computer logic.
Mathematical logic.
Algorithms.
Computer science—Mathematics.
Natural language processing (Computer science).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Discrete Mathematics in Computer Science.
Natural Language Processing (NLP).

QA76.9.L63 QA76.5913

005.1015113