Anfonwch hwn fel neges destun: Máquinas de turing para consistentes: