На тему контестно-свободных грамматик. Добавить правило к грамматике HTML

@Rikoshetru · Регистрация: 23.11.2013

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

Задача на такова: "Добавьте к грамматике HTML следующее правило: элемент списка может быть упорядоченным списком, заключённым в парные дескрипторы <OL> </OL>"

Я думаю что решение выглядит так, но у меня сомнения:
ListItem -> <li><OL>List</OL></li>
где ListItem - какой-либо элемент списка
List - список элементов

Есть ли какие-нибудь соображения?

iifat · 05.10.2014, 14:54

Как-то не очень понятно, начиная прям с постановки задачи. Это что, многоуровневые списки? Или корявое описание обычного?
И к какой именно граматике HTML добавлять эти правила?

@Rikoshetru · 05.10.2014, 16:09 **[ТС]**

Как я понял да, многоуровневые. Задача как есть, так её и написал сюда.

iifat · 06.10.2014, 12:29

Хм. Ну откуда-то ты же взял хотя бы названия нетерминалов? Значит, есть перед глазами грамматика?
Оно похоже на правду, но лучше б сюда существующий кусок правил для нетерминалов List, ListItem.

@Rikoshetru · 06.10.2014, 21:11 **[ТС]**

Добавлено через 5 часов 14 минут
Стойте, а как записать с(i) ->(i+1) по правилам теории автоматов?
То есть
c(1) -> 2
c(2) -> 3
или такую махинацию нельзя проворачивать с грамматиками?

@Alex5 · 06.10.2014, 23:23

delete

Добавлено через 13 минут

Сообщение от Rikoshetru

элемент списка может быть упорядоченным списком, заключённым в парные дескрипторы <OL> </OL>

Если элемент списка - это ListItem, упорядоченный список - это List, то получается:

ListItem может быть: <OL> List </OL>

iifat · 07.10.2014, 06:39

Странно это всё, имхо. Элемент списка, в соответствии с грамматикой, может иметь вид <LI><OL>список</OL>. В чём же тогда задача? То ли разрешить опускать <LI>, если Doc есть список? Тогда расширить правило $https://www.cyberforum.ru/cgi-bin/latex.cgi?ListItem\to <LI> Doc | <OL> List </OL>$ , но при этом теряется однозначность грамматики, а этого обычно стараются избегать.

Сообщение от Rikoshetru

Стойте, а как записать с(i) ->(i+1) по правилам теории автоматов?
То есть
c(1) -> 2
c(2) -> 3
или такую махинацию нельзя проворачивать с грамматиками?

Вот это, извини, понимать вообще отказываюсь. Что такое с(i) ->(i+1) и как оно относится к автоматам и грамматикам?

@Rikoshetru · 07.10.2014, 10:02 **[ТС]**

Задание странное согласен, но это не отменяет что его надо делать. С тем (i+1) я что-то не то сказал действительно.
Тема не актуальна. Здание сдал в таком виде:

Кликните здесь для просмотра всего текста

Возьмём за основу грамматики HTML следующие правила:
1. Char → a | A | … - одиночный символ.
2. Text → ɛ | Char Text – произвольная цепочка символов.
3. Doc → ɛ | Element Doc – последовательность элементов языка HTML.
4. Element → Text | <EM> Doc </EM> | … - цепочка типа Text, или пара соответствующих друг другу дескрипторов и документ между ними, или непарный дескриптор, за которым следует документ.
5. ListItem → <LI> Doc </LI> – Элемент списка.
6. List → ɛ | ListItem List – последовательность из нуля или нескольких элементов списка.

Тогда:
ListItem → <LI><OL>OList</OL></LI>
OList → ɛ | <LI>Doc </LI> OList

Хотя мутно как-то всё.

@Rikoshetru 0 / 0 / 0 Регистрация: 23.11.2013 Сообщений: 18
		1
	На тему контестно-свободных грамматик. Добавить правило к грамматике HTML 05.10.2014, 10:28. Показов 1416. Ответов 7 Метки нет (Все метки) Задача на такова: "Добавьте к грамматике HTML следующее правило: элемент списка может быть упорядоченным списком, заключённым в парные дескрипторы <OL> </OL>" Я думаю что решение выглядит так, но у меня сомнения: ListItem -> <li><OL>List</OL></li> где ListItem - какой-либо элемент списка List - список элементов Есть ли какие-нибудь соображения? 0

