scientific article; zbMATH DE number 1490007

zbMath0963.68094MaRDI QIDQ4496250

Zdeněk Sawa, Petr Jančar, Faron Moller

Publication date: 13 August 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidability

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (7)

Countdown games, and simulation on (succinct) one-counter nets ⋮ DP lower bounds for equivalence-checking and model-checking of one-counter automata ⋮ Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata ⋮ A generic framework for checking semantic equivalences between pushdown automata and finite-state automata ⋮ The complexity of bisimilarity-checking for one-counter processes. ⋮ An Automata-Theoretical Characterization of Context-Free Trace Languages ⋮ CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store

This page was built for publication: