Обсуждение:Задача о выводе в контекстно-свободной грамматике, алгоритм Кока-Янгера-Касами — различия между версиями
(не показаны 2 промежуточные версии этого же участника) | |||
Строка 4: | Строка 4: | ||
: {{tick | ticked=1}} Нет псевдокода. --[[Участник:Dgerasimov|Дмитрий Герасимов]] | : {{tick | ticked=1}} Нет псевдокода. --[[Участник:Dgerasimov|Дмитрий Герасимов]] | ||
− | : {{tick}} что за | + | : {{tick | ticked=1}} что за |
* 1) | * 1) | ||
* 2) | * 2) | ||
? для этих целей вместо * используется #. | ? для этих целей вместо * используется #. | ||
− | : {{tick}} Интервики — сделать ссылки на более формальные описания формальной грамматики, КС-грамматики и т.п. на курс конспектов 3 курса. Вообще я не знаю, нужны ли тут простые объяснения, хотя склоняюсь что всё же нужны. Сделать ссылку на оптимальность на подотрезке. | + | : {{tick | ticked=1}} Интервики — сделать ссылки на более формальные описания формальной грамматики, КС-грамматики и т.п. на курс конспектов 3 курса. Вообще я не знаю, нужны ли тут простые объяснения, хотя склоняюсь что всё же нужны. Сделать ссылку на оптимальность на подотрезке. |
− | : {{tick}} Обозначай множества в фигурных скобках, а то «терминалы: (, ).» выглядит не как их перечисление, а как сломавшееся форматирование. | + | : {{tick | ticked=1}} Обозначай множества в фигурных скобках, а то «терминалы: (, ).» выглядит не как их перечисление, а как сломавшееся форматирование. |
− | : {{tick}} а вот доказательство КС -> НФХ точно здесь не нужно, это не относится к задаче. | + | : {{tick | ticked=1}} а вот доказательство КС -> НФХ точно здесь не нужно, это не относится к задаче. |
− | : {{tick}} Почему постановка задачи в середине статьи? Переместить её в шапку, а потом сделать пункт «Определения», в котором все эти опр. грамматик будут подпунктами. | + | : {{tick | ticked=1}} Почему постановка задачи в середине статьи? Переместить её в шапку, а потом сделать пункт «Определения», в котором все эти опр. грамматик будут подпунктами. |
− | : {{tick}} странная индексация a[i][j,k]. Все должно быть единообразным. | + | : {{tick | ticked=1}} странная индексация a[i][j,k]. Все должно быть единообразным. |
− | : {{tick}} сколько раз можно просить читать правила для псевдокода? Написано же, что псевдокод должен быть функцией, принимающей входные данные задачи и возвращающей ответ. | + | :: не везде индексы переделал, в теховских формулах всё ещё смешано |
− | : {{tick}} что за ссылка [1]? Оформить нормально. | + | : {{tick | ticked=1}} что за S: array []? |
− | : {{tick}} Опять же, сколько можно просить добавлять категории? | + | : {{tick | ticked=1}} сколько раз можно просить читать правила для псевдокода? Написано же, что псевдокод должен быть функцией, принимающей входные данные задачи и возвращающей ответ. |
− | --[[Участник:Dgerasimov|Дмитрий Герасимов]] | + | : {{tick | ticked=1}} что за ссылка [1]? Оформить нормально. |
+ | : {{tick | ticked=1}} Опять же, сколько можно просить добавлять категории? | ||
+ | --[[Участник: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)