The Power of Programs over Monoids in DA - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

The Power of Programs over Monoids in DA

Résumé

The program-over-monoid model of computation originates with Barrington's proof that it captures the complexity class 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 DA satisfies tameness and hence that the regular languages recognized by programs over monoids in DA are precisely those recognizable in the classical sense by morphisms from QDA. Third, we show by contrast that the well studied class of monoids called J is not tame and we exhibit a regular language, recognized by a program over a monoid from J, yet not recognizable classically by morphisms from the class QJ. Finally, we exhibit a program-length-based hierarchy within the class of languages recognized by programs over monoids from DA.
Fichier principal
Vignette du fichier
Grosshans_N.-McKenzie_P.-Segoufin_L.-The_Power_of_Programs_over_Monoids_in_DA.pdf (541.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02303526 , version 1 (02-10-2019)

Identifiants

Citer

Nathan Grosshans, Pierre Mckenzie, Luc Segoufin. The Power of Programs over Monoids in DA. 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Aug 2017, Aalborg, Denmark. pp.2:1-2:20, ⟨10.4230/LIPIcs.MFCS.2017.2⟩. ⟨hal-02303526⟩
61 Consultations
72 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More