乔姆斯基层级

正则、上下文无关、上下文有关、递归可枚举。一层比一层强，机器也一层比一层强。