03200nam 22006615 450 99646643880331620230329155104.03-319-94631-510.1007/978-3-319-94631-3(CKB)4100000005323195(DE-He213)978-3-319-94631-3(MiAaPQ)EBC6244333(PPN)229502377(EXLCZ)99410000000532319520180710d2018 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierDescriptional Complexity of Formal Systems[electronic resource] 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings /edited by Stavros Konstantinidis, Giovanni Pighizzini1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XIV, 251 p. 35 illus.)Theoretical Computer Science and General Issues,2512-2029 ;109523-319-94630-7 Includes bibliographical references and index.Formal languages and automata theory -- State complexity -- Grammars -- Randomness -- Automata extensions -- Algebraic language theory.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. .Theoretical Computer Science and General Issues,2512-2029 ;10952Computer scienceNatural language processing (Computer science)Computer science—MathematicsDiscrete mathematicsArtificial intelligence—Data processingComputer Science Logic and Foundations of ProgrammingNatural Language Processing (NLP)Discrete Mathematics in Computer ScienceData ScienceComputer science.Natural language processing (Computer science).Computer science—Mathematics.Discrete mathematics.Artificial intelligence—Data processing.Computer Science Logic and Foundations of Programming.Natural Language Processing (NLP).Discrete Mathematics in Computer Science.Data Science.511.3Konstantinidis Stavrosedthttp://id.loc.gov/vocabulary/relators/edtPighizzini Giovanniedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466438803316Descriptional Complexity of Formal Systems1904989UNISA