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

Материал из Викиконспекты
Перейти к: навигация, поиск
 
(не показана 1 промежуточная версия этого же участника)
Строка 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}} сколько раз можно просить читать правила для псевдокода? Написано же, что псевдокод должен быть функцией, принимающей входные данные задачи и возвращающей ответ.
+
:: не везде индексы переделал, в теховских формулах всё ещё смешано
 +
: {{tick | ticked=1}} что за S: array []?
 +
: {{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)