Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016.
The 26 revised full papers presented were carefully reviewed and selected from49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations ofautomata and experiments, enhanced regular expressions, and complexity analysis. 

Summary

This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016.


The 26 revised full papers presented were carefully reviewed and selected from49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations ofautomata and experiments, enhanced regular expressions, and complexity analysis. 

Product details

• Assisted by: Yo-Sub Han (Editor), Kai Salomaa (Editor), Yo-Su Han (Editor), Salomaa (Editor), Salomaa (Editor)
• Publisher: Springer, Berlin
• Content: Book
• Product form: Paperback / Softback
• Publication date: 01.01.2016
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT
• EAN: 9783319409450
• ISBN: 978-3-31-940945-0
• Pages: 335
• Illustrations: XVI, 335 p. 91 illus.
• Dimensions (packing): 15.6 x 2.2 x 23.5 cm
• Weight (packing): 534 g
• Series: Lecture Notes in Computer Science > 9705; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: C, Algorithmen und Datenstrukturen, Data Science, Algorithms, Datenbanken, 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, Data structures (Computer science), Data Structures, Computer architecture & logic design, Computer logic, Computation by Abstract Devices, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory