Exact descriptional complexity of determinization of input-driven pushdown automata

Theoretical Computer Science 2026 Open access

Read full text

Authors: Olga Martynova

DOI: 10.1016/j.tcs.2026.116256

Cited by: 0

References: 14

Fields of Study & Subjects

semigroups and automata theory DNA and Biological Computing Formal Methods in Verification

References 14