Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11–15, 2020, Proceedings (lecture Notes In Computer Science (12086))
معرفی کتاب «Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11–15, 2020, Proceedings (lecture Notes In Computer Science (12086))» نوشتهٔ Nataša Jonoska (editor), Dmytro Savchuk (editor)، منتشرشده توسط نشر Springer International Publishing Springer در سال 1208. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.
This book constitutes the proceedings of the 24th International Conference on Developments in Language Theory, DLT 2020, which was due to be held in Tampa, Florida, USA, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 24 full papers presented were carefully reviewed and selected from 38 submissions. The papers present current developments in language theory, formal languages, automata theory and related areas, such as algorithmic, combinatorial, and algebraic properties of words and languages, cellular automata, algorithms on words, etc. Preface 6 Organization 7 Contents 9 Equational Theories of Scattered and Countable Series-Parallel Posets 11 1 Introduction 11 2 Linear Orderings and Posets 12 3 Labeled Posets 15 4 Varieties 16 5 Freeness 17 6 Decidability 21 References 22 Scattered Factor-Universality of Words 24 1 Introduction 24 2 Preliminaries 27 3 Testing Simon's Congruence 29 4 Scattered Factor Universality 32 5 On Modifying the Universality Index 35 References 36 On Normalish Subgroups of the R. Thompson Groups 39 1 Introduction 39 1.1 General Motivating Background 39 1.2 Core Results 40 1.3 Specific History of the Core Result 40 1.4 An Unexpected Visitor: A Controlling Synchronizing Automaton 41 2 The Interval and the Circle as Quotients of Cantor Space, and Some Related Language 41 3 The R. Thompson Groups F
دانلود کتاب Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11–15, 2020, Proceedings (lecture Notes In Computer Science (12086))