Two decidability results for deterministic pushdown automata (Q1254241)

From MaRDI portal
Revision as of 02:41, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Two decidability results for deterministic pushdown automata
scientific article

    Statements

    title
    Two decidability results for deterministic pushdown automata (English)
    0 references
    publication date
    1979
    0 references
    zbMATH Keywords
    Decidability
    0 references
    Deterministic Pushdown Automata
    0 references
    Equivalence Problem
    0 references
    Stack Uniform Automata
    0 references
    Inclusion Problem
    0 references
    author
    Matti Linna
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03D05
    0 references
    03B25
    0 references
    68Q05
    0 references
    68Q45
    0 references
    zbMATH DE Number
    3619866
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1254241&oldid=26097270"
    Powered by MediaWiki