Turingekvivalent

Från Unix.se, den fria unixresursen.

En beräkningsmaskin är Turingekvivalent om den är ekvivalent med en Turingmaskin.

Rent praktiskt innebär det t.ex. att man i programspråk som Java kan lösa samma algoritm som i C o.s.v.