Бэкус-Наурова форма - пример метаязыка:
В целом контекстно-зависимые грамматики являются более простыми, чем контекстно-независимые:
Восходящий анализ идет от начального нетерминального символа грамматики к заданной цепочке:
Всего существует четыре типа формальных грамматик:
Грамматика и синтаксис языка - база математической лингвистики:
Для аналитических моделей языка исходным пунктом является некоторая формальная грамматика, а объектом исследования является язык, порождаемый этой грамматикой:
Если хотя бы одна сентенциальная форма имеет более одного синтаксического дерева, то грамматику называют неоднозначной:
Нетерминальные символы - символы, входящие в алфавит языка:
Основная задача синтаксического анализа состоит в отыскании разбора или вывода для заданного предложения входного языка:
Основные модели языка для математической лингвистики - аналитические и порождающие модели:
Основоположник теории искусственных языков и формальных грамматик - Н. Хомский:
Порождающие модели более приемлемы для изучения естественного языка:
Пример метаязыка - диаграммы Вирта:
Распознающие и порождающие грамматики различаются только степенью сложности:
Регулярными называются грамматики типа три по классификации Хомского:
Семантика языка - его смысловое содержание:
Часть строки, которую можно свести к нетерминальному символу, - фраза: