Explore BrainMass

Two Dimensional Finite Automation

This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

1. Define two dimensional finite automaton (2DIM-DFA) is defined as follows. The input is an m X n rectangle, for any m, n  2. The squares along the boundary of the rectangle contain the symbol # and the internal squares contain symbols over the input alphabet . The transition function is a mapping Q x   Q x {L,R,U,D} to indicate 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 testing whether two of these machines are equivalent. Formulate this problem as a language, and show that it is undecidable.

See attached file for full problem description.

© BrainMass Inc. brainmass.com March 21, 2019, 2:21 pm ad1c9bdddf


Solution Preview

Please see the attached file.

We define the language
EQ-2DIM-DFA = {<M1,M2> , M1,M2 are 2DIM-DFA | L(M1)=L(M2)}

Recall that ELBA = {<M> | M is an LBA and L(M) is empty} is un-decidable.
We will reduce ELBA to EQ-2DIM-DFA by showing that if EQ-2DIM-DFA is decidable than so is ...

Solution Summary

Two Dimensional Finite Automation is examined.