Главная » Просмотр файлов » markov_teorija_algorifmov

markov_teorija_algorifmov (522344), страница 30

Файл №522344 markov_teorija_algorifmov (Марков - Теория алгоритмов) 30 страницаmarkov_teorija_algorifmov (522344) страница 302013-09-14СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 30)

Пусть и и х — две различные буквы, не входящие в алфавит А. Построим в алфавите Авх нормальный алгорифм ЯА, е „СО СХЕМОЙ хй х х — « где $ пробегает алфавит А. Алгорифм ЯА,, „сокращающий. Поэтому он применим ко всякому слову в Аех. Читатель без труда убедится, что 4.9.

Каковы бы ни были слова Р, Я, Я в алфавите А, алгорифм ЙА, е „перерабатывает слово РЕБР в слово Я. (Сначала е „съедает" Р, затем х „съедает" )с, после этого в и х „уходят" и работа ЙА,, „заканчивается естественным обрывом с результатом Я.) ВВИду 4.9 МЫ НаЗЫВаЕМ аЛГОрифМ ЯА е „ВЫСЕКаЮщиМ алгорифмом для алфавита А. 8 30. Разветвляющий алгорифм 1. Пусть а не является буквой алфавита А. Пусть С, 0 и Ікак-либо фиксированные слова в А. Построим нормальный алгорифм ЯА, с, о е в алфавите Асс«) с сокращенно записанной схемой ( "са- сх$ ас — а а — Е С$ — а | С вЂ” - 11 — а, где с пробегает алфавит А.

Покажем, что он применим ко всякому слову в алфавите А, причем (2) ЙА, с, о, е (С) т«О и (3) «дд, с, о, е(Р) дХЕ для всякого слова Р в А, графически отличного от С. «) Ввиду перехода на нелинейный способ записи схем буквы се, р и у высвобождакпсн, и мы в дальнейшем будем использовать их в качестве букв алфавитов тех илн иных нормальных алгорифмов. 1гл. Рп 154 НОРМАЛЬНЫЕ АЛГОРНФМЫ Чтобы установить (2), мы заметим, что левые части формул подстановок алгорифма ЙА, с, о, е, соответствующие первым пяти строкам схемы (1), в С не входят, так как зти левые части либо содержат букву а„либо имеют длину, на единицу ббльшую длины слова С. Левая часть следующей формулы подстановки С вЂ” Р входит вС.

Таким образом, эта формула активна на слове С в схеме (1) и результат ее действия — а тем самым и результат действия схемы (1) — на слово С, как легко видеть, есть слово Р, и так как в данном случае активная формула подстановки является заключительной, то ЙА, с, о, е' .С) откуда непосредственно следует (2). Для установления истинности утверждения (3) мы докажем следующие восемь лемм 1.! — 1.8.

В них Р, Я и )« будут обозначать произвольные слова в алфавите А, а $— любую букву этого алфавита. 1.1. ЙА. с. о, е. 'ЯаЯ [ — (га$)«. В самом деле, на слово ДаЯ действует в точности одна из формул подстановок, представленных первой строкой схемы (1): формула $а — а$.

Именно она и является в данном случае активной. Вхождение Я»»$атй является единственным — а следовательно, и первым — вхождением ее левой части в слово (Ка)с. Значит, результат действия схемы (1) на слово Яа)«есть (4аЯ. А так как активная формула простая, то ЙА, с. о, е: «4с«»м г Ф»ап что и требовалось доказать. Таким образом, лемма 1.1 говорит о том, что в результате одного простого шага буква а в слове вида Яа)с „продвигается" на одно место влево. 1.2. ЙА, с, о, е. 1,Ахгг')=с»Я)7.

Это утверждение мы докажем правой индукцией по Д. Для этого мы рассмотрим свойство Р слова Я, выражаемое условием «каково бы ни было )«, ЙА, с, о, е' Яа)«)=абай», и покажем, что любое 9 обладает этим свойством. В самом деле, пустое слово обладает свойством Р [3 25,6. Ц.

