scientific article; zbMATH DE number 1543035

MaRDI QIDQ4520485zbMATH OpenFDO

Authors

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_3/linear_time_simulation

zbMATH Keywords

Prolog program

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Nonnumerical algorithms (68W05)

Recommendations

• Simulation of two-way pushdown automata revisited
• Partial memoization for obtaining linear time behavior of a 2DPDA
• scientific article; zbMATH DE number 1796967
• scientific article; zbMATH DE number 4041248
• Stack and locally finite transformations on structures with reversible transitions

Cited in

(4)

• Stack and locally finite transformations on structures with reversible transitions
• Computing Inverse ST in Linear Complexity
• The Computability of Stack Non-Underflow
• Generalizing Cook's transformation to imperative stack programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520485)