A case of insolubility of the problem of equivalence of programs

DOI10.1515/DMA.2011.009zbMath1219.68102OpenAlexW2134382503MaRDI QIDQ3008829

V. L. Shcherbina

Publication date: 22 June 2011

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma.2011.009

zbMATH Keywords

solubilityequivalence problemsequential programsalgebraic model of calculationsolvable semigroups

Mathematics Subject Classification ID

Semigroups in automata theory, linguistics, etc. (20M35)

Cites Work

• Semigroup program models

This page was built for publication: A case of insolubility of the problem of equivalence of programs