Question

A two-dimensional finite automaton (2DIM-DFA) is defined as follows. The input is an $\mathrm{m}\times \mathrm{n}$rectangle, for any m,n$\ge 2$. The squares along the boundary of the rectangle contain the symbol # and the internal squares contain symbols over the input alphabet $\sum _{}^{}$. The transition function $\delta :Q\times \left(\sum _{}^{}\cup \left\{\#\right\}\right)\to Q\times \left\{L,R,U,D\right\}$indicates the next state and the new head position (Left, Right, Up, Down). The machine accepts when it enters one of the designated accept states. It rejects if it tries to move off the input rectangle or if it never halts. Two such machines are equivalent if they accept the same rectangles. Consider the problem of determining whether two of these machines are equivalent. Formulate this problem as a language and show that it is undecidable.

Short answer

The language in given question is undecidable

Step-by-step solution

Undecidable

A problem is undecidable if no Turing Machine exist which will halt in finite amount of time.

Formulating language and proving it undecidable

In order to check undecidability of two-dimensional finite automaton$E_{2\mathrm{DIM}-\mathrm{DFA}}$, we have to reduce$A_{TM}$by m into$E_{2DIM-DFA}$using map reductionto .

This means, if w is accepted by Turing Machine M, then language L(B) must be non-empty otherwise L (B) must be empty.

We can get this by making L (B) as set of accepting all the histories of TM M on w.B can be consider as matrix that represent computational history$c_1,c_2,.....c_k$such as: $c_1$is in $1^{st}$row, $c_2$in $2^{nd}$row and so on.

So for given rectangular matrix, B will check initial configuration of TM M on w is in $1^{st}$row or not and last row is accepting or final configuration. B also works as checking of each row that must follow the previous row as according to TM M .

Now, if M accepts w, that means there exist an accepting configuration history of TM M on w and L (B) is non-empty.

But if L (B) is empty, there is no accepting configuration history of TM M on w.

Thus,m -reduction mapping from$A_{TM}$ to$E_{2DIM-DFA}$ is undecidable.