Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте www.za4et.net.ru

Компьютеры, Программирование Компьютеры, Программирование

Существование универсальных вычислителей. Алгоритмические проблемы и взаимосвязь алгоритмических систем.

Карабин, 6x60 мм.
Размеры: 6x60 мм. Материал: металл. Упаковка: блистер.
44 руб
Раздел: Карабины для ошейников и поводков
Пакеты с замком "Extra зиплок" (гриппер), комплект 100 штук (150x200 мм).
Быстрозакрывающиеся пакеты с замком "зиплок" предназначены для упаковки мелких предметов, фотографий, медицинских препаратов и
148 руб
Раздел: Гермоупаковка
Ручка "Шприц", желтая.
Необычная ручка в виде шприца. Состоит из пластикового корпуса с нанесением мерной шкалы. Внутри находится жидкость желтого цвета,
31 руб
Раздел: Оригинальные ручки

Существование универсальных вычислителей. Теперь задумаемся вот о чём. Каждый раз, когда мы строили программу для новой Машины Тьюринга, даже если мы при этом использовали программы для других машин, не явно предполагалось, что как-то, где-то, кем-то строилась каретка, обладающая заданным набором состояний, способная распознавать и записывать символы из заданного алфавита и т.п. Построение такой каретки - сама по себе задача не из простых. Для каждого нового алгоритма мы вынуждены строить новый исполнитель. Это выглядит примерно так, как если бы для каждой новой программы нам надо было строить новый компьютер. А нельзя ли построить такой исполнитель, который был бы способен выполнить любой алгоритм, заданный в виде программы для Машины Тьюринга? Положительный ответ на этот вопрос являлся бы математическим обоснованием существования универсального вычислителя, т.е. способного выполнить любой должным образом записанный алгоритм, вычислить любую вычислимую функцию. Итак, пусть нам надо построить Универсальную Машину Тьюринга, назовём её УМТ, для которой: исходными данными являются программа другой машины, назовём её МТ, с исходными данными Д последней; результат применения УМТ к этим исходным данным должен быть таким же, как применение МТ  к её исходным данным, то есть УМТ(МТ,Д)=МТ(Д). Из-за чисто технической громоздкости мы не будем давать полного доказательства существования УМТ, а дадим лишь обоснование её существования. В этом обосновании мы покажем основную идею доказательства. Представим себя в качестве такой УМТ и опишем в интуитивной форме алгоритм своей работы. Состояние воображаемой каретки будем записывать под обозреваемой ячейкой ленты. Программу имитируемой МТ считаем пока заданной в виде таблицы. Интерпретирующий алгоритм для УМТ: Обозревай ячейку, под которой написана буква (состояние); Отыщи в таблице строку, обозначенную этой буквой; В найденной строке обозревай тройку символов, которая стоит на пересечении со столбцом, обозначенным буквой, вписанной в обозреваемую ячейку; Замени букву в обозреваемой ячейке на первую букву тройки; Если второй буквой тройки является “!”, то стоп; Если в обозреваемой ячейке третья буква “Н”, то сотри букву под обозреваемой ячейкой и запиши туда вторую букву тройки (смена состояния); Если в обозреваемой тройке третья буква “Л”, то сотри букву под обозреваемой ячейкой, сдвинься влево и запиши под этой ячейкой вторую букву тройки; Если в обозреваемой тройке третья буква “П”, то сотри букву под обозреваемой ячейкой, сдвинься вправо и запиши под этой ячейкой вторую букву тройки; Перейди к шагу 1. Для того, чтобы преобразовать это описание в программу Машины Тьюринга, надо решить две основные проблемы: Как задавать программу и конфигурацию имитируемой МТ на ленте? Так как произвольная МТ может иметь произвольный алфавит, то какой алфавит должен быть у УМТ? Первая проблема разбивается на две: как задать программу на ленте? как задать конфигурацию, чтобы отмечать текущее положение каретки имитируемой МТ (решение в виде символа под текущей ячейкой не годится). Программу МТ будем записывать пятерками aqbp , где a,bÎD;  p,qÎQ;  Î{Л, П, Н}, здесь   a- символ , соответствующий строке таблицы; q - столбцу таблицы.

