Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings - Carayol, Arnaud; Nicaud, Cyril; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
State complexity of automata -- Implementations of automata and experiments -- Enhanced regular expressions -- Complexity analysis.
Keywords: Computer logic; Mathematical logic; Data structures (Computer science).; Information storage and retrieval; Natural language processing (Computer science).; Software engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Data Structures; Information Storage and Retrieval; Natural Language Processing (NLP).; Software Engineering/Programming and Operating Systems