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.

Message complexity for unary multiautomata systems

Topological Entropy and Complexity of One Class of Cellular Automata Rules

Deterministic pushdown automata and unary languages

Unary languages recognized by two-way one-counter automata

Descriptional Complexity of Finite Automata -- Selected Highlights

Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata

Primitive Automata that are Synchronizing

Complexity of Unary Exclusive Nondeterministic Finite Automata

The Complexity of Simplifying $ω$-Automata through the Alternating Cycle Decomposition

The Word Problem for Finitary Automaton Groups

Canonical Algebraic Generators in Automata Learning

Synchronizing random automata through repeated 'a' inputs

Finite automata over structures

Ambiguity through the lens of measure theory

The Freeness Problem for Automaton Semigroups

Deterministic automata simulation, universality and minimality

$μ$-Limit Sets of Cellular Automata from a Computational Complexity Perspective

Alternating Nominal Automata with Name Allocation

Language Acceptors with a Pushdown: Characterizations and Complexity

The Complexity of Satisfiability Checking for Symbolic Finite Automata

Algebraic Language Theory with Effects