标签: turing-machines
[语言由'a'和'b'组成。大写'B'描述了存储在磁带上的字符串的终点]
http://i.stack.imgur.com/Y1H50.jpg
从左到右搜索字符串以获取a;一找到,就更换 它由X,返回左端,并搜索b;用X代替;返回 到左端并重复这些步骤,直到两次搜索中的一次 不成功。