Reset Filters
Branch: 上海图书馆

Cover is for reference only

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...

Full description

Saved in:
Bibliographic Details
Corporate Authors: SpringerLink (Online service)
Group Author: Charlier, milie (Editor); Leroy, Julien (Editor); Rigo, Michel. (Editor)
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:
Computer science.
Algorithms.
Computer logic.
Mathematical logic.
Computer science > Mathematics.
Computational linguistics.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Discrete Mathematics in Computer Science.
Language Translation and Linguistics.
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.

Related Book Recommendations