[Principio de compilación] Clasificación formal del idioma

para resumir

Esto se basa en el "Tutorial de principios de compilación (cuarta edición)" Hu Yuanyi
(he leído a otros profesores y son un poco diferentes . Explicaré las diferencias en los puntos de atención)

La diferencia entre los 4 tipos de gramática

Tipo 0

La única restricción : debe haber un símbolo no terminal en la parte izquierda de la producción.

Tipo 1

La única diferencia con el Tipo 0 : la parte derecha de la producción no puede estar vacía (para garantizar que la longitud de la parte derecha no sea más corta que la longitud de la izquierda)

Tipo 2

La única restricción : la parte izquierda de la producción tiene exactamente un no terminal

Tipo 3

La única diferencia con el Tipo 2 : hay como máximo un símbolo no terminal a la derecha de la producción

punto importante

Acerca del tipo 2

$$\alpha A\delta \to \alpha \beta \delta$$
$A$ debe estar en$\alpha$、$En$ el contexto de$\delta \; ¿$ puede serβ \ betareemplazado por$\beta$ , lo cual es seguro

Entonces el libro dice que debe haber al menos un símbolo no terminal en la parte derecha de la producción, es decir, la gramática de tipo 1 no puede aparecer $S\to$Una producción en forma de$\epsilon$ .

Hay otro dicho:
(1) Si hay $S\to \epsilon$ , luego$S$ no debe aparecer en la parte derecha de la producción
(2) generalmente no se permite reemplazarlo con$\epsilon \; a$ menos que el símbolo de inicio produzca$\epsilon$
Entonces esta declaración, la parte derecha de la producción no permite símbolos no terminales
[los dos son esencialmente los mismos:$|\alpha |$ $\le$ $|\beta |$】

Si sigue esta declaración, entonces la relación entre las gramáticas es: de lo

contrario, como dice la tabla de resumen, las gramáticas de tipo 2 pueden no pertenecer necesariamente a las gramáticas de tipo 1 , porque las gramáticas de tipo 2 pueden tener $S\to mi$

Qué tipo de declaración se basa en lo que enseña el profesor.