State complexity of the quotient operation on input-driven pushdown automata (Q5205050)

From MaRDI portal





scientific article; zbMATH DE number 7141931
Language Label Description Also known as
default for all languages
No label defined
    English
    State complexity of the quotient operation on input-driven pushdown automata
    scientific article; zbMATH DE number 7141931

      Statements

      State Complexity of the Quotient Operation on Input-Driven Pushdown Automata (English)
      0 references
      0 references
      0 references
      10 December 2019
      0 references
      input-driven automata
      0 references
      visibly pushdown automata
      0 references
      quotient
      0 references
      closure properties
      0 references
      state complexity
      0 references

      Identifiers