Определение языка для записи порождающей модели. Пример задания порождающей модели (порождающая грамматика)

💸 Как сделать бизнес проще, а карман толще?

Тот, кто работает в сфере услуг, знает — без ведения записи клиентов никуда. Мало того, что нужно видеть свое раписание, но и напоминать клиентам о визитах тоже. Проблема в том, что средняя цена по рынку за такой сервис — 800 руб/мес или почти 15 000 руб за год. И это минимальный функционал. Нашли самый бюджетный и оптимальный вариант: сервис VisitTime.
⚡️ Для новых пользователей первый месяц бесплатно. А далее 290 руб/мес, это в 3 раза дешевле аналогов. За эту цену доступен весь функционал: напоминание о визитах, чаевые, предоплаты, общение с клиентами, переносы записей и так далее.
✅ Уйма гибких настроек, которые помогут вам зарабатывать больше и забыть про чувство «что-то мне нужно было сделать».
Сомневаетесь? нажмите на текст, запустите чат-бота и убедитесь во всем сами!

Пример задания порождающей модели (порождающая грамматика)

Определение языка для записи порождающей модели

(Порождающей) грамматикой называется четверка 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È å, причем эта цепочка обязательно содержит хотя бы один нетерминальный символ (т.е. не является пустой цепочкой); правая часть правила может быть пустой цепочкой.

Структура состояний порождающего процесса

Т.е. множество состояний – это множество цепочек, допустимых в объединенном словаре

S – выделенный символ из N, называемый начальным (или исходным) символом (аксиомой грамматики)

Язык, порождаемый грамматикой- -т.е. множество цепочек терминального словаря

Тождественное преобразование - цепочка, состоящая из символа S

Тождественное преобразование - на выходе язык

Определяем правила вывода новой цепочки из предыдущей (есть в лекциях по теории языка)

Пример задания порождающей модели для языка, основанного на правилах (РЕЛЯП)

Определение языка для записи порождающей модели

В условие входят - È, &, Ø, (,), арифметические операции, знаки отношения.

В следствии могли использоваться только & и арифметические операции.

P₁(t₁) & P₂(t₂) &... & P_n(t_n) & Ø P¢ ₁(t¢ ₁) & Ø P¢ ₂(t¢ ₂) &... & Ø P¢ _k(t¢ _k) & R, где R – соотношение над переменными, все переменные которые находятся в отрицательных атомарных формулах и все соотношения из R, должны находиться в положительных атомарных формулах.

Исходное правило которое содержит дизъюнкцию или скобки преобразовывается по правилам Де Моргана и по правилам раскрытия скобок.

где v₁, v₂, v₃ – вектора переменных, p₁, p₂ – имена отношений, которые определяет пользователь, R – конъюнкция содержащая отрицательные переменные и соотношения над v₁ и v₂, Q – конъюнкция содержащая положительные атомарные формулы.