Cтраница 1
Формальные грамматики имеют дело с абстракциями, возникающими путем обобщения понятий словоформа, словосочетание, предложение. [1]
Формальная грамматика называется распознающей, если для любой рассматриваемой цепочки она умеет решить, является эта цепочка правильной или нет, и в случае положительного ответа дать указания о строении этой цепочки. [2]
Формальная грамматика называется порождающей, если умеет построить любую правильную цепочку, давая при этом указания о ее строении, и не строит ни одной неправильной цепочки. [3]
Формальная грамматика называется преобразующей, если для любой правильно построенной цепочки она умеет построить ее отображения опять же в виде правильной цепочки, задавая при этом указания о порядке проведения отображений. [4]
Формальная грамматика, которая для любой предъявленной цепочки умеет решать, является эта цепочка правильной или нет, называется распознающей. [5]
Формальная грамматика, которая умеет строить любую правильную цепочку, давая указания о ее строении, не генерируя при этом ни одной неправильной цепочки, называется порождающей. [6]
Формальная грамматика называется порождающей, если она создает только правильные цепочки элементов из U, давая указания о их строении, и не создает ни одной неправильной цепочки. [7]
Формальная грамматика называется преобразующей, если для любой правильной цепочки она умеет строить ее отображения тоже в форме правильной цепочки, задавая при этом указания о порядке проведения отображений. [8]
Формальная грамматика не является алгоритмом образования цепочек языка. Множество синтаксических правил определяет разрешенные подстановки при образовании или анализе цепочек, но не упорядоченную совокупность обязательных предписаний. На множество Ф могут накладываться ограничения, вид которых относит язык к определенному типу классификации Хомского. [9]
Формальная грамматика задает правильные цепочки, если либо для любой предъявленной цепочки грамматика позволяет установить, является или нет эта цепочка правильной, и в случае положительного ответа дает указания о строении этой цепочки, либо грамматика позволяет построить любую правильную цепочку, давая при этом указания о ее строении, и не строит ни одной неправильной цепочки. В первом случае формальная грамматика называется распознающей, во втором - порождающей. [10]
Формальные грамматики обладают двумя следующими существенными особенностями. Во-первых, существующие формальные грамматики описывают только совокупность возможных результатов, не давая прямых указаний, как именно можно получить результат, соответствующий определенной исходной задаче. Во-вторых, в формальных грамматиках все утверждения формулируются исключительно в терминах небольшого числа четко определенных и весьма элементарных символов и операций. Это делает формальные грамматики очень простыми с точки зрения их логического строения и облегчает изучение их свойств дедуктивными методами. [11]
Формальная грамматика, которая для любой предъявленной цепочки умеет решать, является эта цепочка правильной или нет, называется распознающей. [12]
Формальная грамматика, которая умеет строить любую правильную цепочку, давая указания об ее строении, не генерируя при этом ни одной неправильной цепочки, называется порождающей. [13]
Формальной грамматикой называют систему правил, служащих для описания закономерностей естественного языка. Различают формальные грамматики распознающие и порождающие. Распознающие грамматики включают в себя правила, используемые для выяснения того, относится ли то или другое предложение к данному языку. [14]
Однако формальные грамматики оказываются весьма громоздкими для описания естественного языка и поэтому предназначаются сугубо для научного, теоретического исследования наиболее общих свойств языка. [15]