把输入串的第一个字母移到未尾的例子,规则的优先次序是:
(1)αxy->yαx
(2)α->^
(3)^->α
α、β表示字符串
对串ABC输入串的执行顺序。(严格按照从(1)到(3)的规则搜索顺序执行)
规则 成功与否 字符串
1 F ABC
2 F ABC
3 S αABC
1 S BαAC
1 S BCαA
1 S BCAα
2 S BCA
这里类似传统程序设计中的一个临时变量,但是,并不是用来存放一个值,而是用来标识一个位置,以使代换输入串的过程的过程能进行下去