1679
правок
Изменения
Новая страница: «: {{tick}} как-то сразу прыгаем в решение задачи, надо бы хоть написать, что хотим выполнить m-...»
: {{tick}} как-то сразу прыгаем в решение задачи, надо бы хоть написать, что хотим выполнить m-сведение в начале док-ва, а не в конце. Написать в начале, что доказываем от противного и предполагаем, что такой алгоритм существует.
: {{tick}} англоязычные термины, ссылки на англоязычные источники
: {{tick}} что за символы z_1 .. z_n, произвольные или что? Надо пояснить.
: {{tick}} по-моему, грамматику можно сделать проще, написать, что S -> A | B
: {{tick}} не "пусть есть правила", а, наверное, зададим грамматику такими-то правилами.
: {{tick}} Поскольку <tex>\forall i, j : i \ne j</tex> <tex>z_{i} \ne z_{j}</tex> — вот это вообще что-то непонятное. В какой последовательности здесь рассматриваются индексы? Если в алфавите, достаточно это написать словами.
: {{tick}} "Таким образом, мы получили m-сведение множества решений ПСП к множеству решений нашей задачи, так как если существует решение ПСП, то существует такой поднабор индексов, что слово выводится двумя способами, то есть грамматика неоднозначна" — создается ощущение, что мы получили m-сведение только из за части предложения после "то", и предыдущее отбрасывается. Оформить это как доказательство в прямую и обратную стороны, а потом уже написать, что свели.
--[[Участник:Dgerasimov|Дмитрий Герасимов]] 12:49, 9 декабря 2012 (GST)
: {{tick}} англоязычные термины, ссылки на англоязычные источники
: {{tick}} что за символы z_1 .. z_n, произвольные или что? Надо пояснить.
: {{tick}} по-моему, грамматику можно сделать проще, написать, что S -> A | B
: {{tick}} не "пусть есть правила", а, наверное, зададим грамматику такими-то правилами.
: {{tick}} Поскольку <tex>\forall i, j : i \ne j</tex> <tex>z_{i} \ne z_{j}</tex> — вот это вообще что-то непонятное. В какой последовательности здесь рассматриваются индексы? Если в алфавите, достаточно это написать словами.
: {{tick}} "Таким образом, мы получили m-сведение множества решений ПСП к множеству решений нашей задачи, так как если существует решение ПСП, то существует такой поднабор индексов, что слово выводится двумя способами, то есть грамматика неоднозначна" — создается ощущение, что мы получили m-сведение только из за части предложения после "то", и предыдущее отбрасывается. Оформить это как доказательство в прямую и обратную стороны, а потом уже написать, что свели.
--[[Участник:Dgerasimov|Дмитрий Герасимов]] 12:49, 9 декабря 2012 (GST)
