Prove the language by construction L = {< M > |M is a TM, M takes less than 3 steps when running on < M >} is Turing dec
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
Prove the language by construction L = {< M > |M is a TM, M takes less than 3 steps when running on < M >} is Turing dec
Prove the language by construction L = {< M > |M is a TM,M takes less than 3 steps when running on < M >} is Turingdecidable.