scientific article; zbMATH DE number 3894494

zbMath0561.68056MaRDI QIDQ5186756

L. P. Lisovik

Publication date: 1984

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

zbMATH Keywords

program schematabounded transformersdecidability of the equivalence problem

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (5)

Problems of inclusion and equivalence for program schemata and formal languages ⋮ Equivalence problem of mappings relative to languages ⋮ Decidability problems for meta-\(R\)-functions ⋮ Solvable problems for transformers with reversal-bounded counters ⋮ Deterministic acceptors for indexed languages

This page was built for publication: