Атрибутная грамматика.

Атрибутная грамматика для подграмматики выражений.

p - унаследованный

t - синтезированный

V_t1 ® D_t2 V'_{p1, t3} t₁ ¬ t₃ p₁ ¬ t₂

V'_{p, t} ® e t ¬ p

V'_{p1, t1} ® || D_t2 {дизъюнкция}_{A1, A2, R} V'_{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

D_t1 ® K_t2 D'_{p1, t3} t₁ ¬ t₃ p₁ ¬ t₂

D'_{p, t} ® e t ¬ p

D'_{p1, t1} ® && K_t2 {конъюнкция}_{A1, A2, R} D'_{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

K_t1 ® O_t2 K'_{p1, t3} t₁ ¬ t₃ p₁ ¬ t₂

K'_{p, t} ® e t ¬ p

K'_{p1, t1} ® == O_t2 {равно}_{A1, A2, R} K' _{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

K'_{p1, t1} ® != O_t2 {неравно}_{A1, A2, R} K' _{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

O_t1 ® E_t2 O'_{p1, t3} t₁ ¬ t₃ p₁ ¬ t₂

O'_{p, t} ® e t ¬ p

O'_{p1, t1} ® >= E_t2 {больше_или_равно}_{A1, A2, R} O'_{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

O'_{p1, t1} ® <= E_t2 {меньше_или_равно}_{A1, A2, R} O'_{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

O'_{p1, t1} ® > E_t2 {больше}_{A1, A2, R} O'_{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

O'_{p1, t1} ® < E_t2 {меньше}_{A1, A2, R} O'_{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

E_t1 ® T_t2 E'_{p1, t3} t₁ ¬ t₃ p₁ ¬ t₂

E_t1 ® + T_t2 E'_{p1, t3} p₁ ¬ t₂

E_t1 ® - T_t2 {унарный_минус}_{A1, A2, R} E'_{p1, t3} A₁ ¬ t₂ p₁ ¬ R

E'_{p, t} ® e t ¬ p

E'_{p1, t1} ® + T_t2 {бинарный_плюс}_{A1, A2, R} E'_{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

E'_{p1, t1} ® - T_t2 {бинарный_минус}_{A1, A2, R} E'_{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

T_t1 ® M_t2 T'_{p1, t3} t₁ ¬ t₃ p₁ ¬ t₂

T'_{p, t} ® e t ¬ p

T'_{p1, t1} ® * M_t2 {умножить}_{A1, A2, R} T'_{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

T'_{p1, t1} ® / M_t2 {разделить}_{A1, A2, R} T'_{p2, t3} t₁ ¬ t₃ A₁ ¬ p₁

A₂ ¬ t₂ p₂ ¬ R

M_t1 ® ( V_t2 ) t₁ ¬ t₂

M_t1 ® i_t2 M'_{p1, t3} p₁ ¬ t₂ t₁ ¬ t₃

M_t1 ® c_t2 t₁ ¬ t₂

M_t1 ® length ( V_t2 ) {длина_вектора}_{A1, A2, R} A₁ ¬ t₂ t₁ ¬ R

M'_{p, t} ® e t ¬ p

M'_{p1, t1} ® [ V_t2 ] {элемент_вектора}_{A1, A2, R} A₁ ¬ p₁ A₂ ¬ t₂

t₁ ¬ R