Abstract
Practice designing and working with Turing machines.
There are a couple of bugs in JFlap 7.0 regarding the handling of stored variables. I have patched these bugs and made a repaired version of JFlap available via the CS390 library page.
Review the Turing machines section of the Tutorial.
Construct the TM from examples 8.2/8.3. Use it to solve Exercise 8.2.1.
Construct your own Turing machine to solve Exercise 8.2.2a. (Note that this language is not a CFL.)