Descriptional Complexity of Formal Systems
20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24 submissions.
DCFS is an annual international working conference concerning the descriptional complexity of formal systems and structures and its applications. Topics of interest are related to all aspects of descriptional complexity and much more.
Autor*in
Stavros Konstantinidis
Themen in »Descriptional Complexity of Formal Systems«
Formal languages State complexity Grammars Randomness Automata extensions Algebraic language theory Automata theory finite automata semantics regular expressions translations languages graph theory push-down automata data structures