Consider a (single-tape) Turing machine M2, with input alphabet {a, b} and accept state qa, that has the following behav
Posted: Sat May 14, 2022 3:04 pm
Consider a (single-tape) Turing machine M2, with input alphabet
{a, b} and accept state qa, that has the following behaviour: Given
any input string w ∈ {a, b}∗, M2 halts in an accepting state in the
configuration qax|w| #wR, where wR is the reverse of w. For
example, on input abb, M2 halts in an accepting configuration
qaxxx#bba, while on input baaaba it halts in an accepting
configuration qaxxxxxx#abaaab. Discuss the time complexity of the
specific implementation of M2 that you have given in your state
diagram in part c(i) above. In particular, does it run in O(n)
steps? O(n2) steps? Or O(nk) steps for some k > 2? Justify your
answer.
{a, b} and accept state qa, that has the following behaviour: Given
any input string w ∈ {a, b}∗, M2 halts in an accepting state in the
configuration qax|w| #wR, where wR is the reverse of w. For
example, on input abb, M2 halts in an accepting configuration
qaxxx#bba, while on input baaaba it halts in an accepting
configuration qaxxxxxx#abaaab. Discuss the time complexity of the
specific implementation of M2 that you have given in your state
diagram in part c(i) above. In particular, does it run in O(n)
steps? O(n2) steps? Or O(nk) steps for some k > 2? Justify your
answer.