Грамматика автоматная — формальная грамматика, у которой правила вывода имеют вид b1A1 ® b2A2, b1A1 ® b2, где A1, A2 — нетерминальные символы; b1, b2 — терминальные символы. Каждая Г.А. порождается некоторым конечным автоматом. И каждый конечный автомат задает некоторую Г.А.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]