Авторы определяются, как быстро они могут ответить, платная это будет консультация или бесплатный совет.
Если вас устраивают условия сотрудничества, то мы поможем вам разобраться, как лучше написать свою научную работу, какие в этом могут быть подводные камни, где взять материал и как с ним работать.
Сроки и другие условия консультаций обсуждаются и согласовываются.
Грамматика формальная (в лингвистике), логическая система, или исчисление, задающая некоторое множество
(«правильных») цепочек (= конечных последовательностей), построенных из символов заданного конечного набора,
называемого «алфавитом» или «основным (терминальным) словарём». В теории формальных грамматик цепочки
интерпретируются как языковые объекты различных уровней: например, слоги (= цепочки фон), словоформы (= цепочки
морф), предложения (= цепочки словоформ) и т. п. Введённые в лингвистику американским учёным Н. Хомским,
формальные грамматики представляют собой средство строгого описания естественных языков. Теория формальных
грамматик составляет важный раздел математической лингвистики, в рамках которой принято подразделение на
порождающие и распознающие формальные грамматики.
Грамматика порождающая задаёт множество (правильных) цепочек перечислением этих последних вместе с указаниями
об их строении; порождающая грамматика может построить любую правильную цепочку, снабдив её характеристикой её
структуры, и не должна строить ни одной неправильной цепочки. Наиболее известная разновидность порождающих
грамматик — это так называемые грамматики Хомского.
Грамматика распознающая задаёт множество (правильных) цепочек распознаванием этих последних, а именно: для
любой предъявленной цепочки грамматика решает, является ли она правильной, и в случае положительного ответа
даёт указания о её строении. Наиболее известная разновидность распознающих грамматик — т. н. категориальные,
или К-грамматики (введённые К. Айдукевичем и И. Бар-Хиллелом).
