Recognizing Numbers
Formal Languages and Automata Theory
2025-02-12 v1
Abstract
The use of monoids in the study of word languages recognized by finite-state automata has been quite fruitful. In this work, we look at the same idea of "recognizability by finite monoids" for other monoids. In particular, we attempt to characterize recognizable subsets of various additive and multiplicative monoids over integers, rationals, reals, and complex numbers. While these recognizable sets satisfy properties such as closure under Boolean operations and inverse morphisms, they do not enjoy many of the nice properties that recognizable word languages do.
Cite
@article{arxiv.2502.07314,
title = {Recognizing Numbers},
author = {Pranshu Gaba and Arnab Sur},
journal= {arXiv preprint arXiv:2502.07314},
year = {2025}
}
Comments
12 pages, to be published in ICLA 2025