Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Carayol, Arnaud (Επιμελητής έκδοσης), Nicaud, Cyril (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Lecture Notes in Computer Science, 10329
• Θέματα: Computer science.; Software engineering.; Data structures (Computer science).; Computer logic.; Mathematical logic.; Information storage and retrieval.; Computational linguistics.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Data Structures.; Information Storage and Retrieval.; Language Translation and Linguistics.; Software Engineering/Programming and Operating Systems.

This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallée, France, in June 2017. The 17 revised full papers presented were carefully reviewed and selected from 31 submissions. The topics of the...

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

• State complexity of automata
• Implementations of automata and experiments
• Enhanced regular expressions
• Complexity analysis.