На рисунке 4.1. показана линейная запись функциональной схемы для U1( ). 0qo1qsЛ 1qo2qsЛ 2qo3qsЛ 7qo8qsЛ 8qo9qsЛ 9qo0qoЛ Lqo!Л® ®0qs0qsЛ 1qs1qsЛ 2qs2qsЛ 7qs7qsЛ 8qs8qsЛ 9qs9qsЛ LqsL!Н Рис. 4.1. Линейная запись функциональной схемы МТ, вычисляющей U1( ). Такое представление программы обеспечивает взаимнооднозначное соответствие с табличной формой записи, а стало быть ничего из таблицы при этом не теряется и ничего не добавляется. Как задать на ленте конфигурацию имитируемой машины? Напомним, что под конфигурацией Машины Тьюринга мы понимаем слово на ленте и положение каретки по отношению к слову. Здесь основная трудность: где записывать символ текущего состояния каретки. Будем записывать символы исходного слова на ленте через ячейку. В образовавшиеся пустые ячейки ленты будем записывать справа от обозреваемого символа текущее состояние каретки. Теперь рассмотрим проблему алфавита. Напомним, эта проблема состоит в том, что УМТ должна иметь определенный алфавит, который не может изменяться. В то же время мы не можем знать заранее, с какими алфавитами будут работать МТ, которые будет интерпретировать наша УМТ. Решение этой проблемы - кодирование символов из алфавита МТ символами алфавита УМТ. При этом важно позаботиться о том, чтобы: один и тот же символ из алфавита МТ всегда изображался одной и той же последовательностью символов из алфавита УМТ; разные символы из алфавита МТ всегда изображались разными последовательностями символов из алфавита УМТ. В качестве алфавита УМТ выберем алфавит {0,1}, расширенный небольшим количеством вспомогательных символов. Пусть нам надо закодировать символы МТ, у которой  DМТ =k;   QМТ =m. Возьмем 3 k m слов вида  1000 01,  т.е. последовательность нулей между единицами. Эти слова мы будем называть кодовыми группами (КП). На рисунке 4.2 показаны кодовые КП для символов из D, Q, и {Л, Н, П} Л 101 Н 1001 П 10001 100001          Здесь число нулей всегда четно. M нулей 1000001         Здесь всегда нечетное число нулей M   нулей Рис. 4.2  Кодовые КП для символов из D, Q, и {Л, Н, П} Теперь для доказательства теоремы надо интерпретирующий алгоритм записать в терминах кодовых групп, шифра программы и шифра конфигурации. Например, шаг 1 будет звучать теперь так: Обозревай в шифре конфигурации КП, расположенную левее КП, с нечётным числом нулей, т.е. код текущего состояния каретки (заметим, что такая КП в шифре конфигурации всегда одна. Убедитесь в этом). Шаги 2 и 3 примут следующий вид: Отыщем в шифре функциональной схемы пару соседних КП, совпадающих с парой КП в шифре конфигурации, в которой первая КП - обозреваемая и т. д. Для каждого шага интерпретирующего алгоритма надо построить МТ с алфавитом {0,1}, после чего объединить их должным образом, с помощью операций o, , if- he -else, while-do. Обоснование закончено. Разрешимость алгоритмических проблем. В этом разделе мы дадим примеры доказательства неразрешимости конкретной алгоритмической проблемы - проблемы самоприменимости. Определение 4.1: Алгоритмической проблемой называется проблема построения алгоритма для решения класса задач. Естественно возникает вопрос: Всякая ли алгоритмическая проблема разрешима? Вплоть до начала ХХ века среди математиков существовала уверенность в разрешимости любой математической проблемы.

