Abstract:Well-structured transition systems (WSTS) are an abstract family of systems that encompasses a vast landscape of infinite-state systems. By requiring a well-quasi-ordering (wqo) on the set of states, a WSTS enables generic algorithms for classic verification tasks such as coverability and termination. However, even for systems that are WSTS like vector addition systems (VAS), the framework is notoriously ill-equipped to analyse reachability (as opposed to coverability). Moreover, some important types of infinite-state systems fall out of WSTS' scope entirely, such as pushdown systems (PDS). Inspired by recent algorithmic techniques on VAS, we propose an abstract notion of systems where the set of runs is equipped with a wqo and supports amalgamation of runs. We show that it subsumes a large class of infinite-state systems, including (reachability languages of) VAS and PDS, and even all systems from the abstract framework of valence systems, except for those already known to be Turing-complete. Moreover, this abstract setting enables simple and general algorithmic solutions to unboundedness problems, which have received much attention in recent years. We present algorithms for the (i) simultaneous unboundedness problem (which implies computability of downward closures and decidability of separability by piecewise testable languages), (ii) computing priority downward closures, (iii) deciding whether a language is bounded, meaning included in $w_1^*\cdots w_k^*$ for some words $w_1,\ldots,w_k$, and (iv) effective regularity of unary languages. This leads to either drastically simpler proofs or new decidability results for a rich variety of systems.

The falsification by fellow traveler property implies geodesic autostackability

Regular geodesic languages and the falsification by fellow traveler property

Finite flag-transitive affine planes with a solvable automorphism group.

The Word Problem for Finitary Automaton Groups

Towards the Automorphism Conjecture I: Combinatorial Control

Discrete Automorphism Groups of Convex Cones of Finite Type

Realizability of Subgroups by Subshifts of Finite Type

On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract)

The generalised word problem in hyperbolic and relatively hyperbolic groups

Verifying Unboundedness via Amalgamation

Some geodesic problems in groups

Ordering groups and the Identity Problem

On groups well represented as automorphism groups of groups

Fuchs' problem for endomorphisms of nonabelian groups

Eventually Self-Similar Groups acting on Fractals

Varieties of groups and the problem on conciseness of words

Crystal monoids \& crystal bases: rewriting systems and biautomatic structures for plactic monoids of types $A_{n}$, $B_{n}$, $C_{n}$, $D_{n}$, and $G_2$

Shifts of Finite Type Obtained by Forbidding a Single Pattern

Higher incoherence of the automorphism groups of a free group

Aperiodic Subshifts of Finite Type on Groups