Regular algebra of functionals of labeled trees

DOI10.1007/BF01074712MaRDI QIDQ3742755zbMATH OpenFDO

Authors L. P. Lisovik

Publication date 1985

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01074712

zbMATH Keywords

inclusionprogram schemesRL-schemas on free interpretationstransformers on labeled treesweak equivalence

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Program schemata with monotone operators
• The tree equivalence of linear recursion schemes
• scientific article; zbMATH DE number 3894494
• scientific article; zbMATH DE number 3864474
• Decidable subcases of the equivalence problem for recursive program schemes

Cites work

• Equivalence problem for finitely ambiguous finite automata over semigroups
• scientific article; zbMATH DE number 3698352 (Why is no real title available?)
• scientific article; zbMATH DE number 3576680 (Why is no real title available?)
• THE ABSTRACT THEORY OF AUTOMATA

Cited in

(6)

• The tree equivalence of linear recursion schemes
• Trace operators on regular trees
• Congruence preserving functions of Wilke's tree algebras
• Algebraic templates of -trees, similarity and templates generated by semantic schemas
• scientific article; zbMATH DE number 4143999 (Why is no real title available?)
• scientific article; zbMATH DE number 3924121 (Why is no real title available?)

This page was built for publication: Regular algebra of functionals of labeled trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3742755)