У вас вопросы?
У нас ответы:) SamZan.net

Вычислительные модели

Работа добавлена на сайт samzan.net: 2015-07-10

Поможем написать учебную работу

Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.

Предоплата всего

от 25%

Подписываем

договор

Выберите тип работы:

Скидка 25% при заказе до 10.3.2025

2.1. Вычислительные модели. Машина Тьюринга. Тезис Черча.

Вычислительные  модели:

1. машина Поста

2. машина Тьюринга

3. рекурсивные ф-ии

4. нормальные алгорифмы Маркова

Машины Поста и Тьюринга являются линейчатыми автоматами, т.е. вычислительными моделями построенными на линейчатой модели памяти.

Лента представляет собой бесконечную в обе стороны последовательность ненумерованных ячеек.

Устройство машины Тьюринга чрезвычайно просто, однако на ней можно выполнить практически любую программу. Для выполнения всех этих действий предусмотрена специальная таблица правил, в которой прописано, что нужно делать при различных комбинациях текущих состояний и символов, прочитанных с ленты.

Машина Тьюринга опирается на 2 алфавита: внутренний, внешний число символов, в каждом из которых не меньше двух..

Е – внешний, состоит из символов, котые могут быть записаны  в ячейку. Обязателен бланк а0 , который равнозначен отсутствию данных. И хотя бы один символ отличный от бланка.

Σ – внутренний алфавит, состоит из состояний, в каждом из которых Машина Тьюринга может находиться в произвольный момент времени.

Обязательно содержит начальное состояние q0 и конечное состояние, соответствующее результативной остановке q1.

Работа машины Тьюринга определяется программой, которая состоит из команд 3 форматов (записать символ в ячейку, передвинуться на одну ячейку вправо или влево и установить внутреннее состояние).

qiaqjb - если в состоянии qi наблюдается ячейка с символом а, то перейти в состояние qj  и поместить в данную ячейку символ b

qiaqjbL - если в состоянии qi наблюдается ячейка с символом a, то перейти в состояние qj и поместить в данную ячейку символ b, после чего перейти к обозрению соседней слева ячейки;

qiaqjbR - если в состоянии qi наблюдается ячейка с символом a, то перейти в состояние qj и поместить в данную ячейку символ b, после чего перейти к обозрению соседней справа ячейки;

Функции вычислимые машиной Тьюринга:

В унарной системе счисления числу представляется количеством повторений одного и того же символа.

0 - |  1 - ||   2 - |||  3 - ||||  … n - |||…||| - n+1

Функция называется вычислимой по Тьюрингу , если существует машина Тьюринга с внешним алфавитом Е={a0, |} которая за конечное число шагов, заменяет на ленте список числовых аргументов функции, представленных в унарной системе счисления на значение функции в этой точке, так же в унарной системе счисления, и результативно останавливается.

Пример: сумма вычислима по Тьюрингу

F (x, y) = x+y

По умолчанию  машина Тьюринга начинает работать с левого крайнего символа входных данных, начальная комбинация на ленте  всегда начинается с символа q0.

|||| a0||→|||||

q0                    q1

Машина Тьюринга:

q0| → q0 |R

q0a0q2|R

q2| → q2|R

q2a0q3 a0L

q3| → q4 a0L

q4| → q1 a0L

ПРИМЕР. Рассмотрим три программы машин Тьюринга над алфавитом {a0,a,b}.

 q0aq1b

q0aq0bR

q0aq0bR

q0bq1a

q0bq0aR

q0bq2bL

q0a0q1a0

q0a0q1a0

q0a0q1a0

q2bq2bL

q2a0q1a0R

Первая программа меняет первую букву в данном слове с  a на b и наоборот. Затем машина останавливается на той же позиции. С пустой строкой машина ничего не делает. Если попробовать составить протокол работы машины Тьюринга, то он будет содержать не больше одного пробела.

Вторая программа заставляет машину Тьюринга пройти вдоль всей данной строки и менять все встреченные буквы. Для исходной строки aaba протокол будет выглядеть так:q0aaba bq0aba bbq0ba bbaq0a bbabq0a0  bbabq1a0.

Третья машина меняет все буквы а в начале данной строки на b, пока не встретит символ b. Как только это произойдет, машина

«возвращается» к началу слова. Если символ b так и не будет встречен, машина просто остановится. Для начальной строки aaba протокол будет выглядеть так:q0aaba bq0aba bbq0ba bbq2ba bq2bba q2bbba q2a0bbba q1bbba.

