scispace - formally typeset


Jayalal Sarma

Bio: Jayalal Sarma is an academic researcher from Indian Institute of Technology Madras. The author has contributed to research in topic(s): Monoid. The author has an hindex of 1, co-authored 1 publication(s) receiving 1 citation(s).
Topics: Monoid
More filters

Book ChapterDOI
01 Mar 2021-
Abstract: The PLP conjecture for monoids states that for every monoid M, either M is universal (that is, for every language \(L \subseteq \varSigma ^*\) there is a program over M which accepts the language L) or it has the polynomial length property (that is, every program over the monoid M has an equivalent program of length \({\mathsf {poly}}(n)\)). The conjecture has been confirmed (Tesson-Therien (2001)) for the case of groups and several subclasses of aperiodic monoids such as the variety DA and the monoids divided by the monoid U. However, the case of the set of monoids divided by the monoid \(\mathsf {BA}_2\) is still open, which if resolved, confirms the conjecture for all aperiodic monoids.

1 citations

Cited by
More filters

Posted Content
Nathan Grosshans1Institutions (1)
Abstract: The model of programs over (finite) monoids, introduced by Barrington and Th{e}rien, gives an interesting way to characterise the circuit complexity class $\mathsf{NC^1}$ and its subclasses and showcases deep connections with algebraic automata theory. In this article, we investigate the computational power of programs over monoids in $\mathbf{J}$, a small variety of finite aperiodic monoids. First, we give a fine hierarchy within the class of languages recognised by programs over monoids from $\mathbf{J}$, based on the length of programs but also some parametrisation of $\mathbf{J}$. Second, and most importantly, we make progress in understanding what regular languages can be recognised by programs over monoids in $\mathbf{J}$. We show that those programs actually can recognise all languages from a class of restricted dot-depth one languages, using a non-trivial trick, and conjecture that this class suffices to characterise the regular languages recognised by programs over monoids in $\mathbf{J}$.

2 citations


Author's H-index: 1

No. of papers from the Author in previous years