Как уже отмечалось во введении, Лейбниц был один из первых, кто пришёл к идее исчисления. Он считал, что решение математической проблемы сводится к манипуляции с символами с помощью специальным образом подобранными правилами вывода (замены одних комбинаций символов на другие). Проблема, по мнению Лейбница, состояла лишь в том, чтобы построить надлежащим образом систему этих правил. Более того - он считал, что можно построить универсальный набор правил для решения любой математической проблемы. Джонатан Свифт в своей книге “Приключения Гулливера” подшутил над этой идеей Лейбница в образе мудреца, вращающего колёса с табличками в поисках нужного решения. Английский математик Чёрч первым дал пример неразрешимой поблемы, известной как проблема выводимости. Проблема выводимости: Дана система правил подстановки R и два слова W и S. Можно ли определить выводимо W из S с помощью R? Чёрч доказал, что не существует алгоритма, который бы для любой системы правил подстановки и любых двух слов давал ответ на этот вопрос. Другой известный нам пример неразрешимой алгоритмической проблемы - 10-я проблема Гильберта. Определение 4.2. Алгоритм А называется самоприменимым, если он применим к слову, которое является его описанием. Проблема самоприменимости: Дано описание алгоритма А. Требуется построить такой алгоритм, который бы для описания любого алгоритма А определял , является ли алгоритм А самоприменимым или нет. Теорема 4.1. Распознавание самоприменимости алгоритмически неразрешимо. Доказательство: Доказывать эту теорему будем методом от противного. Пусть алгоритм А, распознающий самоприменимость, существует. Тогда откорректируем его так, чтобы А(А)= s - если А - самоприменим - если А - не самоприменим, где А - некоторый алгоритм Построим, имея А, алгоритм В, который В(А)= не останавливается, если А самоприменим - если А - не самоприменим Таким образом, В применим к самонеприменимым алгоритмам и не применим к самоприменимым. Рассмотрим В(В), т. е. Применение В к самому себе. Если В(В) даёт , следовательно, В - самоприменим, но по построению В даёт только на не самоприменимых авлгоритмах. Если В(В) не останавливается, то это означает, что В - не самоприменим, но по построению в этом случае он должен дать . Пришли к противоречию. Следовательно, такой алгоритм В не существует. Следовательно, не может существовать и алгоритм А. Отсюда - предположение о существовании алгоритма А, распознающего самоприменимость, неверно! Доказательство закончено. Замечание: обычно доказательство неразрешимости алгоритмической проблемы строится методом сведения. Идея этого метода состоит в том, что для исследуемой проблемы П доказывается, что она сводится к другой проблеме П&ce ;, о которой известно, что она неразрешима. Взаимосвязь алгоритмических систем. В связи с существованием неразрешимых алгоритмических проблем возникает вопрос: А не может ли оказаться так, что алгоритмическая проблема, неразрешимая в одной алгоритмической системе, окажется разрешимой в другой? Например, какая-то проблема, не разрешимая в терминах машины Тьюринга, окажется разрешимой в терминах НАМ.

Проблема построения алгоритма, обладающего теми или иными свойствами, называется алгоритмической проблемой (а. п.). Как правило, свойство искомого алгоритма формулируется в терминах свойств того соответствия, которое должно иметь место между исходными данными и результатами алгоритма. Важные примеры а. п.: проблема вычисления данной функции (требуется построить алгоритм, вычисляющий эту функцию): проблема разрешения данного множества (требуется построить алгоритм, разрешающий это множество относительно некоторого другого множества); проблема перечисления данного множества (требуется построить алгоритм, перечисляющий данное множество). Неразрешимость а. п. означает отсутствие соответствующего алгоритма; теоремы, устанавливающие неразрешимость таких проблем, относятся к числу наиболее важных теорем А. т.   Метрическая А. т. А. т. можно разделить на дескриптивную (качественную) и метрическую (количественную). Первая исследует алгоритмы с точки зрения устанавливаемого ими соответствия между исходными данными и результатами, к ней относятся, в частности, те алгоритмические проблемы, о которых говорилось в предыдущем разделе

