Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On solving star equations - MaRDI portal

On solving star equations (Q1085619)

From MaRDI portal





scientific article; zbMATH DE number 3982540
Language Label Description Also known as
English
On solving star equations
scientific article; zbMATH DE number 3982540

    Statements

    On solving star equations (English)
    0 references
    1985
    0 references
    A star equation (in X) is a language equation \(X=F(X)\), where F is a function mapping languages to languages which can be expressed using the operations union, concatenation from the left by a constant language, and unrestricted star. We show existence of solutions, as well as uniqueness under certain additional conditions. Also, the question is studied whether a star equation has a regular solution if all its constant languages are regular.
    0 references
    language equation
    0 references
    0 references

    Identifiers