Обсуждение:Задача о выводе в контекстно-свободной грамматике, алгоритм Кока-Янгера-Касами — различия между версиями
Строка 12: | Строка 12: | ||
: {{tick | ticked=1}} а вот доказательство КС -> НФХ точно здесь не нужно, это не относится к задаче. | : {{tick | ticked=1}} а вот доказательство КС -> НФХ точно здесь не нужно, это не относится к задаче. | ||
: {{tick | ticked=1}} Почему постановка задачи в середине статьи? Переместить её в шапку, а потом сделать пункт «Определения», в котором все эти опр. грамматик будут подпунктами. | : {{tick | ticked=1}} Почему постановка задачи в середине статьи? Переместить её в шапку, а потом сделать пункт «Определения», в котором все эти опр. грамматик будут подпунктами. | ||
− | : {{tick}} странная индексация a[i][j,k]. Все должно быть единообразным. | + | : {{tick | ticked=1}} странная индексация a[i][j,k]. Все должно быть единообразным. |
:: не везде индексы переделал, в теховских формулах всё ещё смешано | :: не везде индексы переделал, в теховских формулах всё ещё смешано | ||
− | : {{tick}} что за S: array []? | + | : {{tick | ticked=1}} что за S: array []? |
: {{tick | ticked=1}} сколько раз можно просить читать правила для псевдокода? Написано же, что псевдокод должен быть функцией, принимающей входные данные задачи и возвращающей ответ. | : {{tick | ticked=1}} сколько раз можно просить читать правила для псевдокода? Написано же, что псевдокод должен быть функцией, принимающей входные данные задачи и возвращающей ответ. | ||
: {{tick | ticked=1}} что за ссылка [1]? Оформить нормально. | : {{tick | ticked=1}} что за ссылка [1]? Оформить нормально. | ||
: {{tick | ticked=1}} Опять же, сколько можно просить добавлять категории? | : {{tick | ticked=1}} Опять же, сколько можно просить добавлять категории? | ||
--[[Участник:Dgerasimov|Дмитрий Герасимов]] 06:20, 22 декабря 2011 (MSK) | --[[Участник:Dgerasimov|Дмитрий Герасимов]] 06:20, 22 декабря 2011 (MSK) | ||
+ | |||
+ | |||
+ | : Имхо, если делаешь ссылку на английскую википедию, надо писать «Wikipedia — Some article», но это, наверное, пофиг. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 21:40, 12 января 2012 (MSK) | ||
+ | |||
+ | == Замечания АС == | ||
+ | : {{tick | ticked=1}} Я бы убрал полное определение формальной грамматики и начал сразу с КС-грамматики | ||
+ | : {{tick | ticked=1}} ""Можно показать, что любую КС-грамматику можно привести к нормальной форме Хомского. "" - здесь стоит поставить ссылку на статью 3 курса, где это показывается. | ||
+ | : {{tick | ticked=1}} В оценке времени алгоритма стоит как-то подробнее разъяснить, как она зависит от длины строки, а как - от размера грамматики | ||
+ | : {{tick | ticked=1}} Псевдокод какой-то мутный и мне не нравится, что там грамматика передается трехмерным массивом. Вообще, это не нужный уровень детализации, лучше написать ""for A -> BC - правило грамматики"" - как-то так" | ||
+ | :: Псевдокод хороший, но 1(один) и l(буква l) совершенно невозможно различить. Назови len хотя бы. | ||
+ | :: и присваивать ответ в какую-то переменную result странно, напиши return d[S, 1, n] хотя бы. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 21:40, 12 января 2012 (MSK) |
Текущая версия на 21:40, 12 января 2012
- ☑ Кривое форматирование
- ☑ По картинке ничего не понятно
- ☑ Описание алгоритма какое-то мутное
- ☑ Нет псевдокода. --Дмитрий Герасимов
- ☑ что за
- 1)
- 2)
? для этих целей вместо * используется #.
- ☑ Интервики — сделать ссылки на более формальные описания формальной грамматики, КС-грамматики и т.п. на курс конспектов 3 курса. Вообще я не знаю, нужны ли тут простые объяснения, хотя склоняюсь что всё же нужны. Сделать ссылку на оптимальность на подотрезке.
- ☑ Обозначай множества в фигурных скобках, а то «терминалы: (, ).» выглядит не как их перечисление, а как сломавшееся форматирование.
- ☑ а вот доказательство КС -> НФХ точно здесь не нужно, это не относится к задаче.
- ☑ Почему постановка задачи в середине статьи? Переместить её в шапку, а потом сделать пункт «Определения», в котором все эти опр. грамматик будут подпунктами.
- ☑ странная индексация a[i][j,k]. Все должно быть единообразным.
- не везде индексы переделал, в теховских формулах всё ещё смешано
- ☑ что за S: array []?
- ☑ сколько раз можно просить читать правила для псевдокода? Написано же, что псевдокод должен быть функцией, принимающей входные данные задачи и возвращающей ответ.
- ☑ что за ссылка [1]? Оформить нормально.
- ☑ Опять же, сколько можно просить добавлять категории?
--Дмитрий Герасимов 06:20, 22 декабря 2011 (MSK)
- Имхо, если делаешь ссылку на английскую википедию, надо писать «Wikipedia — Some article», но это, наверное, пофиг. --Дмитрий Герасимов 21:40, 12 января 2012 (MSK)
Замечания АС
- ☑ Я бы убрал полное определение формальной грамматики и начал сразу с КС-грамматики
- ☑ ""Можно показать, что любую КС-грамматику можно привести к нормальной форме Хомского. "" - здесь стоит поставить ссылку на статью 3 курса, где это показывается.
- ☑ В оценке времени алгоритма стоит как-то подробнее разъяснить, как она зависит от длины строки, а как - от размера грамматики
- ☑ Псевдокод какой-то мутный и мне не нравится, что там грамматика передается трехмерным массивом. Вообще, это не нужный уровень детализации, лучше написать ""for A -> BC - правило грамматики"" - как-то так"
- Псевдокод хороший, но 1(один) и l(буква l) совершенно невозможно различить. Назови len хотя бы.
- и присваивать ответ в какую-то переменную result странно, напиши return d[S, 1, n] хотя бы. --Дмитрий Герасимов 21:40, 12 января 2012 (MSK)