Обсуждение:Задача о выводе в контекстно-свободной грамматике, алгоритм Кока-Янгера-Касами
Версия от 21:40, 12 января 2012; Dgerasimov (обсуждение | вклад)
- ☑ Кривое форматирование
- ☑ По картинке ничего не понятно
- ☑ Описание алгоритма какое-то мутное
- ☑ Нет псевдокода. --Дмитрий Герасимов
- ☑ что за
- 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)