Superdeterministic DPDAs: The method of accepting does affect decision problems
acceptance by final state and empty store
decidability of equivalence and inclusion
scientific article; zbMATH DE number 3653589
scientific article