Висвітлено базові поняття та надано визначення, пов'язані з одним із основних механізмів визначення мов - граматиками, математичним формалізмом для теоретичного вивчення в певному аспекті "внутрішньої будови" рекурсивних множин деяких спеціальних класів, наведено найпоширенішу класифікацію граматик (за Хомським). Викладено математичні моделі завдання формальних мов, методи та алгоритми теорії формальних граматик і абстрактних автоматів. Особливу увагу приділено контекстно-вільним граматикам і, зокрема, їх важливому підкласу - праволінійним граматикам. Граматики цих класів широко використовуються під час трансляції мов програмування. Зазначено, що практичні застосування теорії граматик, насамперед, пов'язані з лінгвістикою, для якої формальні граматики - це зручна метамова.

• Авдюшина Олена Володимирівна (фізико-математичні науки)
• Дзундза Алла Іванівна (педагогічні науки)
• Моісеєнко Ірина Олегівна (медичні науки)
• Нескородєв Роман Миколайович (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"