ε

𝛽

𝛼

γ

стратегія спадного аналізу

стратегія горизонтального аналізу

стратегія східного аналізу

стратегія вільного аналізу

контекстно-залежна граматика

прямолінійна граматика

граматика загального вигляду

контекстно-вільна граматика

→

⇔

≠

∷=

вони не містять порожніх рядків

породжені ними мови рівні

вони мають однакові термінальні символи

вони мають однакові нетермінальні символи

x ∧ 1

x ⨁ 1

x ∧ y ∧ 1

x ∧ y ⨁ 1

клас функцій, що зберігають 0

клас функцій, що не зберігають 1

клас монотонних функцій

клас функцій, що зберігають 1

0 ∧ y ∧ z

x ∨ y ∧ z

x ∧ y ∧ 1

x ⨁ 0 ∧ z

y⨁x⨁1

x ∧ y

x⨁y⨁x⨁1

x ∧ y⨁x⨁1

0

1

неможливо визначити

2