Turing Machine Example: a^n b^n c^n