Share
Explore BrainMass

Turing machine to accept the language "A^n B^n C^n"

Give the transitions for a turing machine that accepts the language given below.

L = {AnBnCn : n>=1}

Where,
An denotes a raised to the power n (a^n)
Bn denotes b raised to the power n (b^n)
Cn denotes c raised to the power n (c^n)

Solution Preview

Notations used for denoting a turing machine transition are as follows.

(StartState, SymbolRead) --> (EndState, SymbolWritten, MovementDirection)

* Movement Directions are denoted by R (right) and L (left).
* E is used to denote NULL symbol (or absense of symbol in a tape cell).
* $ denotes a marker ...

Solution Summary

Apart from the transitions list for the turing machine, solution also provides stepwise guidance on how to construct a graphical representation for it.

$2.19