Bachelor Thesis BCLR-2019-88

BibliographyWelker, Janette: Constructions and Closure Properties for Partial and Complete Automaton Structures.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 88 (2019).
29 pages, english.
Abstract

An interesting aspect to study on the topic of semigroups are their closure properties. In particular, this work aims to expand on previous results on the closure under the semigroup free product. These results stem from work done by Tara Brough and Alan J. Cain, who proved that automaton semigroups which have an idempotent or are homogeneous will form an automaton semigroup under the free product. In this work, we show that these restrictions can be loosened to encompass a greater number of automaton semigroups. We accomplish this by proving that two automaton semigroups form another automaton semigroup under free product construction, if there exist maps between their state sets that each extend into homomorphisms between their generated semigroups.

Full text and
other links
Volltext
Department(s)University of Stuttgart, Institute of Formal Methods in Computer Science, Theoretical Computer Science
Superviser(s)Diekert, Prof. Volker, Wächter, Jan Philipp
Entry dateFebruary 20, 2020
   Publ. Computer Science