1956年,Noam Chomsky根据对产生式所施加限制的不同行,把分发分为了四种类型,并定义了相应的四类形式语言,如下:
文法类型 |
产生式限制 |
文法产生的语言 |
0型文法 |
α→β 其中α、β属于(VTUVN)*,且α长度不为0 |
0型语言 |
1型文法 |
α |
1956年,Noam Chomsky根据对产生式所施加限制的不同行,把分发分为了四种类型,并定义了相应的四类形式语言,如下:
文法类型 |
产生式限制 |
文法产生的语言 |
0型文法 |
α→β 其中α、β属于(VTUVN)*,且α长度不为0 |
0型语言 |
1型文法 |
α |