Consider the following language LB = {(M) at some point during its computation on empty input e, M writes the symbol B o
-
answerhappygod
- Site Admin
- Posts: 899604
- Joined: Mon Aug 02, 2021 8:13 am
Consider the following language LB = {(M) at some point during its computation on empty input e, M writes the symbol B o
Consider the following language LB = {(M) at some point during its computation on empty input e, M writes the symbol B on its tape} Show that Lg is undecidable. Hint: use a reduction from Atm to LB.
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!