
- •Логические связки
- •Логические операции
- •Логическая формула
- •Логические выражения и таблицы истинности
- •Алгоритм построения таблицы истинности:
- •Логические законы.
- •Упростите логические формулы.
- •Логические функции.
- •Логические основы компьютеров.
- •Представление информации в пк.
- •Сложение и вычитание в сс.
- •Сумматор двоичных чисел.
- •Триггер.
- •Абстрактное определение булевых функций.
- •Применение булевых функций к релейно-контактным схемам
- •Двоичный полусумматор
- •Шифратор и дешифратор
- •Марковские подстановки
- •Лямбда исчислений без типов
- •Абстракция
- •Редукция. Вычисление термов
Шифратор и дешифратор
Человек привык оперировать с числами в десятичной системе счисления. Для ЭВМ более удобна двоичная система. Поэтому важную роль в ЭВМ играют устройства, обеспечивающие взаимопонимание человека и машины, т.е. устройства, переводящие информацию с языка человека на язык машины и обратно. Такими устройствами являются, например, шифраторы, осуществляющие перевод чисел из десятичной системы в двоичную, и дешифраторы, осуществляющие обратный перевод. Покажем, как конструируется шифратор. Имеется следующее соответствие между десятичной и двоичной записями:
Каждую
колонку из нулей и единиц в правом
столбце таблицы можно мыслить себе как
колонку значений одной из булевых
функций:
.
Нужно лишь отчетливо усмотреть булеву
(т.е. двузначную) природу ее аргументов.
В самом деле, можем считать, что каждая из этих функций зависит от десяти аргументов
Причем зависимость следующая (она обусловлена предыдущей таблицей соответствий):
19.03.14
Машина Тьюринга есть математическая (воображаемая) машина, а не машина физическая. Она есть такой же математический объект, как функция, производная, интеграл, группа и т.д. И так же как и другие математические понятия, понятие машины Тьюринга отражает объективную Реальность, моделирует некие реальные процессы. Именно Тьюрингг предпринял попытку смоделировать действия математика (или другого человека), осуществляющего некую умственную созидательную деятельность. Такой человек, находясь в определенном 'умонастроении» («состоянии»), просматривает некоторый текст. Затем он вносит в этот текст какие-то изменения, проникается новым «умонастроением» и переходит к просмотру последующих записей.
Машина Тьюринга действует примерно так же. Ее удобно представлять в виде автоматически работающего устройства. В каждый дискретный момент времени устройство, находясь в некотором состоянии, обозревает содержимое одной ячейки протягиваемой через устройство ленты и делает шаг, заключающийся в том, что устройство переходит в новое состояние, изменяет (или оставляет без изменения) содержимое обозреваемой ячейки и переходит к обозрению следующей ячейки — справа или слева. Причем шаг осуществляется на основании предписанной команды. Совокупность всех команд представляет собой программу машины Тьюринга.
Машина О располагает конечным числом знаков (символов, букв), образующих так называемый внешний алфавит А = (аь, ан ..., а„). В каждую ячейку обозреваемой ленты в каждый дискретный момент времени может быть записан только один символ из алфавита А.
Лента предполагается неограниченной в обе стороны, но в каждый момент времени на ней записано конечное число непустых букв. Каждый момент времени на ней записано конечное число непустых букв.
В одном состоянии из конечного числа внутренних состояний, совокупность которых 0 = (аь, йь ..., а ). Среди состояний выделяются два — начальное а, и заключительное (или состояние остановки) аь. Находясь в состоянии йн машина начинает работать. Попав в состояние аь, машина останавливается.
начальное а
и заключительное (или состояние остановки) аь.
Работа машины О определяется лровраммой
Программа состоит из команд. Каждая команда ТЯ Т) (1= 1, 2, ..., т; /= О, 1, ..., л) представляет собой выражение одного из следующих видов:
Д,аг ~ й«а, С; й;ав -» й«а, П; а,а~ -+ а«а~ Л, (32.1) где О < й < т; О < к< л. В выражениях первого вида символ С будем часто опускать.
02.04.14