scientific article; zbMATH DE number 2086674

MaRDI QIDQ4737211zbMATH OpenFDO

Authors Colin Stirling

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2380/23800821.htm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25)

Recommendations

• scientific article; zbMATH DE number 2081092
• Decidability of the equivalence problem for deterministic pushdown automata
• Decidability of DPDA language equivalence via first-order grammars
• The equivalence problem for deterministic pushdown automata is decidable
• Decidability of the equivalence problem for synchronous deterministic pushdown-store automata

Cited in

(27)

• Equivalence of pushdown automata via first-order grammars
• Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence
• From security protocols to pushdown automata
• On the computational complexity of bisimulation, redux
• On the universe, disjointness, and containment problems for simple machines
• An approach to deciding the observational equivalence of Algol-like languages
• The equivalence problem for real-time DPDAs
• A fast algorithm to decide on the equivalence of stateless DPDA
• Decidability of DPDA equivalence
• Trace inclusion for one-counter nets revisited
• On long words avoiding Zimin patterns
• Bisimulation equivalence and regularity for real-time one-counter automata
• Deterministic finite automata with recursive calls and DPDAs
• Selected Ideas Used for Decidability and Undecidability of Bisimilarity
• scientific article; zbMATH DE number 2038732 (Why is no real title available?)
• On decision problems for parameterized machines
• The Hoare logic of deterministic and nondeterministic monadic recursion schemes
• An intermediate machine technique for deciding equivalence between a DPDA and a linear DPDA
• Trace inclusion for one-counter nets revisited
• scientific article; zbMATH DE number 1670473 (Why is no real title available?)
• Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines
• scientific article; zbMATH DE number 1738657 (Why is no real title available?)
• scientific article; zbMATH DE number 2081092 (Why is no real title available?)
• Decidable subcases of the equivalence problem for recursive program schemes
• A weaker sufficient condition for the equivalence of a pair of DPDA's to be decidable
• Model-checking games for typed \(\lambda\)-calculi
• System \(F^\mu_\omega\) with context-free session types

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 Q4737211)