Expletives in languages and middle units in semigroups (Q1113290)

From MaRDI portal
Revision as of 14:17, 13 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Expletives in languages and middle units in semigroups
scientific article

    Statements

    Expletives in languages and middle units in semigroups (English)
    0 references
    1989
    0 references
    Let \(L\subseteq A^*\) be a language over an alphabet A. A word \(x\in A^*\) is said to be an expletive for L if, for all \(y,z\in A^+\), yxz\(\in L\) \(\Leftrightarrow\) yz\(\in L\). The author studies languages L for which every letter \(a\in A\) is a prefix of some expletive ax. He shows that this condition holds if and only if the syntactic semigroup of the language is a dilation of a rectangular band of groups. The paper also includes a method for constructing all such languages L in terms of a subset B of \(A\cup \{1\}\) and mappings \(\phi\) : \(A\to G\) and \(\psi\) : \(A\times A\to G\), where G is a group. Namely, assuming that \(A\phi\) generates G as a semigroup and letting \(\pi\) : \(A^*\to G\) denote the homomorphic extension of \(\phi\), \(L=B\cup \{a_ 1...a_ n\in A^*:\) \(n\geq 2\), \((a_ 2...a_{n-1})\pi \in (a_ 1,a_ n)\psi \}\).
    0 references
    0 references
    midunit
    0 references
    word
    0 references
    languages
    0 references
    expletive
    0 references
    syntactic semigroup
    0 references
    rectangular band of groups
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references