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

@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 **[ТС]**

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

Новые блоги и статьи Все статьи Все блоги /
сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .
Модель микоризы: классовый агентный подход 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 законам Кирхгофа и. . .

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

	Теория формальных языков 07.12.2010, 16:32. Показов 2575. Ответов 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