Пусть теперь Я обладает Р, а $ — какая-либо буква. Тогда (4) ЙА, с, о, е: Я«»)7 [ — Я«««ьй [1. Ц. 4 »О> РАзветвляющин АЛГОРИФм ь' Но $)7 — слово в А, и потому по индукционному предположению (5) ЙА, с, о. е: Яс«4Й )= ««Я)с. 'ьл следовательно ЙА, с, о, е.' Яа)7)=аЯК [(4), (5), й 25.6.2, й 25,6,3] и, значит, Я обладает свойством Р. Таким образом, действительно, любое 9 обладает свойством Р, а это и доказывает наше утверждение. 1.3.

ЙА, с, о, е'. а5Р) — аР. В самом деле, ни одна из формул подстановок, представленных первой строкой схемы (1), не действует на АР. Вхождение тай«« 9 есть единственное вхождение слова вида а$ в а$Р. Таким образом, из рассмотрения схемы (1) вытекает, что формула а$ — а является активной на ааР в схеме (1), и потому ЙА, с, о, е' а$Р1-,аР, что и требовалось доказать. 14.

ЙА,с, о,е: иР~=а, Докажем это утверждение левой индукцией по Р [~ 17.3.2]. Для этого рассмотрим свойство б слова Р, выражаемое условием «ЙА. с, о, е. 'аР )=а», и покажем, что этим свойством обладает любое слово Р. Действительно, пустое слово им обладает [$ 25.6. Ц. Пусть теперь Р обладает б, а $ — какая-либо буква. Тогда (6) ЙА, с, о, е: аэР) — аР [1,3]. Но по индукционному предположению (7) ЙА, с. о, е: ««Р ~= а, и потому ЙА, с. о, е. азР1=а [(6), (7)], т. е. КР обладает свойством О. Значит, любое Р обладает этим свойством, а это и требовалось доказать.

1.5. ЙА, с, о.е' с»1 — Е. В самом деле, формулы подстановок, представленные первыми двумя строками схемы (1), не действуют на а, а формула а Е действует на это слово и, значит, она является и данном случае активной. Вхождение осок НОРМАЛЬНЫЕ АЛГОРИФМЫ 1гл, ги является первым вхождением левой части этой формулы велозо а. Результат подстановки ее правой части вместо этого вхождения есть Е, и так как эта формула является заключительной, то ЙА,с,о,е ° а) — Е, что и требовалось доказать. 1.6. Если С входит в Р и Р 1!'С, то существу!От такие слова !г и )7 в А, что йА, с, о. А! Р1-!еа)7.

В самом деле, пусть Р— слово в А, отличное от С, и пусть С входит в Р. Тогда в Р входит либо одно из слов вида Сс, либо одно из слов вида $С. Иначе говоря, в Р входит левая часть хотя бы одной из формул, представленных четвертой и пятой строками схемы (1). Левые же части выше стоящих формул, содержащие а, не входят в Р. Поэтому на Р активна одна из формул, представленных четвертой или пятой строками схемы (1). Эта формула имеет вид 5- а, и требуется применить ее к первому вхождению слова 5 (равного С$ или сС) в Р. Пусть Я:ЮЮ будет этим вхождением.

ТОГда !Е и )С сУть, как и Р, слова в А, а результат подстановки правой части формулы есть слово 1",чхЯ. Так как активная формула простая, ЙА, с, о, е' Р) — ЯсеЯ, что и требовалось доказать. 1.7, Если С не входит в слово Р в алфавите А, то ЙА.с, о, е' Р) — аР. В самом деле, в этом случае из левых частей формул подстановок алгорифма ЙА, с, о, е левая часть последней формулы — пустое слово — входит в Р, все же остальные не входят в Р, так как в них входит либо а, либо С. Следовательно, требуется подставить правую часть последней формулы,т. е.

а, вместо первого вхождения пустого слова в Р, что дает иР. Так как активная формула простая, то ЙА с а, е. Р )- гАР, что и требовалось доказать. 1.8, Если Р— слово в алфавите А, отличное от С, то могут быть указаны такие слова Д и Я в А, что ЙА, с, о, е: Р~ — Фх)7. В самом деле, если С входит в Р, то такие Я и Д могут быть указаны согласно 1.6. Если же С не входит в Р, то, согласно 1.7, в качестве Я можно взять Л, а в качестве )7 слово Р.

