Теория вычислительных процессов
Основные понятия теории вычислимости и разрешимости. Способ вычисления функций с помощью машины Тьюринга. Конечные детерминированные полностью определённые одноленточные автоматы, алгоритм проверки эквивалентности. Стандартные, рекурсивные схемы программ.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | методичка |
| Язык | русский |
| Дата добавления | 01.02.2013 |
| Размер файла | 106,3 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Ограниченность метода дерева достижимости. Как видно из предыдущего, дерево достижимости можно использовать для решения задач безопасности, ограниченности, сохранения и покрываемости. К сожалению, в общем случае его нельзя использовать для решения задач достижимости и активности, эквивалентности. Решение этих задач ограничено существованием символа . Символ означает потерю информации: конкретные количества фишек отбрасываются, учитывается только существование их большого числа.
Рекомендуемая литература
1. А.В.Гордеев, А.Ю.Молчанов. Применение сетей Петри для анализа вычислительных процессов и проектирования вычислительных систем: Учебное пособие. - Л.: ЛИАП, 1993. - 80 с.
2. Единая система программной документации. - М.: Издательство стандартов, 1998. - 164 с.
3. Клочко В.И. Теория вычислительных процессов и структур: Учебное пособие. - Краснодар: Изд-во КубГТУ, 1999. - 118 с.
4. Котов В.Е., Сабельфельд В.К. Теория схем программ. - М.: Наука. Гл. ред. физ.-мат. лит., 1991. - 248 с.
5. Котов В.Е. Сети Петри. - М.: Наука. - 1984. - 160 с.
6. Непомнящий В.А., Рякин О.М. Прикладные методы верификации программ/ Под ред. А.П. Ершова. - М.: Радио и связь, 1988. - 256 с.
7. Питерсон Дж. Теория сетей Петри и моделирование систем. - М.: Мир. 1984. - 264 с.
8. Синтез цифровых автоматов: Учебное пособие / Н.Г.Захаров, В.Н.Рогов - Ульяновск: УлГТУ, 2003. - 135 с.
9. Системное программное обеспечение / А.В.Гордеев, А.Ю.Молчанов. - СПб.: Питер, 2003. - 736 с.: ил.
10. Соколов А.П. Системы программирования: теория, методы, алгоритмы: Учеб. пособие. - М.: Финансы и статистика, 2004. - 320 с.: ил.
11. Соколов А.П. Теория вычислительных процессов и структур. - М.: МО РФ, 1999. - 171 с., ил.
12. Хоар Ч. Взаимодействующие последовательные процессы. - М.: Мир, 1988. - 264 с.
Размещено на www.allbest.
Подобные документы
Более строгое описание алгоритма, чем общее или формализация понятия алгоритма. Три подхода к формализации: теория конечных и бесконечных автоматов, теория вычислимых (рекурсивных) функций и л-исчисление Черча. Воображаемые машины Поста и Тьюринга.
реферат [370,0 K], добавлен 09.02.2009Простое вычислительное устройство машина Тьюринга и ее алгоритмические свойства. Тезис Черча–Тьюринга и моделирование машины Тьюринга (операции перезаписи ячеек, сравнения и перехода к другой соседней ячейке с учетом изменения состояния машины).
контрольная работа [23,3 K], добавлен 24.04.2009Принципы работы и основы программирования машины Тьюринга, а также перечень правил написания алгоритмов на ее эмуляторе. Особенности решения задачи по сложению нескольких чисел в двоичной системе путем реализации ее алгоритма на эмуляторе машины Тьюринга.
контрольная работа [82,4 K], добавлен 05.12.2010Принципы разработки математических моделей, алгоритмов и программ. Составление программы вычисления функции с использованием нестандартных функций. Нахождение значения корней нелинейного уравнения по методу касательных. Программа для вычисления интеграла.
курсовая работа [568,3 K], добавлен 07.03.2015Нормальный алгоритм Маркова. Тезис Маркова и машина Тьюринга. Гипотеза теории алгоритмов. Алгоритмически неразрешимые проблемы. Задача эквивалентности двух слов в ассоциативном исчислении. Задача распознавания выводимости. Линейная оценка сложности.
методичка [57,0 K], добавлен 06.07.2009Происхождение и сущность понятия "алгоритм". Основные требования к алгоритмам. Роль абстрактных алгоритмических систем. Алгоритм как абстрактная машина. Алгоритмическая машина Поста. Схема логического устройства и функционирования машины Тьюринга.
реферат [62,2 K], добавлен 16.03.2011Сущность, понятие и назначение квантового комп’ютера; его использование для вычисления процессов квантовой природы. Физические системы, реализующие кубиты. Упрощённая схема вычисления на квантовом компьютере. Тезис Черча-Тьюринга. Алгоритм Deutsch-Josza.
реферат [122,6 K], добавлен 10.11.2014Методика разработки программы, предназначенной для разбора предложения с помощью многоленточной машины Тьюринга. Цели и назначение данной системы, основные требования, предъявляемые к ней. Организационно-исполнительные работы по содержанию системы.
курсовая работа [386,8 K], добавлен 16.12.2010История развития средств вычислительной техники. Машина Тьюринга: понятие и свойства. Теория переменных и типов данных в ANSI C. Обменные сортировки, их виды. Исходный, объектный и машинный код. Функции компилятора и линковщика. Рекурсивные алгоритмы.
шпаргалка [432,5 K], добавлен 04.05.2015Положения машины Тьюринга. Алгоритмически неразрешимые проблемы: "остановка", эквивалентность алгоритмов, тотальность. Свойства алгоритма: дискретность, детерминированность, результативность, массовость. Выбор структуры данных. Решение на языке Haskell.
курсовая работа [957,6 K], добавлен 16.11.2013