Corrigendum to ``DPDA's in ``atomic normal form and applications to equivalence problems

DOI10.1016/0304-3975(82)90062-7zbMath0483.68048OpenAlexW4210696048MaRDI QIDQ1163372

Jean H. Gallier

Publication date: 1982

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(82)90062-7

zbMATH Keywords

deterministic pushdown automatarecursion schemesaddress languageencoding of trees

Mathematics Subject Classification ID

Related Items (2)

Algebraic solutions to recursion schemes ⋮ The monadic second-order logic of graphs. IX: Machines and their behaviours

This page was built for publication: Corrigendum to ``DPDA's in ``atomic normal form and applications to equivalence problems