Мы можем теперь доказать равенство (3). В самом деле, пусть Р— слово в А, Отличное от С. Возьмем слова Я и взп УДВАИВАЮЩИИ АЛГОРИФМ 167 Я в А согласно 1.8 таким образом, что ЙА, с. о. е: Р1-Яа)7. Имеем тогда ЙА. с, о, е! 'Р1 — (еа)7 )=а4)7 [1,21 )=а [1.41 ) — Е [1,5], :; Откудайм с. о. е! Р~ е, и потому ЙА с р е(Р) ~е [~25 7~ .' что и требовалось доказать. Таким образом, работа алгорифма ЙА, с, о е над словом Р вА протекает следующим образом. Если Р Л.С, то ЙА, с, о, е за один шаг переводит Р в Р и на этом его работа закан- чиваетсЯ.

Если же Р:ГС, то ЙА, с, о,е „ввоДит" в пеРеРабатываемое слово сигнализирующую об этом букву а [1.81, 1 которая „выходит" затем в начало слова [1.21, „стирает" его [!.41 и „превращается" в Е [1.51, после чего работа .. ЙА, с, о, е прекращается. 8 31. Удваивающий алгорнфм 1. Пусть а, р и у означают различные буквы, не принадлежащие алфавиту А. Построим нормальный алгоритм 5А в алфавите Аару с сокращенно записанной схемой чав — срч а$ — $Яа — 7 7 где $ и !) пробегают алфавит А (при н-буквенном алфавите А эта схема состоит из л'+и+4 формул подстановок).

Покажем, что (2) 5А (Р) й. РР для всякого слова Р в А. Для установления истинности утверждения (2) мы введем две операции Ф и Ч" над словами в А, а затем докажем леммы 1.1 — 1.14, из которых это утверждение будет вытекать. В даль- нейшем Р, !Е, К„Я будут обозначать произвольные слова в А, а а, т1 — любые буквы этого алфавита. (Гл. «и 158 П (3) (4) (5) (6) НОРМАЛЬНЫЕ АЛГОРИФМЫ замечание в 3 17.3.2) Ф(Л) Л, Ф (Рз) — Ф (Р) х(6, Ч'(Л) — Л, Ч'(Р$) Ч'(Р) $7. $А: Р1-аР, что и требовалось доказать.

1.2. $А. Яа)- ° Я, Доказывается аналогично 1.1 рассмотрением схемы (1). Формулой подстановки, активной в (1) на Яс«, является формула а- 1.3. 5А. 'Ф (Р) Ра$Я 1- Ф (Р) Р$ЯаЯ. Доказывается рассмотрением схемы (1). Легко видеть, что ни одна из формул, представленных первой строкой схемы (!), не действует на слово Ф(Р)Ра$Я. Между тем среди формул, представленных второй строкой, имеется формула а$-~-$Яа с левой частью, входящей в Ф (Р)Ра$Я. Эта формула и является активной на данном слове.

Единственное вхождение ее левой части в рассматриваемое слово имеет внд Ф (Р)РФа$Х«Я. Вместо него подставляется правая часть формулы, т. е. слово $Яа, Легко видеть, что (7) Ф ($) Х ф 1(4), (3)], (8) Ч'($) х $7 ~(6), (5)]. Кроме того, правой индукцией по Я нетрудно показать, что (й) Ф (Р!~) Аь Ф (Р) Ф (1~) !(3), (4)] и (1О) Ч,(Р® х Ч (Р) Ч (О) 1(6), (6)]. Имеем 1.1.

Характеристики

Тип файла
DJVU-файл
Размер
4,16 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
Зачем заказывать выполнение своего задания, если оно уже было выполнено много много раз? Его можно просто купить или даже скачать бесплатно на СтудИзбе. Найдите нужный учебный материал у нас!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6451
Авторов
на СтудИзбе
305
Средний доход
с одного платного файла
Обучение Подробнее