Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings

著者

    • DCFS (Workshop)
    • Konstantinidis, Stavros
    • Pighizzini, Giovanni

書誌事項

Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings

Stavros Konstantinidis, Giovanni Pighizzini (eds.)

（Lecture notes in computer science, 10952 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues）

Springer, c2018

大学図書館所蔵 件 / 全1件

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

目次

Formal languages and automata theory.- State complexity.- Grammars.- Randomness.- Automata extensions.- Algebraic language theory.

「Nielsen BookData」 より

関連文献： 1件中  1-1を表示

ページトップへ