1. Этапы развития системы управления экономикой в РФ

2. Понятие качества и организация системы управления качеством

3. Изучение системы и процесса управления. Выполнение обязанностей стажера – помощника на должностях организации

4. Системы и модели в экономике

5. Система контроля и управления процессом проводки нефтяных и газовых скважин "Леуза-1"

6. Понятие, предмет, метод и система отрасли административного права, его источники, соотношение с другими отраслями права
7. Финансовая система России и управление ею
8. Системы оповещения и управления эвакуацией людей при пожарах в зданиях и сооружениях

9. Принятие решений в системе административно-государственного управления

10. Анализ процесса регулирования непрерывной системы. Анализ процесса управление цифровой системы и синтез передаточной функции корректирующего цифрового устройства управления

11. Интелектуальные системы и технологии в экономике

12. Системы проектирования и управления мультимедийными учебно-методическими курсами

13. Составляющие понятия качества товара в системе маркетинга

14. Ориентация на внутренних потребителей при усовершенствовании системы управления: для кого выполняется эта работа

15. Система менеджмента и управления качеством на ООО "АМК"

16. Экономическая и социальная эффективность совершенствования системы и технологии управления персоналом

Набор для черчения "College", 9 предметов.
В набор входит: циркуль 14 см с одной сгибаемой ножкой, циркуль - измеритель, удлинитель, кронциркуль, механический карандаш, контейнер с
539 руб
Раздел: Циркули, чертежные инструменты
Детский трехколесный велосипед Jaguar (цвет: синий).
Облегченный трехколесный велосипед с родительской ручкой, для малышей от 2 до 4 лет. Удобный, маневренный, отличная модель для получения
2500 руб
Раздел: Трехколесные
Карандаши с разноцветным грифелем "Magic", 5 штук.
Карандаши с разноцветным грифелем. Диаметр: 10 мм. В комплекте: 5 штук.
427 руб
Раздел: До 6 цветов

17. Понятия и элементы политической системы

18. Понятие и структура экономической системы общества

19. Страхование - важнейшая система финансовой системы

20. Инвестиции: понятие инвестиций, типы и роль в экономике

21. Сердечно-сосудистая система (Сосудистая система)

22. Идея государственного управления экономикой: уроки истории
23. Понятие страхового фонда в современной рыночной экономике
24. Сущность, роль и функции контроля в управлении экономикой

25. Управление экономикой

26. Системы, эквивалентные системам с известным типом точек покоя

27. Пищеварительная система. Выделительная система

28. Понятие объекта и субъекта в управлении социальной работой

29. Финансовая система государства: её структура, функции и современные проблемы

30. Объекты управления экономикой

31. Понятие и роль государственного регулирования для экономики Республики Беларусь

32. Понятие человечности в контексте философии Э.В. Ильенкова и проблема качества страдания

Пенал школьный "Pixie Crew" с силиконовой панелью для картинок (зелёная клетка).
Повседневные вещи кажутся скучными и однотонными, а тебе хочется выглядеть стильно и быть не как все? "Pixie Crew" сделает твою
1096 руб
Раздел: Без наполнения
Аэрозоль Gardex "Extreme" от кровососущих насекомых и клещей, 150 мл.
Уникальный продукт с самым широким спектром действия. От всех летающих кровососущих насекомых: комаров, москитов, слепней, мокрецов,
372 руб
Раздел: Аэрозоль, спрей
Шнуровка-бусы "Весна".
Эта простая, но интересная игрушка увлечет малыша! Цель игры - нанизать на шнурок все бусинки и сделать яркие бусы! Ребенку будет
321 руб
Раздел: Деревянные шнуровки

