From decidability to undecidability by considering regular sets of instances (Q2062120)

From MaRDI portal
Revision as of 15:15, 27 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
From decidability to undecidability by considering regular sets of instances
scientific article

    Statements

    From decidability to undecidability by considering regular sets of instances (English)
    0 references
    0 references
    22 December 2021
    0 references
    deterministic finite automaton
    0 references
    regular intersection emptiness problem
    0 references
    undecidability
    0 references

    Identifiers