Publication details

On the insertion of n-powers

Investor logo
Authors

MENESES GUIMARÄES DE ALMEIDA Jorge Manuel KLÍMA Ondřej

Year of publication 2019
Type Article in Periodical
Magazine / Source DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE
MU Faculty or unit

Faculty of Science

Citation
web https://dmtcs.episciences.org/5155
Keywords Regular language; polynomial closure; pseudovariety; finite ordered monoid; pseudoidentity; Burnside pseudovariety
Description In algebraic terms, the insertion of n-powers in words may be modelled at the language level by considering the pseudovariety of ordered monoids defined by the inequality 1 <= x(n). We compare this pseudovariety with several other natural pseudovarieties of ordered monoids and of monoids associated with the Burnside pseudovariety of groups defined by the identity x(n) = 1. In particular, we are interested in determining the pseudovariety of monoids that it generates, which can be viewed as the problem of determining the Boolean closure of the class of regular languages closed under n-power insertions. We exhibit a simple upper bound and show that it satisfies all pseudoidentities which are provable from 1 <= x(n) in which both sides are regular elements with respect to the upper bound.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info