Граматика формальна (у лінгвістиці), логічна система, або числення, задаюча деяку безліч («правильних») ланцюжків (= кінцевих послідовностей), побудованих з символів заданого кінцевого набору, званого «алфавітом» або «основним (термінальним) словником». У теорії Р. ф. ланцюжки інтерпретуються як мовні об'єкти різних рівнів: наприклад, склади (= ланцюжки фон), словоформи (= ланцюжки морф), пропозиції (= ланцюжки словоформ) і тому подібне Введені в лінгвістику американським ученим Н. Хомським, Р. ф. є засобом строгого опису природних мов. Теорія Р. ф. складає важливий розділ математичної лінгвістики, в рамках якої прийнятий підрозділ на Р. ф. що породжують і розпізнають.
Граматика та, що породжує задає безліч (правильних) ланцюжків перерахуванням цих останніх разом з вказівками про їх будову; граматика, що породжує, може побудувати будь-який правильний ланцюжок, забезпечивши її характеристикою її структури, і не повинна будувати жодного неправильного ланцюжка. Найбільш відомий різновид граматик, що породжують, — це так звані граматики Хомського.
Граматику та, що розпізнає задає безліч (правильних) ланцюжків розпізнаванням цих останніх, а саме: для будь-якого пред'явленого ланцюжка граматика вирішує, чи є вона правильною, і в разі позитивної відповіді дає вказівки про її будову. Найбільш відомий різновид граматик, що розпізнають, — т.з. категоріальні, або до-граматики (введені До. Айдукевічем і І. Бар-Хиллелом ).
Літ.: Хомський Н., Міллер Д же., Введення у формальний аналіз природних мов, в кн.: Кібернетична збірка, Нова серія, ст 1, М., 1965; Хомський Н., Формальні властивості граматик, там же, ст 2, М., 1966; Бар-Хиллел І., Деякі нові результати в теоретичній лінгвістиці, в кн.: Математична логіка і її вживання, М., 1965: Ламбек І., Математичне дослідження структури пропозицій, в кн.: Математична лінгвістика, М., 1964: Гладкий А. Ст, Лекції з математичної лінгвістики для студентів НГУ, Новосибірськ, 1966; Гладкий А. Ст, Мельчук І. А., Елементи математичної лінгвістики, М., 1969, с. 23—136.