33. Экономика и экология : проблемы, пути решения

34. Мировая экономика и ее проблемы.

35. Управление: основные понятия, система управления, ее признаки, принципы организации деятельности

36. Разработка программно–алгоритмических средств для определения надёжности программного обеспечения на основании моделирования работы системы типа "клиент–сервер"

37. Разработка алгоритмов контроля и диагностики системы управления ориентацией космического аппарата

38. Военные реформы 1862-74 годов в России. Техническое перевооружение армии и флота, всесословная воинская повинность. Изменение системы военного управления
39. Изменения, произошедшие в финансовой системе России, в переходе к рыночной экономике
40. Планирование в системе государственного управления

41. Развитие общего понятия и системы преступлений от Русской Правды к Судебнику 1497 г. (Контрольная)

42. Перестройка в СССР. Попытка реформирования экономики и политической системы.

43. Государственная служба Приказной системы управления

44. Понятие, назначение и правовая основа паспортной системы Российской Федерации

45. Становление и развитие системы управления Военно-Морским флотом в Петровский период Российской истории

46. Управление системой "Интеллектуальный дом" через Интернет. Аппаратно-программные решения внутренней сети

47. Построение локальной вычислительной сети подразделения организации под управлением операционной системы WindowsNT

48. Проект структурированной кабельной системы для здания газопромыслового управления в поселке Пангоды

Набор детской посуды "Собачка", 3 предмета.
Набор посуды детский "Собачка". В комплекте 3 предмета: - тарелка суповая диаметром 15 см, - тарелка обеденная диаметром 19
318 руб
Раздел: Наборы для кормления
Защитный детский бальзам от ветра и холода "Weleda" с календулой, 30 мл.
Защитный бальзам от ветра и холода с календулой Weleda разработан, чтобы уберечь нежную кожу ребенка от погодных воздействий. Он может
520 руб
Раздел: Крем детский
Универсальная вкладка для дорожных горшков (фиолетовый).
Вкладка для дорожных горшков подойдет для любого дорожного горшка, она хорошо ложится на сиденье, обеспечивая комфорт и удобство в
649 руб
Раздел: Прочие

49. Разработка системы управления работой коммерческой компании

50. Системы управления базами данных

51. Программа защиты объектов операционной системы Windows95, работающей в многопользовательском режиме под управлением сервера Novell NetWare

52. Система автоматического управления турбообводом в составе энергоблока ВВЭР-640

53. Проверка устойчивости системы автоматического управления

54. Управление техническими системами (лекции)
55. Предмет, понятие, метод и система криминологии
56. Автоматизированные системы управления учебным процессом в вузе

57. Система государственного управления в современных монархиях

58. Анализ работы системы управления электровозом постоянного тока при разгоне грузового поезда

59. Системы адаптивного управления роботами

60. Микропроцессоры в системах управления. Система прерываний в микроконтроллерах PIC16C84, MCS-51 и MCS-196

61. Банковская система. Регулирование экономики

62. Информационные системы в экономике

63. Реферат по информационным системам управления

64. Разработка системы управления акционерным обществом /АОА "Контур"/

Свечи чайные в гильзе (100 штук).
Вес: 12 гр. Высота: 1,6 см. Диаметр: 3,8 см. t горения: 3,5 ч В упаковке: 100 штук. Материал: парафин.
634 руб
Раздел: Свечи чайные
Карандаши цветные "Космос", 36 цветов.
Шестигранный корпус. Яркие насыщенные цвета. В комплекте: 36 цветных карандаша.
354 руб
Раздел: Более 24 цветов
Мелки восковые "Maxi", 24 цвета.
Мелки восковые удобные и яркие. Они не крошатся, хорошо рисуют, имеет насыщенные цвета. Безопасно для детей. Восковые мелки в специальной
308 руб
Раздел: Восковые

65. Контроль в системе управления

