Глава 1. АБСТРАКТНЫЙ АВТОМАТ

Абстрактным автоматом называют математическую модель дискретного устройства, имеющего один входной канал, куда поступают последовательности символов какого-либо языка, один выходной канал, с которого снимают последовательности символов какого-либо другого языка и находящегося в каждый из моментов дискретного времени в каком-либо состоянии. Графически абстрактный автомат представлен рис. 1.1.

Рис. 1.1. Абстрактный автомат.

Слова входного языка можно представить символами множества X={x₁,x₂,...x_n}, который называют входным алфавитом, а слова выходного языка - символами множества Y={y₁,y₂,...y_p}, который называют выходным алфавитом. Множество состояний автомата Q={q₁,q₂,...q_m} называют алфавитом состояний. С позиции формальных языков множество Q есть множество нетерминальных символов, а множества X и Y - множества терминальных символов [4].

Дата добавления: 2015-07-26; просмотров: 153; Нарушение авторских прав

Мы поможем в написании ваших работ!