Ohjelmien ekvivalenttiuden selvittäminen on paljon tutkittu aihe sen monista
sovellusalueista johtuen. Sitä voidaan hyödyntää ohjelmien testaamisessa, refaktoroinnissa …