scientific article
From MaRDI portal
Publication:3886866
zbMath0443.68037MaRDI QIDQ3886866
Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages ⋮ The equivalence problem for two dpda's, one of which is a finite-turn or one-counter machine ⋮ New families of non real time dpda's and their decidability results ⋮ Some results on subclass containment problems for special classes of dpda's related to nonsingular machines ⋮ An extended direct branching algorithm for checking equivalence of deterministic pushdown automata
This page was built for publication:
