Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.
The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics and areas: combinatorial and algebraic properties of words and languages; grammars, acceptors and transducers for strings, trees, graphs, 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 bidimentional patterns; cryptography; concurrency; cellular automata; bio-inspried computing; quantum computing.

List of contents

Formal languages and automata.- Combinatorial and algebraic properties of words and languages.- Grammars, acceptors and transducers for strings, trees, graphs, 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 bidimentional patterns; cryptography; concurrency.- Cellular automata; bio-inspried computing; quantum computing.

Product details

• Assisted by: Sre¿ko Brlek (Editor), Srecko Brlek (Editor), Srečko Brlek (Editor), Christophe Reutenauer (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 21.07.2016
• EAN: 9783662531310
• ISBN: 978-3-662-53131-0
• No. of pages: 407
• Dimensions: 173 mm x 25 mm x 241 mm
• Weight: 645 g
• Illustrations: XVII, 407 p. 48 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Algorithmen und Datenstrukturen, Algorithms, Natürliche Sprachen und maschinelle Übersetzung, Diskrete Mathematik, Mathematik für Informatiker, computer science, Theory of Computation, Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Discrete Mathematics, Computers, Algorithms & data structures, Mathematical theory of computation, Computer programming / software engineering, Computer science—Mathematics, Maths for computer scientists, Algorithm Analysis and Problem Complexity, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Natural language & machine translation, Natural Language Processing (NLP), Natural language processing (Computer science), Computer logic, Computation by Abstract Devices, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory