Minimization of visibly pushdown automata is NP-complete (Q5216306)

From MaRDI portal





scientific article; zbMATH DE number 7168150
Language Label Description Also known as
default for all languages
No label defined
    English
    Minimization of visibly pushdown automata is NP-complete
    scientific article; zbMATH DE number 7168150

      Statements

      0 references
      0 references
      0 references
      17 February 2020
      0 references
      visibly pushdown automata
      0 references
      minimization
      0 references

      Identifiers