4)Двойная память.

T

си

р

Q

y

си p y

x

p +

p _

си- сигнализирующие сигналы;

Двойная память позволяет 100% -но избавиться от гонок!

14Абстрактный автомат и способы его задания.

Автоматы: 1)расспознователи (опр. принадлежит ли подмножество поданных на вход сигналов заданному мн-ву слов).

2)преобразователи;(Преобразуют исходное мн-во входн. слов,записанных в конечном автомате в мн-во выходн. Слов представленных либо в том же, либо в другом конечном автомате.

Пример расспознователя: я- I,ты-You,вы-You…

Арифм оператор –правило по кот. Производиться отображение слов, заданных в другом алфавите. Каждый символ любого слова поступает в определённый момент времениt={t1,t2,…,tn}. Каждый входной символ опред-ся не только тем, входным символом,в данный момент времениt, но и всеми символами, которые поступили ранее=>преобразователь должен обладать памятью.Преобразователь инф-ии, способный воспринимать входные сигналы, вызывать соответствующие им вых. сигналы,наз-сяавтоматом. Если число состояний автомата конечно, то такой автомат наз-ся конечным.конечные автоматы бывают структурными и абстрактными.

X

преобразователь

={x1,x2,x3};Y={y1,y2,y3}

(1)

Z W

……

……

Будем считать, что символы являются элементами алфавита нашего преобразователя Z={,,,…,}.Аналогичную процедуру можно произвести выходными символами

……

W={,,,…,}.

Эта мат модель и есть абстрактный автомат, т.к. она не зависит от конкретной технической реализации. (1)-структурный автомат :конкретное устройство, реализованное в заданном элементарном базисе.

Абстрактный автомат описывается 6-ю параметрами:

S={Z,W,A,};

Z={,,,…,}.

W={,,,…,}.

A={,,,…,}.

-начальное состояние;

-ф-ия входов;

-ф-ия выходов;

В зависимости от ф-ий выходов и переходов различают два типа автоматов:

Автомат первого рода (Мили)

Автомат второго рода (Мура)

Правильный автомат второго рода (Мура)

Входные сигналы зависят только от того состояния, в которое автомат переходит, не зависит от того, каким путём.

6Детерминированность и способы задания мт.

Совокупность операций dk={L,R,E} наз-ся действием (шагом МТ). Под детерминированностью понимается фиксация нового состояния и нового символа МТ в процессе вып-я каждого элементарного действия. И новый символ и новое состояние опр-ся с помощью логической ф-ии. Лог. ф-ией МТ ставит в соответствие паре параметров qi Sj тройку параметров (Sj’,qi’,dk).Мн-во A={l,R,E,q1,q2,…,qn} наз-ся внутренним алфавитом МТ, мн-во S-внутренний алфавит.

3-и способа задания МТ:

1)С помощью функциональной схемы (таблицы строки которой отмечены символами входного алфавита).На пересечении qi столбца и Sj строки записывается тройка символов (qi’,Sj’,dk).

Пример: Табл.1

	q1	q2	…	qn
S1
S2		q7S8R
…
Sn

2)Система Тьюринговых команд вида:

(qi,Sj)(qi’,Sj’,dk);

3)Описание в виде графа, в узлах которого записываются состояния перехода, а на рёбрах, обозначающих переход- выр-е: SjSj’dk.Тогда граф заданный в табл1 будет выглядеть так:

S2S5R