Abstract
In the paper, the equivalence checking problem for program schemas in balanced semigroup models of programs is studied. A method for constructing algorithms to resolve this problem is proposed in the case where a semigroup model of programs possesses the left cancellation property h1h2 = h1h3 ⟹ h2 = h3. The equivalence checking problem is shown to be decidable in time that polynomially depends on size of the schema being checked if the balanced semigroup model of programs possesses additionally the right cancellation property h2h1 = h3h1 ⟹ h2 = h3.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have