Si SDD es un atributo S, sus valores de atributo se pueden calcular en cualquier orden ascendente de nodos del árbol de análisis. La definición de atributos se puede implementar en el proceso de análisis ascendente.
El significado intuitivo de la definición de propiedad L (también llamada SDD de propiedad L o L-SDD): el significado intuitivo de las aristas del gráfico de dependencia en las propiedades asociadas a una fórmula de producción: las aristas del gráfico de dependencia están en Las propiedades asociadas con una fórmula de producción pueden ir de izquierda a derecha, pero no de derecha a izquierda (de ahí el nombre L-propiedad, siendo L la primera letra de la izquierda).
Cada definición de atributo S es una definición de atributo L.
Pregunta: ¿Por qué el nodo hijo Xi no puede confiar en los atributos integrales del nodo padre A, pero solo puede confiar en los atributos integrales del nodo padre?
Respuesta: Esto se debe a que los atributos integrales del nodo principal pueden depender de los atributos integrales del nodo secundario, incluidos los atributos heredados del nodo secundario (flechas naranjas en las dos imágenes anteriores si es el caso); los atributos heredados del nodo hijo son nuevamente Depender de los atributos integrales del nodo padre provocará una dependencia circular (como se muestra en la figura anterior, por lo tanto, los atributos heredados del nodo hijo solo pueden depender de los atributos heredados del nodo padre); , pero no los atributos integrales.
P: ¿Por qué las propiedades heredadas de Xi solo dependen de las propiedades del símbolo de su izquierda?
Respuesta: De hecho, el motivo es el mismo que el primero, ambos para evitar la formación de dependencias circulares. Si Xi puede depender de las propiedades de sus símbolos izquierdo y derecho al mismo tiempo, se formará una dependencia circular. Si X1X2X3 existe, y si los atributos de X3 dependen de los atributos de X2 a la izquierda, los atributos de X2 también pueden depender de los atributos de X3 a la derecha, se formará una dependencia circular.
P: ¿SDD está por encima de LSDD?
Respuesta: La definición de atributos L no tiene restricciones sobre atributos integrales, solo atributos heredados, por lo que si este SDD es L-SDD depende de los valores de atributo de los que dependen los atributos heredados. La primera T. inh depende del valor de su hermano izquierdo y por lo tanto no viola las restricciones de LSDD sobre propiedades heredadas. La segunda T. inh se basa en las propiedades heredadas de su nodo padre y los valores de los nodos hermanos, y no viola las restricciones de LSDD sobre las propiedades heredadas. Entonces este SDD es LSDD.
P: ¿SDD está por encima de LSDD?
Respuesta: Las propiedades heredadas de Q dependen de las propiedades integrales de sus nodos hermanos, lo que viola las restricciones de las propiedades heredadas de LSDD. Entonces este SDD no es LSDD.