Обсуждение:Задача о выводе в контекстно-свободной грамматике, алгоритм Кока-Янгера-Касами

Материал из Викиконспекты
Перейти к: навигация, поиск
Кривое форматирование
По картинке ничего не понятно
Описание алгоритма какое-то мутное
Нет псевдокода. --Дмитрий Герасимов
что за
  • 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)