66. Понятие о документе, корреспонденции и делопроизводстве. Унификация и стандартизация документов. Система документации

67. Управление персоналом в системе эффективного менеджмента

68. Совершенствование управлением системой продаж в страховании физических лиц

69. Автоматизация отдела управления персоналом в ИСУП на базе информационной системы АЛЕФ

70. Операционный менеджмент как система. Управление персоналом в системе операционного менеджмента
71. Система управления на японских предприятиях. КРУЖКИ КАЧЕСТВА
72. Выбор и обоснование структуры автоматизированной системы управления – АСУ "Супермаркет"

73. Разработка автоматизированной информационной системы для управления портфелем реальных инвестиций

74. ФОРМИРОВАНИЕ И ПЕРСПЕКТИВЫ РАЗВИТИЯ СИСТЕМЫ ИПОТЕЧНОГО ЖИЛИЩНОГО КРЕДИТОВАНИЯ СТРОИТЕЛЬСТВА В УСЛОВИЯХ ТРАНЗИТИВНОЙ ЭКОНОМИКИ

75. Экономические системы: виды, понятие, структура

76. Изменения в системе государственного управления

77. Система воеводского управления в освещении историков-сибиреведов

78. Корабельные автоматизированные системы управления

79. Военно-технические проблемы создания и развития современной системы управления силами ВМФ и пути их решения

80. Нечеткие множества в системах управления

Дырокол на 2-3-4 отверстия, 10 листов, черный.
Дырокол на 2-3-4 отверстия. Расстояние между отверстиями регулируется. Толщина прокола: до 10 листов. Материал: металл. Цвет корпуса: черный.
547 руб
Раздел: Дыроколы
Настольная игра "Соображарий Junior".
Кто первый назовёт животное на «Л» или одежду на «Ш»? Что-то круглое на «З» или кусачее на «Р»? А может быть, три вещи на «Т», которые
490 руб
Раздел: Игры со словами
Фанты "Масло в огонь".
Это настолка для влюбленных пар с различным «стажем» отношений, подойдет в качестве презента на свадьбу или годовщину
1291 руб
Раздел: Игры для взрослых (18+)

81. Системы управления запасами

82. Системы управления запасами

83. Управление системой маркетинговой деятельности на предприятии

84. Организация системы управления издержками

85. Анализ обеспечивающих подсистем системы управления

86. Коммуникации в системе управления
87. Организация системы управления рисками на предприятии
88. Рекомендации по совершенствования системы управления

89. Система методов управления персоналом

90. Совершенствование системы управления персоналом на предприятии

91. Формирование основных элементов системы управления АО-Энерго

92. Система Качества как часть Системы Управления

93. Лизинг в системе управления инновационной и инвестиционной деятельностью предприятия ОАО «Черниговский молочный завод»

94. Структурирование системы управления маркетингом предприятия сферы услуг

95. Алгоритмизация системы управления маркетингом предприятия сферы услуг

96. С чего начинается система управления персоналом

Снежкобластер "Тройной".
Снежкобластеры спасут вас от замерзших рук и мокрых перчаток! Для настоящих лидеров зимних баталий в нашем арсенале есть тройной
1585 руб
Раздел: Прочее
Набор маркеров для доски, 4 штуки.
Высококачественные маркеры для белой маркерной доски. Не высыхают с открытым колпачком в течение нескольких дней. 4 цвета. С круглым
401 руб
Раздел: Для досок
Лото "Животные".
Лото "Животные" развивает память, внимательность, мелкую моторику рук, помогает развивать устную речь малышей, и дает начальные
1079 руб
Раздел: Лото детское

97. Разработка автоматизированной системы управления сбором и отображением информации на установке продувки азотом

98. Информационное и техническое обеспечение системы управления персоналом

99. Постреляционные технологии Cache в системе управления университетом

100. Охрана труда. Государственная система управления. Надзор и контроль


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.