...y无约束0型语法（unrestricted Chomsky type 0 grammar） ， 因此可以生成 递归可枚举语言（recursively enumerable languages） 。 证明.
基于6个网页-相关网页
应用推荐
模块上移
模块下移
不移动