iifat 2717 / 1771 / 187 Регистрация: 05.06.2011 Сообщений: 5,129
	05.10.2014, 14:54	2
	Как-то не очень понятно, начиная прям с постановки задачи. Это что, многоуровневые списки? Или корявое описание обычного? И к какой именно граматике HTML добавлять эти правила? 1

@Rikoshetru 0 / 0 / 0 Регистрация: 23.11.2013 Сообщений: 18
	05.10.2014, 16:09 [ТС]	3
	Как я понял да, многоуровневые. Задача как есть, так её и написал сюда. 0

iifat 2717 / 1771 / 187 Регистрация: 05.06.2011 Сообщений: 5,129
	06.10.2014, 12:29	4
	Хм. Ну откуда-то ты же взял хотя бы названия нетерминалов? Значит, есть перед глазами грамматика? Оно похоже на правду, но лучше б сюда существующий кусок правил для нетерминалов List, ListItem. 1

@Rikoshetru 0 / 0 / 0 Регистрация: 23.11.2013 Сообщений: 18
	06.10.2014, 21:11 [ТС]	5
	Добавлено через 5 часов 14 минут Стойте, а как записать с(i) ->(i+1) по правилам теории автоматов? То есть c(1) -> 2 c(2) -> 3 или такую махинацию нельзя проворачивать с грамматиками? 0

@Alex5 1130 / 789 / 232 Регистрация: 12.04.2010 Сообщений: 2,012
	06.10.2014, 23:23	6
	delete Добавлено через 13 минут Сообщение от Rikoshetru элемент списка может быть упорядоченным списком, заключённым в парные дескрипторы <OL> </OL> Если элемент списка - это ListItem, упорядоченный список - это List, то получается: ListItem может быть: <OL> List </OL> 1

iifat 2717 / 1771 / 187 Регистрация: 05.06.2011 Сообщений: 5,129
	07.10.2014, 06:39	7
	Сообщение было отмечено Rikoshetru как решение Решение Странно это всё, имхо. Элемент списка, в соответствии с грамматикой, может иметь вид <LI><OL>список</OL>. В чём же тогда задача? То ли разрешить опускать <LI>, если Doc есть список? Тогда расширить правило $https://www.cyberforum.ru/cgi-bin/latex.cgi?ListItem\to <LI> Doc \| <OL> List </OL>$ , но при этом теряется однозначность грамматики, а этого обычно стараются избегать. Сообщение от Rikoshetru Стойте, а как записать с(i) ->(i+1) по правилам теории автоматов? То есть c(1) -> 2 c(2) -> 3 или такую махинацию нельзя проворачивать с грамматиками? Вот это, извини, понимать вообще отказываюсь. Что такое с(i) ->(i+1) и как оно относится к автоматам и грамматикам? 1

@Rikoshetru 0 / 0 / 0 Регистрация: 23.11.2013 Сообщений: 18
	07.10.2014, 10:02 [ТС]	8
	Задание странное согласен, но это не отменяет что его надо делать. С тем (i+1) я что-то не то сказал действительно. Тема не актуальна. Здание сдал в таком виде: Кликните здесь для просмотра всего текста Возьмём за основу грамматики HTML следующие правила: 1. Char → a \| A \| … - одиночный символ. 2. Text → ɛ \| Char Text – произвольная цепочка символов. 3. Doc → ɛ \| Element Doc – последовательность элементов языка HTML. 4. Element → Text \| <EM> Doc </EM> \| … - цепочка типа Text, или пара соответствующих друг другу дескрипторов и документ между ними, или непарный дескриптор, за которым следует документ. 5. ListItem → <LI> Doc </LI> – Элемент списка. 6. List → ɛ \| ListItem List – последовательность из нуля или нескольких элементов списка. Тогда: ListItem → <LI><OL>OList</OL></LI> OList → ɛ \| <LI>Doc </LI> OList Хотя мутно как-то всё. 0

Опции темы

На тему контестно-свободных грамматик. Добавить правило к грамматике HTML

Решение