Теория формальных языков

@Lena-n1 · Регистрация: 08.11.2010

Студворк — интернет-сервис помощи студентам

ребята, помогите пожалуйста!!!
1. Дана грамматика с правилами:
b) S - if B then S | B = E
E - B | B + E
B - a | b Построить восходящим и нисходящим методами дерево вывода для цепочки: if a then b = a+b+b

2. К какому типу по Хомскому относится данная грамматика? Какой язык она порождает? Каков тип языка?
b) S - Ab
A - Aa | ba

g) S - 0S | S0 | D h)
D - DD | 1A |
A - 0B | e
B - 0A | 0

3. Показать, что наличие в КС-грамматике правил вида
a) A - AA | a
b) A - AaA | b
c) A - aA | Ab | g
где a, b, g Î (VTÈVN)*, A Î VN, делает ее неоднозначной.
Можно ли преобразовать эти правила таким образом, чтобы полученная эквивалентная грамматика была однозначной?

4. Построить регулярную грамматику, эквивалентную грамматике с правилами:
S - A | AS
A - a | bb
5.Построить грамматику, порождающую язык: b)L = { acbcgc | a, b, g - любые цепочки из a и b}

@Quiet Snow · 07.12.2010, 16:35

Попробуйте зайти в этот раздел, задача если не ошибаюсь по курсу дискретки:
https://www.cyberforum.ru/discrete-mathematics/

@Lena-n1 · 07.12.2010, 16:41 **[ТС]**

нет это алгоритмизация и формальное преобразование

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .

@Lena-n1 0 / 0 / 0 Регистрация: 08.11.2010 Сообщений: 13

	Теория формальных языков 07.12.2010, 16:32. Показов 2573. Ответов 2 Метки нет (Все метки) ребята, помогите пожалуйста!!! 1. Дана грамматика с правилами: b) S - if B then S \| B = E E - B \| B + E B - a \| b Построить восходящим и нисходящим методами дерево вывода для цепочки: if a then b = a+b+b 2. К какому типу по Хомскому относится данная грамматика? Какой язык она порождает? Каков тип языка? b) S - Ab A - Aa \| ba g) S - 0S \| S0 \| D h) D - DD \| 1A \| A - 0B \| e B - 0A \| 0 3. Показать, что наличие в КС-грамматике правил вида a) A - AA \| a b) A - AaA \| b c) A - aA \| Ab \| g где a, b, g Î (VTÈVN)*, A Î VN, делает ее неоднозначной. Можно ли преобразовать эти правила таким образом, чтобы полученная эквивалентная грамматика была однозначной? 4. Построить регулярную грамматику, эквивалентную грамматике с правилами: S - A \| AS A - a \| bb 5.Построить грамматику, порождающую язык: b)L = { acbcgc \| a, b, g - любые цепочки из a и b} 0

@Quiet Snow Кормпилятор 5044 / 1718 / 409 Регистрация: 25.04.2010 Сообщений: 4,827 Записей в блоге: 2
	07.12.2010, 16:35
	Попробуйте зайти в этот раздел, задача если не ошибаюсь по курсу дискретки: https://www.cyberforum.ru/discrete-mathematics/ 0

@Lena-n1 0 / 0 / 0 Регистрация: 08.11.2010 Сообщений: 13
	07.12.2010, 16:41 [ТС]
	нет это алгоритмизация и формальное преобразование 0