Синтез цифровых автоматов. Захаров Н.Г - 128 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

127
Приложение 1
Теория автоматов относится к одному из разделов кибернетики, объектом ис-
следования которого является информация. Для описания процессов преобразования
информации в автоматах используется специальный математический аппарат логиче-
ской алгебры и различных ее модификаций, в том числе логико-алгебраических мо-
делей (моделей логической алгебры). Автоматы обычно описываются на основе лин-
гвистической концепции (построения автоматно-лингвистических моделей) и теоре-
тико-множественного подхода (построенная модель рассматривается как некоторая
совокупность операций над множествами). Автоматные и лингвистические модели
строятся на базе теории формальных грамматик.
Согласно лингвистической концепции автомат представляется в виде некото-
рого устройства, определяющего допустимость подаваемых на его вход слов в соот-
ветствии с заложенными в него правилами. Поэтому автоматы могут быть интерпре-
тированы как распознающие устройства, которые определяют допустимость входных
слов с позиций заложенных в них грамматик.
1. Грамматика
Язык. Язык задается следующим образом:
1) фиксируется алфавит как набор символов (букв);
2) определяются правила, как из букв образовывать выражения (слова).
Правила, определяющие предложения языка, называют его грамматикой, а
комбинации символов, образующие грамматические единицы, – фразами языка.
Среди фраз выделяют имена, предложения и функторы. Имя называет некото-
рый объект. Предложение выражает утверждение. Функтор – это средство соедине-
ния фраз с целью образования других фраз.
Основные виды функторов: операторы (преобразуют имена в имена); глаголы
(преобразуют имена в предложения); коннекторы (преобразуют предложения в пред-
ложения). Некоторое употребление функторов представлено в таблице.
Таблица
Употребление функторов
Функтор Обозначение Смысловое значение
Бинарные
коннекторы
→
Если _________
1
, то _________
2
→
←
_____
1
тогда и только тогда, когда ____
2
или _____
1
или ____
2
и _____
1
и ____
2
| _____ утверждается Унарные
глаголы
| _____ отвергается
≡
_____
1
, есть то же самое, что ____
2
= _____
1
равно _____
2
≤
_____
1
предшествует _____
2
Бинарные
глаголы
⊆
_____
1
включено в _____
2

Страницы