2 papers
math.GR2023
Every numerical semigroup arises as an automaton monoid
Tara Macalister Brough, Alan J. Cain, Jan Philipp Wächter
This paper shows how to construct explicitly an automaton that generates an arbitrary numerical semigroup.
cs.LO2014
Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms
Manfred Kufleitner, Jan Philipp Wächter
Fragments of first-order logic over words can often be characterized in terms of finite monoids, and identities of omega-terms are an effective mechanism for specifying classes of…