Some minor changes.
Fixed a comment
Turing Machines and Linear Bounded Automatas