Ответы на билеты за 2008 год (doc) / Билет13

Билет№13. Дайте определение конечного автомата. Объясните, как автоматы изображаются графически. Что такое изоморфные автоматы? Приведите пример 2 неизоморфных автоматов с одинаковым числом состояний.

Конечные автоматы – довольно простой тип автоматических устройств, реакция которых на входные символы определена не только самими этими символами, но и некоторой конечной памятью о ранее происшедших событиях.

Определение: всякий такой автомат задаётся тремя множествами:

-Q={qo,q1…qn} – множество состояний автомата; q0 – нач сост

-X={x1,x2..xn} – множество входных

-Y={y1,y2…yn} – множество выходных символов

И двумя функциями:

- фи(q,x) – ф-ция переходов автомата (если авт. Нах в q и на вход поступ x, то авт перех в фи

- - ф-ция выходов.

Работа всякого автомата развёртывается в дискретно меняющемся времени.

Фи и поределена на одном и томже конечном множ, поэтому каждая из них задаётся некоторой таблицей.

Графически автоматы задаются с помощью графов.