A. Gorman

activity

20152026

most citedContinuous Regular Functions

2 citations · 3 across the 8 of their papers we have counts for

collaborators

Showing 2025Show all

2 papers · 1 filter

cs.FL2025

One-sided Hom shifts

Marie-Pierre Béal, Alexi Block Gorman

We prove that it is decidable whether a one-sided shift of finite type is conjugate to a one-sided Hom-shift, and whether a tree-shift of finite type is conjugate to a Hom tree-shi…

math.LO2025

A Dichotomy for $k$ -automatic expansions of Presburger Arithmetic

Jason Bell, Alexi Block Gorman, Chris Schulz

Let $k \geq 2$ and let $X$ be a subset of the natural numbers that is $k$ -automatic and not eventually periodic. We show that the following dichotomy holds: either all $k$ -automatic…

One-sided Hom shifts

A Dichotomy for k-automatic expansions of Presburger Arithmetic

A Dichotomy for $k$ -automatic expansions of Presburger Arithmetic