в правій частині містить не менше одного входження

терміналу

в правій частині містить не більше одного входження

терміналу

в правій частині містить не менше одного входження

нетерміналу

в лівій частині містить не більше одного входження

терміналу

кількість

кроків для отримання α

заключний

послідовність кроків для отримання α_n з α₀

початковий

за

виглядом її нетерміналів

відповідно

до кількості правил виводу

за

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

за виглядом її продукцій

α=β

α→β

T=α→N=β

α↔β

довільний ланцюжок

термінальних символів

множину

всіх ланцюжків термінальних та нетермінальних символів, які виводяться з

початкового символу

множину всіх ланцюжків термінальних символів, які

виводяться з початкового символу

ланцюжок

термінальних символів, який виводиться з

початкового символу

з

довільного правила

що не містить

початковий символ

що

містить початковий символ

що є

першим у списку продукцій

є доповненням мови L відносно алфавіту Σ

є конкатенацією мови L відносно алфавіту  Σ

є ітерацією мови L відносно алфавіту  Σ

є оберненою до мови L

кількості

цифр у ньому

кількості

нулів у ньому

кількості

букв у ньому

кількості символів у ньому

Σ⁺

L(Σ)

Σ^*

<Σ>

bbaab

3

2

6