![]() Главная страница Случайная страница Разделы сайта АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Теорема 7. 2
Числовая функция f (x, y) = xy не вычисляется конечными автоматами. Доказательство Предположим противное. Пусть существует конечный автомат Á = (A, B, Q, j, y), который из начального состояния q 0 вычисляет f. Здесь A = { 00, 01, 10, 11 }, B = { 0, 1 } и Q = { q 1,..., qk }. Пусть перемножаются два числа, большее из которых представляется в двоичной системе записью длины d. Тогда длина произведения двух таких чисел может достигать длины 2d-1. При этом, если представлять такие произведения двоичными записями длины 2d-1, то первые d компонент в них могут быть любыми двоичными последовательностями длины d. Будем считать, что перемножаемые числа x и y, большее из которых представляется двоичной записью длины d, пополняются незначащими нулями и записываются в виде наборов длины 2d-1. Перемножаемые числа поступают на вход Á в виде последовательности пар значений одноименных двоичных разрядов, начиная с младших разрядов. Пусть После этого на вход Á поступают остальные символы Значения появляющихся при этом символов на выходе автомата образуют слово длины d-1, определяемое только состоянием q i. Поэтому значения первых d разрядов произведений произвольных чисел длины d могут принимать не более k различных значений. Поэтому для любого значения d должно выполняться неравенство: k ³ 2d-1. Поскольку значение k является фиксированным, а d - произвольное, то последнее неравенство неверно. Следовательно, предположение о существовании автомата Á, вычисляющего функцию умножения пар чисел, неверно. Доказательство окончено. Упражнение. 1. Доказать, что для любого фиксированного натурального числа n существует конечный автомат, вычисляющий функцию f (x) = n ´ x; Забиваем Сайты В ТОП КУВАЛДОЙ - Уникальные возможности от SeoHammer
Каждая ссылка анализируется по трем пакетам оценки: SEO, Трафик и SMM.
SeoHammer делает продвижение сайта прозрачным и простым занятием.
Ссылки, вечные ссылки, статьи, упоминания, пресс-релизы - используйте по максимуму потенциал SeoHammer для продвижения вашего сайта.
Что умеет делать SeoHammer
— Продвижение в один клик, интеллектуальный подбор запросов, покупка самых лучших ссылок с высокой степенью качества у лучших бирж ссылок. — Регулярная проверка качества ссылок по более чем 100 показателям и ежедневный пересчет показателей качества проекта. — Все известные форматы ссылок: арендные ссылки, вечные ссылки, публикации (упоминания, мнения, отзывы, статьи, пресс-релизы). — SeoHammer покажет, где рост или падение, а также запросы, на которые нужно обратить внимание. SeoHammer еще предоставляет технологию Буст, она ускоряет продвижение в десятки раз, а первые результаты появляются уже в течение первых 7 дней. Зарегистрироваться и Начать продвижение 2. Доказать, что не существует конечного автомата, вычисляющего функцию f (x, y) = div(x, y). Имеет место еще одно свойство, ограничивающее вычислительные возможности автоматов, следующее из конечности множеств состояний. Пусть A = { a 1,..., a n } - некоторый алфавит. Всякая бесконечная последовательность Сверхслово Если автомат Á в момент t 0находится в начальном состоянии q0 и в моменты времени t0, t0 + 1,... на его вход поступают символы сверхслова В этом случае будем говорить, что Á из начального состояния q0 перерабатывает входное сверхслово
|