作者: A Ehrenfeucht , T Harju , G Rozenberg
DOI: 10.1142/4197
关键词: Algorithm 、 Quotient 、 Algebra 、 Modular decomposition 、 Decomposition method (queueing theory) 、 Design methods 、 Mathematics 、 Binary number
摘要: The theory of 2-structures provides a convenient framework for decomposition and transformation mathematical systems where one or several different binary relationships hold between the objects system. In particular, it forms useful graphs.The methods presented in this book correspond closely to top-down design studied computer science. considered here have natural interpretation dynamic evolution certain kinds communication networks. From point view, clan method here, also known as modular substitution decomposition, is related by quotients algebra. based on labelled over groups, which generalizes well-studied switching classes graphs.This both text monograph. As monograph, results concerning are unified way. addition, detailed notes references provided at end each chapter. These allow reader trace origin many notions results, browse through literature order extend material book.To facilitate its use textbook, there numerous examples exercises provide an opportunity check his her understanding discussed material. Furthermore, begins with preliminaries partial orders, semigroups, groups graphs extent needed book.