РГР по мат логике (Курсовая работа по предмету Математическая логика)

Пономарев В. Ф. Модели вычислительных алгоритмов внутренняя и внешняя среда на примере магазина учебное пособие. – Калининград, 1998, с. 85. .Таблица поведения. q | # ) iq q#п – – 01q q|п q)л q)п 1121q q|л q#п q)л 2232q q#п – q#п 314q q|п q#л q)п 4454q q#л – q#л 556q q|л q#п q#л 6676q q|с – – 7к 1.2 таблица поведения. q | # ) iq q|п – – 01q q|п q)п – 112q q|п q#п – 232q q|п q)л – 334q q|л q#п – 445q q#л q#л q)п 5557q q|п q#л – 676q q|п q|п – 778q q#л q#п q#л 8689q q|л q#л q#л 99910q q|л q#п – 101011q q|c – – 11k4.2.

Таблица поведения. q | # ) iq q|л – – 01q – q)п – 12q q|п q#п – 223q q|п q#п – 343q q|п q)л – 445q q|л q#п – 556q q#л – – 67q q#л q#л q)п 78712q q|п – q)п 8912q q#л q#п q#л 97910q q|л q#л q#л 10101011q ...#п – 11k11q – q|п – 1213q q#п q#п q#л 13131310 3.2 Сложение третьего (до введения счетчиков – второго) и последнего слов. 2xystxst+yq q 0 |# |# |#…# |#|#k |#…#…# |#|# 2.1. Таблица поведения. q | # ) ( iq q#п – – – 01q q|п q)л q)п – 1121q q|л q#п q)л – 2232q q#п – q(п – 314q q|п q#п q)п – 4454q q|п q#п – – 565q q|п q(л – – 667q q|л q#л q)п q)л 77787q q|п q#л – – 889q q#п – q#п – 91012q q|п q#п – q(п 10101011q q|п q|л – – 11117q q|п q#п – q#л 12121213q q|л q#л q#л q#п 1313131314q q|c – – – 14к 2.2 анализ внешней среды предприятия на примере магазина Удаление пятого (до введения счетчиков – третьего) слова. 42xyzst2xyst q q 0 |# |# |# |# |# |#|#k |# |# |#…# |#|# 1.1.

Удаление пробелов между первым и вторым словами. xt+yx–st+yесли x>s, то q q 0 |#…#…#…#|# k |#|# xt+y t+yесли x≤s, то q q 0 |#…#…#…#|# k |#|# 4.1 правила общения воспитателя с ребенком усеченное вычитание первого и второго слов (от первого отнимаем второе). xst+yx–st+yесли x>s, то q q 0 |#…#…# |#|# k |#…#…#…#|# xst+y t+yесли x≤s, то q q 0 |#…#…# |#|# k |#…#…#…#|# 3.1 граф. | / |л or ) / )л | / |п or ) / )п | / #п # / )л ... 012 | / |п or ) / )п | / #п # / #п | / #л ) / #п # / #л ... 543 ) / #л | / |c # / #п ... 67k | / |л or ) / #л 5 2 граф. # / #п | / |п | / |п # / )п | / |п | / |п ... 0123 | / #л or # / #л | / |п # / #л # / )л | / |п # / #п ... 7654 ) / )п # / |п | / #л | / |л ) / #л ) / #л # / #п ... 891011 | / |c # / #п | / |л or # / #л | / |л q k 8 Композиция машин Тьюринга Выполним композицию машин для решения задачи xyzstx-sy+t q q0 |# |# |# |#|#k |# |# 1.1.

Граф. # / #п | / |п | / |п # / )п | / |п | / |л # / #п ... 01234 # / #п # / )л # / #л | / #л | / #л | / |п | / #л # / #п ... 98765 ) / )п | / #п or # / #п ) / #л ) / )п | / |л # / #п ) / #л # / |п ... 10111213k | / |c | / |л or # / #л ) / #л 7 4. Граф. | / |л or ) / )л | / |п or ) / )п | / #п # / )л # / )л ... 0123 ) / (п | / |л or ( / )л or # / #л | / #п # / |п # / )л # / #п ... 4765 | / |п | / |п or ) / )п ) / )п # / |л # / #п | / |п | / |п or # / #п | / |п | / #п # / #л ... 891011( / (п ) / #п | / |c ( / #п ( / #п ... к141312 | / |п or # / #п | / |л or ) / #л or # / #л 6 3. Для большей наглядности снабдим состояния типовых машин Тьюринга дополнительными верхними индексами (значение верхнего индекса состояния машины совпадает с номером соответствующего пункта в разделе "Типовые машины Тьюринга"). 9 q | # ) ( i1 1qq#п – – – 011 111qq|п q)л q)п – 11211111q q|л q#п q)л – 2232111q q#п – q#п – 3141111q q|п q#л q)п – 4454111q q#л – q#л – 5561111q q|л q#п q#л – 667612q q#п – – – 712222q q|п q)л q)п – 11212222q q|л q#п q)л – 2232222q q#п – q (п – 3142222q q|п q#п q)п – 4454222q q|п q#п – – 565222q q|п q (л – – 66722222q q|л q#л q)п q)л 77787222q q|п q#л – – 889222q q#п – q#п – 910122222q q|п q#п – q (п 10101011222q q|п q|л – – 111172222q q|п q#п – q#л 1212121322222q q|л q#л q#л q#п 131313131423q q|л – – – 14133q – q)п – – 12333q q|п q#п – – 223333q q|п q#п – – 343333q q|п q)л – – 445333q q|л q#п – – 55633q q#л – – – 673333q q#л q#л q)п – 78712333q q|п – q)п – 89123333q q#л q#п q#л – 979103333q q|л q#л q#л – 10101011343q q|п q#п – – 1111133q – q|п – – 12133333q q#п q#п q#л – 13131310444q q|п q)п – – 112444q q|п q#п – – 232444q q|п q)л – – 334444q q|л q#п – – 4454444q q#л q#л q)п – 5557444q q|п q#л – – 676444q q|п q|п – – 7784444q q#л q#п q#л – 86894444q q|л q#л q#л – 99910444q q|л q#п – – 1010114q q|c – – – 11k 10 Список использованной литературы 1 .

... Индивидуальное задание по математической логике и теории алгоритмов №4 на тему: «Машина Тьюринга» Вариант 8 Работу принял: Работу выполнил: к. т. н., профессор студент группы 02–ВС Пономарев Вениамин Федорович Зубаков Александр Николаевич дата____________________ дата____________________ подпись_________________ подпись_________________ Калининград 2004 2 Содержание Задание.................................................................................................................................................3 Типовые машины Тьюринга.............................................................................................................4 Список использованной литературы............................................................................................10 3 Задание Для xyzstx-sy+t q q0 |# |# |# |#|#k |# |# 1) выделить типовые машины Тьюринга, реализующие служебные и базовые функции; 2) для каждой машины Тьюринга составить таблицу поведения и нарисовать граф; 3) выполнить композицию машин Тьюринга, составив схему соединения и обобщенную таблицу поведения; 4) "усеченное вычитание" выполнить для x>s и x≤s. 4 Типовые машины Тьюринга Для выполнения поставленной задачи необходимо изменить содержание информационной ленты – добавить 2 счетчика для поиска необходимых слов. 42xyzstq 0 |# |# |# |# |# |#|# 1 .

.

. . отчет по учебно ознакомительной практике менеджмент организации .

. . . .

. .

. .

. .

. .

Смотрите так же :

1. сестринский процесс при патологии сердечно сосудистой системы
2. решение сестринского процесса при патологии эндокринной системы
3. предмет и объект теории государства и права