Cтраница 1
Теория формальных грамматик изучает способы описания закономерностей, характеризующих уже не отдельный текст, а всю совокупность правильных текстов того или иного языка. Формальные грамматики - это абстрактные системы, позволяющие с помощью единообразных процедур получать правильные тексты данного языка вместе с описанием их структуры. Формальные грамматики наиболее разработанных типов представляют собой системы ( устройства), к-рые позволяют порождать или распознавать множества конечных последовательностей ( цепочек), интерпретируемые обычно как множества правильных предложении, а также сопоставлять входящим в эти множества цепочкам описания их синтаксич. [1]
Теория формальных грамматик и языков является основным разделом математической лингвистики - специфической математической дисциплины, ориентированной на изучение структуры естественных и искусственных языков. [2]
В теории формальных грамматик элементы словаря V обычно обозначают прописными ( большими) буквами латинского алфавита. [3]
По характеру своего аппарата теория формальных грамматик во многом близка к теории алгоритмов и теории автоматов. Более других разработаны те типы формальных грамматик, к-рые служат для характеризации множества грамматически правильных предложений языка и приписывания этим предложениям синтаксич. [4]
Методы синтаксического анализа основаны на теории формальных грамматик и языков, разрабатываемой математической лингвистикой. [5]
По характеру используемого математического аппарата теория формальных грамматик и языков близка к теории алгоритмов и к теории автоматов. [6]
Это представление легло в основу теории формальных грамматик. [7]
Более поздние синтаксические методы основаны на теории формальных грамматик. Каждый из этих методов ориентирован не на конкретный входной язык, а на некоторый класс входных языков точнее, на определенный способ описания синтаксиса входных языков. Поэтому эти методы называют синтаксически-ориентированными. [8]
Построенная категория может быть применена для описания продукций, используемых в теории формальных грамматик. [9]
Изучением подобного рода вопросов занимается одно из направлений теории программирования - теория формальных грамматик. [10]
Вычисление унарной рекурсивной схемы можно кратко определить, позаимствовав некоторые понятия из теории формальных грамматик. [11]
В 1950 - е годы существенный вклад в развитие теории алгоритмов внесли работы Колмогорова и, основанный на теории формальных грамматик, алгоритмический формализм Маркова, так называемые нормальные алгоритмы Маркова. Формальные модели алгоритмов Поста, Тьюринга и Черча, равно как и модели Колмогорова и Маркова, оказались эквивалентными в том смысле, что любой класс проблем, разрешимых в одной модели, разрешим и в другой. [12]
В учебном пособии излагаются основы теории алгоритмов и тео - I рии формальных грамматик, рассматриваются различные алгоритма-ческие системы, методы оценки и преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с теорией автоматов. [13]
В учебном пособии излагаются основы теории алгоритмов и тео - I рии формальных грамматик, рассматриваются различные алгоритма-ческие системы, методы оценки и преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с теорией автоматов. [14]
Изучается алгебра множеств и элементы теории отношений, в том числе функциональные отношения и отношения порядка. При введении теоретико-множественных операций затрагивается проблема их зависимости. Здесь также рассматриваются основные понятия комбинаторики, теории графов, теории вычислимых функций и некоторые понятия теории формальных грамматик. [15]