Abstract:Many methods for the verification of complex computer systems require the existence of a tractable mathematical abstraction of the system, often in the form of an automaton. In reality, however, such a model is hard to come up with, in particular manually. Automata learning is a technique that can automatically infer an automaton model from a system -- by observing its behaviour. The majority of automata learning algorithms is based on the so-called L* algorithm. The acceptor learned by L* has an important property: it is canonical, in the sense that, it is, up to isomorphism, the unique deterministic finite automaton of minimal size accepting a given regular language. Establishing a similar result for other classes of acceptors, often with side-effects, is of great practical importance. Non-deterministic finite automata, for instance, can be exponentially more succinct than deterministic ones, allowing verification to scale. Unfortunately, identifying a canonical size-minimal non-deterministic acceptor of a given regular language is in general not possible: it can happen that a regular language is accepted by two non-isomorphic non-deterministic finite automata of minimal size. In particular, it thus is unclear which one of the automata should be targeted by a learning algorithm. In this thesis, we further explore the issue and identify (sub-)classes of acceptors that admit canonical size-minimal representatives.

The concept of self-similar automata over a changing alphabet and lamplighter groups generated by such automata

On (bi)reversible automata generating lamplighter groups

Cross-wired lamplighter groups and linearity of automata groups

Automata groups generated by Cayley machines of groups of nilpotency class two

Self-automaton semigroups

Regular maps from the lamplighter to metabelian groups

Preserving self-similarity in free products of semigroups

Lamplighter-like geometry of groups

Pattern preserving quasi-isometries in lamplighter groups and other related groups

Automatic semigroups vs automaton semigroups

Automorphisms of self-similar trees

Shifts on the lamplighter group

Ulam stability of lamplighters and Thompson groups

Amenability of bounded automata groups on infinite alphabets

Automaton (Semi)groups (Basic Concepts)

Periodicities in Cluster Algebras and Cluster Automorphism Groups

Automorphism Groups of some Finite Semifields

Intrinsic Universality in Automata Networks I: Families and Simulations

Topology Automaton of Self-Similar Sets and Its Applications to Metrical Classifications

Multiband linear cellular automata and endomorphisms of algebraic vector groups

Canonical Algebraic Generators in Automata Learning