Turing Machines 

One Tape Turing Machines 

>
 

Simple Example 

>
 

L={a^n b^n c^n:n>=1} 

L={a^(2n) b^n c^(n+1):n>=1} 

>
 

>
 

Adding two binary numbers 

NonDeterministic Turing Machines 

MultiTape Turing Machines 

MultiDimentional Turing Machines 

Operations on Turing Machines 

Animation