Каковы основные методы задания языков в формальных грамматиках?

Основные методы задания языков в формальных грамматиках:

1. Распознающие грамматики. habr.com Это устройства (алгоритмы), которым на вход подаётся цепочка языка, а на выходе устройство печатает «Да», если цепочка принадлежит языку, и «Нет» — в противном случае. habr.com
2. Порождающие грамматики. habr.com Этот вид устройств используется для порождения цепочек языков по требованию. habr.com Образно говоря, при нажатии кнопки будет сгенерирована некоторая цепочка языка. habr.com
3. Перечисляющие грамматики. habr.com Такие грамматики печатают одну за другой все цепочки языка. habr.com

Также существует окрестностная грамматика, в которой для каждого символа языка задаётся конечное число его «окрестностей» — цепочек, содержащих данный символ (центр окрестности) где-то внутри. habr.com Цепочка считается принадлежащей языку, задаваемому окрестностной грамматикой, если каждый символ этой цепочки входит в неё вместе с некоторой своей окрестностью. habr.com

Ещё один способ задания формальных языков — их описание с помощью различных видов автоматов. intuit.ru Например, с помощью конечных автоматов задаются регулярные языки. intuit.ru al.cs.msu.ru