2-tag system Alphabet: {a,b,c,H} Production rules: a --> ccbaH b --> cca c --> cc Computation Initial word: baa acca caccbaH ccbaHcc baHcccc Hcccccca (halt).
2-标记系统 字母表: {a,b,c,H} 产生规则: a --> ccbaH b --> cca c --> cc 计算 初始字: baa acca caccbaH ccbaHcc baHcccc Hcccccca (停机)。