Тезис Черча. В первой половине 20 века были разработаны  некоторые вычислительные модели определяющие один  и тот же  класс вычислимых функций, с помощью которых можно было смоделировать все известные алгоритмы.

Эти модели были названы полными вычислимыми моделями. Тезис Черча утверждает:

«Каждая интуитивно вычислимая функция является частично рекурсивной».

Полная вычислимая модель моделирует все мыслимые алгоритмы . Или класс функций вычислимых с помощью алгоритма в интуитивном смысле совпадает с классом функций вычислимых с помощью полной вычислительной модели.

Этот тезис нельзя доказать, т.к. он связывает нестрогое математическое понятие эффективно вычислимой функции со строгим математическим понятием частично рекурсивной функции. Тезис можно опровергнуть, если построить пример функции эффективно вычислимой, но не являющейся частично рекурсивной.

Определенная функция называется эффективно вычислимой, если существует алгоритм, позволяющий вычислить ее значение. В этом определении алгоритм понимается в интуитивном смысле, поэтому понятие эффективно вычислимой функции также является интуитивным.

2.2. Понятие мультимедиа. Язык HTML как средство создания информационных ресурсов Интернет.

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

В образовании мультимедиа используется для создания компьютерных учебных курсов и справочников, таких как энциклопедии и сборники. Они позволяет пользователю пройти через серию презентаций, тематического текста и связанных с ним иллюстраций в различных форматах представления информации.

Мультимедиа может быть грубо классифицировано как линейное и нелинейное.

Аналогом линейного способа представления может являться кино. Человек, просматривающий данный документ никаким образом не может повлиять на его вывод.

Нелинейный способ представления информации позволяет человеку участвовать в выводе информации, взаимодействуя каким-либо образом со средством отображения мультимедийных данных. Участие человека в данном процессе также называется «интерактивностью». Такой способ взаимодействия человека и компьютера наиболее полным образом представлен в категориях компьютерных игр. Нелинейный способ представления мультимедийных данных иногда называется «гипермедиа».

   

HTML – это специальный язык, на котором описывается как должен быть показан документ на экране компьютера. Самым важным элементом HTML документа является ссылка. Ссылка позволяет передавать управление из одного HTML – документа в другой по контексту.

Документы со ссылками, которые передают управление другим  документам, называются гипертекстами. Можно сказать, что язык HTML – это язык для программирования гипертекста (Hyper Text Markup Language – язык разметки гипертекста).

  HTML-документ – это набор правил показа информации и программы-браузеры для каждой платформы интерпретируют эти правила по единому стандарту. Браузер учитывает особенности компьютера для максимального соблюдения стандарта, HTML-документ ничего о конкретном компьютере не знает.

Типы редакторов HTML:

1.Редакторы типа "что видишь, то и получишь" (MS Publisher). Пользователь не видит кода документа, с которым он работает. Основной недостаток: массивные страницы и проблемы с разными типами браузеров.

2.Редакторы собственно HTML-текстов (Web Editor, HTMLPad, HomeSite ). В процессе работы пользователь видит внутреннее содержание HTML-файла и может изменять его либо вручную, либо вызывая команды меню для вставки определенных элементов HTML.

3.Смешанный тип 1 и 2 (Front Page)

4.Обычный текстовый редактор. Блокнот (Notepad).

Таким образом, мы видим, что HTML- документ представляет собой обычный текстовый файл, интерпретируемый браузером. HTML-документы имеют расширение *.htm или *.html. Так как в некоторый операционных системах не распознаются расширения файлов более 3 символов, то предпочтительнее давать документам расширение *.htm.

Структура HTML - документа

Команды языка HTML называются тегами. Теги заключают в угловые скобки. Как правило теги парные. Первый тег открывает описание команды, определяет ее начало, второй отличающийся от первого косой чертой «/” перед ключевым словом закрывает его. Некоторые тэги не имеют закрывающих тэгов, например тэг <br>, который сообщает браузеру о разрыве строки, или тэг <hr> - рисующий горизонтальную линию.

Тэги могут вкладываться друг в друга, например:<b><i>текст</i></b>. В этом случае важно соблюдать последовательность открытия и закрытия:

<тэг1><тэг2><тэг3>...</закрытие тэга3></закрытие тэга2></закрытие тэга1>

Тег <HTML> должен открывать документ, а тэг </HTML> закрывать.

Между этими двумя основными тегами располагаются головная часть программы (заголовок программы HEAD) и ее тело BODY:

