Egy programnyelvet simán konvertálni lehet egy másikra. Ez így ebben a formában nem igaz. Ehhez programnyelvek ekvivalenciáját kellene bizonyítani. Az meg erősen NP-teljes probléma, ha jól emlékszem.