Current browse context:
cs.DM
Change to browse by:
References & Citations
Computer Science > Computational Complexity
Title: Tameness and the power of programs over monoids in DA
(Submitted on 19 Jan 2021 (v1), last revised 29 Jul 2022 (this version, v5))
Abstract: The program-over-monoid model of computation originates with Barrington's proof that the model captures the complexity class $\mathsf{NC^1}$. Here we make progress in understanding the subtleties of the model. First, we identify a new tameness condition on a class of monoids that entails a natural characterization of the regular languages recognizable by programs over monoids from the class. Second, we prove that the class known as $\mathbf{DA}$ satisfies tameness and hence that the regular languages recognized by programs over monoids in $\mathbf{DA}$ are precisely those recognizable in the classical sense by morphisms from $\mathbf{QDA}$. Third, we show by contrast that the well studied class of monoids called $\mathbf{J}$ is not tame. Finally, we exhibit a program-length-based hierarchy within the class of languages recognized by programs over monoids from $\mathbf{DA}$.
Submission history
From: Nathan Grosshans [view email] [via LOGICAL proxy][v1] Tue, 19 Jan 2021 07:41:31 GMT (51kb)
[v2] Wed, 5 Jan 2022 09:00:01 GMT (46kb)
[v3] Fri, 6 May 2022 09:50:26 GMT (49kb)
[v4] Thu, 12 May 2022 09:42:11 GMT (52kb)
[v5] Fri, 29 Jul 2022 20:36:54 GMT (55kb,D)
Link back to: arXiv, form interface, contact.