Программа - Интерпретатор машин Тьюринга и Поста

Учебное пособие. ЮУрГУ, кафедра ЭВМ, 2009. - 64 стр. В пособии рассматриваются общие особенности теории алгоритмов, а также конкретные алгоритмические системы, такие как «Рекурсивные функции», «Машины Поста и Тьюринга», «Нормальные алгоритмы Маркова» и т. п. В соответствии с предметом дисциплины «Математическая логика и теория алгоритмов». Для студентов специальности 230101 («Вычислительные машины, комплексы, системы и сети») и направления 01040...

Учебное пособие. – Ульяновск: УлГТУ, 2003. Изложены основные понятия формальных грамматик, приведены синтез абстрактного и структурного конечных цифровых автоматов. Рассмотрены работы машин Тьюринга и сетей Петри. Предназначена для студентов специальности 200700 «Радиотехника», 220100 «Вычислительные машины, комплексы и системы связи», 200900 «Сити связи и системы коммутации».

Учебное – практическое пособие для студентов специальностей 2202 и 2713 всех форм обучения Содержание. Множества. Определения и обозначения. Операции над множествами. Свойства операций. Мощность множества. Прямое произведение множеств. Вопросы для самоконтроля по теме. Тест по теме. Отношения, функции, алгебраические. структуры, морфизмы. Бинарные отношения. Функции. Алгебраические структуры и морфизмы. Вопросы для самоконтроля по теме. Тест по...

Уфимский государственный авиационный технический университет, 2009 год. Комбинаторика. Теория графов. Метод резолюций. Машины Тьюринга.

Комбинаторика. Теория графов. Метод резолюций. Машины Тьюринга.

Учебник. Часть XI. Костенко К. И. ФКТиПМ, КубГУ, с. 31 Содержание: Продукционные системы - продукции и системы поста - вычисления в системах поста - свойства выводов в продукционных системах - решение задач в продукционных системах - построение выводов в системах поста - свойства множеств выводимых слов - функции, вычисляемые системами поста

Автор Д. Ицыксон (ПОМИ РАН), 2008. - 91 с. План. O-символика и ассимптотические классы функций Машины Тьюринга Элементы теории вычислимости: разрешимые перечислимые языки Булевы функции и пропозициональные формулы.

Элементы модели алгоритма. Машина Тьюринга имеет 3 алфавита. Правила работы машины (правила обращения УУ с программой и СЗУ ). Замечания. Пример (Пусть программа машины Тьюринга имеет вид, Предъявим машине ленту, которую она воспринимает в состоянии q1).

М.: ФИЗМАТЛИТ, 2000. — 128 с. В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены буле...

Учебное пособие. Российск. госуд. откр. техн. ун-т путей сообщ. М. : 2002г. - 89 c. Дается представление о разделах дискретного анализа, использующихся в современных компьютерных технологиях. Особое внимание уделено понятиям нечеткой математики и сфере их применения. Содержание: Введение. Булевы алгебры. Алгебра высказываний. Алгебра предикатов. Правила логического вывода. Нечеткие множества и нечеткая логика. Четкие и нечеткие отношения. Четк...