I thought to reduce it to a halting problem but i don't know how or other problem of decidable
Given the Turing machines M1 and M2, is L (M1) = L (M2)? is decidable?
Paradojin
- 11
- 3