Главная страница Случайная страница
Разделы сайта
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Определение языка для записи порождающей модели. Пример задания порождающей модели (порождающая грамматика)
|
|
Пример задания порождающей модели (порождающая грамматика)
Определение языка для записи порождающей модели
(Порождающей) грамматикой называется четверка G = (N, å, P, S), где
(1) N – нетерминальный словарь - конечное (непустое) множество нетерминальных символов, или нетерминалов (иногда называемых вспомогательными символами, синтаксическими переменными или понятиями);
(2) å – терминальный словарь - не пересекающееся с N конечное (не пустое) множество терминальных символов, или терминалов;
(3) P – схема грамматики - конечное подмножество множества ((NÈ å)* N (NÈ å)*´ (NÈ å)* - декартово произведение множеств (NÈ å)* N (NÈ å)* и (NÈ å)*)
Элемент (a, b) множества P называется правилом (или продукцией) и записывается в виде a ® b, a называется левой частью правила, а b - правой частью правила);
Заметим, что левая часть правила – это цепочка, составленная из символов объединенного словаря NÈ å, причем эта цепочка обязательно содержит хотя бы один нетерминальный символ (т.е. не является пустой цепочкой); правая часть правила может быть пустой цепочкой.
Структура состояний порождающего процесса
Цепочки wi = xi1xxi2
Т.е. множество состояний – это множество цепочек, допустимых в объединенном словаре
Структура входной информации
S – выделенный символ из N, называемый начальным (или исходным) символом (аксиомой грамматики)
Структура выходной информации
Язык, порождаемый грамматикой- -т.е. множество цепочек терминального словаря
Входная процедура
Тождественное преобразование - цепочка, состоящая из символа S
Выходная процедура
Тождественное преобразование - на выходе язык
Рецепт (правила интерпретации
Определяем правила вывода новой цепочки из предыдущей (есть в лекциях по теории языка)
— Регулярная проверка качества ссылок по более чем 100 показателям и ежедневный пересчет показателей качества проекта.
— Все известные форматы ссылок: арендные ссылки, вечные ссылки, публикации (упоминания, мнения, отзывы, статьи, пресс-релизы).
— SeoHammer покажет, где рост или падение, а также запросы, на которые нужно обратить внимание.
SeoHammer еще предоставляет технологию Буст, она ускоряет продвижение в десятки раз, а первые результаты появляются уже в течение первых 7 дней. Зарегистрироваться и Начать продвижение
Правило остановки
Получены терминальные цепочки
Пример задания порождающей модели для языка, основанного на правилах (РЕЛЯП)
Определение языка для записи порождающей модели
.ВСЕ < список переменных> < условие> à
[.ЕСТЬ < список переменных> ] < следствие>
В условие входят - È, &, Ø, (,), арифметические операции, знаки отношения.
В следствии могли использоваться только & и арифметические операции.
P1(t1) & P2(t2) &... & Pn(tn) & Ø P¢ 1(t¢ 1) & Ø P¢ 2(t¢ 2) &... & Ø P¢ k(t¢ k) & R, где R – соотношение над переменными, все переменные которые находятся в отрицательных атомарных формулах и все соотношения из R, должны находиться в положительных атомарных формулах.
Исходное правило которое содержит дизъюнкцию или скобки преобразовывается по правилам Де Моргана и по правилам раскрытия скобок.
D1È D2È...È Dmà Q
D1à Q
D2à Q
...
Dmà Q
Di: S1& S2&...& Smà Q
S1& S2à q1
q1& S3à q2
qr-1& Srà Q
Вид результирующего правила:
p1(v1) & p2(v2) & R(v1, v2) à Q(v1, v2),
либо
p1(v1) & p2(v2) & R(v1, v2) à ЕСТЬ v3 Q(v1, v2, v3),
где v1, v2, v3 – вектора переменных, p1, p2 – имена отношений, которые определяет пользователь, R – конъюнкция содержащая отрицательные переменные и соотношения над v1 и v2, Q – конъюнкция содержащая положительные атомарные формулы.
|
|