Автономный вероятностный автомат общего вида

Пусть известны

1. , где

2. По матрице происходит розыгрыш состояния

3. По состоянию происходит выбор из матрицы буквы н

Вероятность выходных букв определяется так, если подано слово длиной k:

где - начальный вектор состояний.

Вероятность появления выходной буквы под действием входной буквы:

Примеры:

X=(X₁, X₂) – входной алфавит из двух букв

S=(S₁, S₂) – множество состояний

Y=(Y₁, Y₂, Y₃) – выходной алфавит

- функция перехода

- матрица букв.

Нарисуем диаграмму перехода автомата из одного состояния в другое.

U=X₂X₁X₁ – входное слово.

T₀ T₀+1 T₀ T₀+1

X₂ X₁ X₁

Для функции перехода: U=X₂X₁X₁ – слово =P_x2P_x1P_x1

Посчитаем вероятность выходной буквы y₁ после двух тактов:

Типовая модель сетевой системы. Сети Петри.

Ø Асинхронность

Ø Параллельность

· Циклы

· Тупик процессов

· Конфликт процессов

, где

Р – множество позиций

Т – множество переходов

I – функция входа

Q – функция выхода

Комплект позиций – это совокупность неповторяющихся элементов.

- здесь повторения допустимы.