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
Detecting useless transitions in pushdown automata - MaRDI portal

Detecting useless transitions in pushdown automata (Q2042722)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Detecting useless transitions in pushdown automata
scientific article

    Statements

    title
    Detecting useless transitions in pushdown automata (English)
    0 references
    author
    Dick Grune
    0 references
    Brinio Hond
    0 references
    Peter Rutgers
    0 references
    W. J. Fokkink
    0 references
    publication date
    21 July 2021
    0 references
    zbMATH Keywords
    pushdown automaton
    0 references
    useless transition
    0 references
    finite automaton
    0 references

    Identifiers

    zbMATH DE Number
    7373412
    0 references
    OpenAlex ID
    W4210789629
    0 references
    arXiv ID
    1306.1947
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2042722&oldid=36701136"
    Powered by MediaWiki