规则的层级

机器和语言可以排成一个从弱到强的梯子：最下面是有限自动机能认的，往上要加"记忆本"，再往上要加"无限纸带"。越往上，能认的语言越多，机器也越复杂。