Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement (Lecture Notes in Computer Science (7020))

This Festschrift volume is published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching. The topics covered are: weighted automata over words and trees, tree transducers, quantum automata, graphs, pictures and varieties of semigroups. Since 1982 -- at the Aristotle University of Thessaloniki -- Symeon's main interests have been closely connected with the algebraic foundations in computer science. In particular, he contributed to the development of the theory of tree languages and series, the axiomatization of graphs, picture theory, and fuzzy languages. The volume, which focuses on the research interests of Symeon, contains 15 thoroughly refereed invited papers, written by his colleagues, friends, and students. Most of the papers were presented at the Workshop on Algebraic Foundations in Computer Science, held in Thessaloniki, Greece, during November 7--8, 2011. Front Matter....Pages - Selected Decision Problems for Square-Refinement Collage Grammars....Pages 1-29 Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics....Pages 30-55 Partial Conway and Iteration Semiring-Semimodule Pairs....Pages 56-71 Kleene Theorem in Partial Conway Theories with Applications....Pages 72-93 Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids....Pages 94-111 Equational Weighted Tree Transformations with Discounting....Pages 112-145 Quantum Automata Theory – A Review....Pages 146-167 Graph Automata: The Algebraic Properties of Abelian Relational Graphoids....Pages 168-182 A Survey on Picture-Walking Automata....Pages 183-213 Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups....Pages 214-227 Algebraic Systems and Pushdown Automata....Pages 228-256 Where Automatic Structures Benefit from Weighted Automata....Pages 257-271 Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition....Pages 272-308 Valuations of Weighted Automata: Doing It in a Rational Way....Pages 309-346 Selected Combinatorial Properties of Random Intersection Graphs....Pages 347-362 Back Matter....Pages - This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching activity, focuses on the subjects taught by Symeon, namely: algebra, linear algebra, mathematical logic, number theory, automata theory, tree languages and series, algebraic semantics, and fuzzy languages. Since 1982 -- at the Aristotle University of Thessaloniki -- Symeon's main interests have been closely connected with the algebraic foundations in computer science. In particular, he contributed to the development of the theory of tree languages and series, the axiomatization of graphs, picture theory, and fuzzy languages. The volume contains 15 invited papers, written by colleagues, friends, and students of Symeon. All of the papers were carefully refereed and are connected to his research topics. Most of the papers were presented at the Workshop on Algebraic Foundations in Computer Science, held in Thessaloniki, Greece, during November 7--8, 2011.