Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Charlier, Émilie (Επιμελητής έκδοσης), Leroy, Julien (Επιμελητής έκδοσης), Rigo, Michel (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Lecture Notes in Computer Science, 10396
• Θέματα: Computer science.; Algorithms.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computational linguistics.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Discrete Mathematics in Computer Science.; Language Translation and Linguistics.

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

Πίνακας περιεχομένων:

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