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
The Sequence Equivalence Problem is Decidable for 0S Systems - MaRDI portal

The Sequence Equivalence Problem is Decidable for 0S Systems (Q3926053)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Sequence Equivalence Problem is Decidable for 0S Systems
scientific article

    Statements

    The Sequence Equivalence Problem is Decidable for 0S Systems (English)
    0 references
    0 references
    0 references
    1980
    0 references
    context-free grammars
    0 references
    decision problems
    0 references

    Identifiers