Бюрократы, editor, Администраторы
422
правки
Изменения
Нет описания правки
Когда в алгоритме поиска объектов, обладающих свойством X, первая строчка выглядит как «Пусть A — множество объектов, обладающих свойством X», это вызывает у меня лёгкое недоумение. Я, конечно, понимаю, «что хотел сказать автор», но… мм… короче, не дело.
--<br/>
[[Участник:Kirelagin|Кирилл Елагин]]
== Я по-прежнему недоволен алгоритмом поиска ==
Во-первых, что такое «кратчайшее порождение»? Что это вообще символизирует?
Во-вторых, «по индукционному предположению <…> уже содержится в множестве». Что значит «уже»? Ты работаешь с неким алгоритмом, и «уже» ты можешь использовать со ссылкой на время (например, на количество шагов, сделанных алгоритмом). А у тебя всё доказательство оперирует только множеством правил грамматики, что, очевидно, невозможно, ведь тут именно важна итеративность алгоритма.
В-третьих, необходимо доказать, что в алгоритме всегда есть прогресс, т.е., если в какой-то момент после выполнения шага текущее множество не поменялось, это значит, что ''других эпсилон-порождающих нетерминалов нет'' (и наоборот). Вообще это как-то связано с «во-вторых», вроде бы.
Короче, если тебе интересно моё мнение, то я бы удалил нахрен целиком это доказательство и написал его с нуля, тщательно перед этим подумав.
--<br/>
[[Участник:Kirelagin|Кирилл Елагин]]
