Consider the following language LB = {(M) at some point during its computation on empty input e, M writes the symbol B o
Posted: Wed Mar 30, 2022 9:28 am
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.