scientific article; zbMATH DE number 3864474

MaRDI QIDQ3332228zbMATH OpenFDO

Authors L. P. Lisovik

Publication date 1984

zbMATH Keywords

decidabilityequivalence problemsprogram schematatransformation algebras

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Representation and uniformization of algebraic transductions
• On some class of automata-algebraic models of transducers
• On equivalence and uniformisation problems for finite transducers
• Algorithmic aspects of decomposition and equivalence of finite-valued transducers
• Problem of the composition of constructive transrecursive operators
• scientific article; zbMATH DE number 4060732
• An algebraic characterization of unary two-way transducers
• scientific article; zbMATH DE number 3891357
• An algebraic characterization of transition system equivalences
• Publication:4941151

Cited in

(6)

• Solvability problems for \(ND\)-systems
• Quasirelations in a free group and transformator equivalence problems
• Problems of inclusion and equivalence for program schemata and formal languages
• An axiomatic approach to the Korenjak-Hopcroft algorithms
• Regular algebra of functionals of labeled trees
• Algorithmic questions for real functions

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