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

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

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

Новые блоги и статьи Все статьи Все блоги /
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .

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

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