< HTML>

 < HEAD>

      { заголовок страницы }  

  </HEAD>

  <BODY>

      { тело страницы }

  </BODY>

</HTML>

HEAD не является обязательным. Задача заголовка – представление необходимой информации для программы браузера.

Название документа располагается в теге <TITLE></TITLE>. Это название будет показано в строке заголовка браузреа.

BODY В этом разделе документа располагается его содержательная часть. Начинается со слова <BODY> и заканчивается </BODY>. Этот тег может иметь множество параметров, ни один из которых не является обязательным.

Параметр

Назначение

BACKGROUND

Указывает на URL адрес изображения, которое

используется в качестве фонового.

BGCOLOR

Определяет цвет фона документа

ALINK

Определяет цвет активной ссылки

LINK

Цвет еще не просмотренной ссылк

TEXT

Определяет цвет текста

VLINK

Определяет цвет уже просмотренной ссылки.

В языке HTML цвет определяется цифрами в шестнадцатеричном коде. Цветовая система базируется на трех основных цветах – красном, зеленом и синем – и обозначается  RGB. Для каждого цвета задается шестнадцатеричное значение в пределах от 00 до FF, что соответствует диапазону от 0 до 255 в десятичном счислении. Чтобы не запомнить  совокупности цифр, вместо них можно пользоваться названиями цветов. White, red, pink и т.д.

Тэги форматирования текста

Заголовки

Заголовки разделяют  информацию на отдельные части и поэтому существенно улучшают ее восприятие.

Заголовки бывают разными по значению, или как говорят, по уровню. Учебник, например, имеет название – это заголовок первого уровня. Текст в учебнике разбит на главы; названия глав – это заголовки второго уровня. Главы содержат параграфы с заголовками третьего уровня. А параграфы содержат пункты, обозначаемые как заголовки четвертого уровня.

<H1> Заголовок первого уровня </H1>

<H2> Заголовок второго уровня </H2>

….

<H6> Заголовок шестого уровня </H6>

Заголовок первого уровня — самый крупный, шестого уровня, естественно — самый мелкий.

Использовать заголовки  нужно очень аккуратно в соответствии с их логическим уровнем в структуре документа. Не следует использовать эти команды для выделения обычного текста.

  Абзац

Законченную мысль выделяют как абзац. Браузеры отделяют абзац друг от друга пустой строкой (красной строки браузеры не делают).

Абзац задается тегами <P> и </P>. Закрывающийся тег используют редко.

Браузер выполняет команду <P> следующим образом:

-абзац выравнивается по левому краю.

-между словами всегда помещается по одному пробелу независимо от того, сколько пробелов вы поставите в HTML-код.

-перенос текста на новую строку происходит тогда, когда очередное слово не помещается в экранной строке, а не тогда, когда вы перешли на новую строку в HTML-коде.

Тэги <Hn> и <P> могут содержать дополнительный атрибут ALIGN (от английского "выравнивать"),

Тэги  <BLOCKQUOTE>, <CENTER>

Тэг <CENTER> - предназначен для горизонтального выравнивания всех элементов посередине окна просмотра браузера.

Для выделения цитаты из основного текста существует тэг <BLOCKQUOTE>. Текст, размеченный этим тэгом при отображении отделяется от основного текста пустыми строчками и небольшим отступом.

   Перевод строки

При отображение текста, место переноса строки в пределах абзаца определяется автоматически в зависимости от размера окна просмотра. Перенос осуществляется только по символам-разделителям (пробелам).

Если требуется задать принудительный перенос строк, то используется тэг <BR>.

В отличие от тэга <P> не создается пустой строки.

Ссылки на другие документы и файлы

<A href=URL адрес>текст</A>.

Для того чтобы браузер загрузил в свое окно новый HTML-документ, нужно записать в программе ссылку при помощи команды <A > с атрибутом href =имя_файла.

В качестве имени файла можно использовать URL адрес документа. А в нем вы может использовать различные протоколы.




1. Руд был самым жадным из всех форвардов которых я видел
2. Война в Камбодже
3. Реферат- Опыт создания Базы Данных для источников личного происхождения
4. Переговоры1
5. Утверждаю
6. Налоги цена которую мы платим за цивилизованное общество даже самые законопослушные граждане США и стра
7. The Revolution of Morl Consciouness
8. Как возник ЛСД Глава 2
9. Виды государственных облигаций, их функции и значение
10. Тема 3 Правові основи фінансового контролю в Україні 2 год