例5-1算法的形式化描述 <a,Zo,AZo <b,Zo,BZo> <a,A,AA> <b,B,BB> <a,B,& <b,A,8> <8, Z0 >例5-1 算法的形式化描述 <a，Z0，AZ0> < b，Z0，BZ0> < a，A，AA> < b，B，BB> < a，B，ε> < b，A，ε> < ε，Z0，ε>