Simplification Problems for Deterministic Pushdown Automata on Infinite Words (Q2800412)

From MaRDI portal
Revision as of 17:38, 16 August 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
Simplification Problems for Deterministic Pushdown Automata on Infinite Words
scientific article

    Statements

    Simplification Problems for Deterministic Pushdown Automata on Infinite Words (English)
    0 references
    0 references
    15 April 2016
    0 references
    automata theory
    0 references
    pushdown automata
    0 references
    \(\omega\)-automata
    0 references
    parity index
    0 references

    Identifiers