véges állapotú automaták

Az állam gép (a továbbiakban: SC) - Kivonat A számítástechnikai eszköz egy rögzített és véges mennyiségű memóriát, hogy kiolvassuk a bemeneti a lánc (a szimbólumok sorozatát egy ábécé), és a kimeneti jel azt adja, hogy ezek egy olyan sokaságát, amelyek úgy készülnek, hogy felismerik.

A működési elve áííapotgép különböző szinteken széles körben használják a számítástechnikai eszközök mind a hardver és szoftver szinten: a fordítóprogramok, fordítók programokat, a különféle jeladók, antivírus szoftver, stb Elvileg a működését bármilyen program lehet bemutatni a munka egy lánc áííapotgép különböző összetettségű. Tekintsük épület egy egyszerű CA - felismerők. A következő paramétereket kell meghatározni az építés során egy ilyen véges állapotú gép:

a) egy bemeneti ábécé V véges automata (véges halmaza a bemeneti jelek, amelyek felismerik CA);

b) egy véges halmaza S;

c) a kiindulási állapotban az AC - S0 (állam, ahonnan űrhajók azonnal elindítja a folyamatot egy új lánc);

d) több elfogadó államok - SDOP (a részhalmazát Államokban, amely összehasonlítva az elemek a SC eléri az állam csatlakozás után a „vége lánc” szimbólum);

e) átmeneti asztal (vezérlési táblázat), amely egy pár „jelenlegi állapotában - a bemeneti szimbólum” hozzárendel egy új állapotában a szonda a S halmaz Államok).

1 készlet a bemeneti jelek szükségszerűen tartalmaznak egy speciális szimbólum „a lánc végén”, amely azt mondja, az űrhajó, amely elérte az állam si összehasonlítani az elemeket SDOP és ha si Î SDOP. kihagyja a lánc; egyébként a lánc utasítani. A szövegben ez a karakter fog kinézni - |.

SC mindig indul a kezdeti állapot s0. Szimbólumok felismerhető karakterenként húr kapott az első és a megváltozott állami űrhajó szerint a folytatásban asztalra. Kézhezvételét követően a „vége lánc” szimbólum automatikusan elért állapotban van rögzítve, és összehasonlítottuk a készlet elfogadó államok. Ezen összehasonlítás alapján, a lánc engedélyezni vagy tiltani. Valójában az űrhajó szűrőként működik, amely átmegy a „megfelelő” a lánc. Egy másik értelmezés a SC - kompakt algoritmus elismerése rendszeres, beleértve végtelen halmazok, amely épít a programozó kódolására az elején (a végrehajtás az algoritmus egy adott programozási nyelv).

Építőipari űrhajó felismerni egy előre meghatározott húrok - egy kreatív folyamat, és az ellentmondásos. Elméletileg felismerni ugyanazokat a húrok, akkor lehet építeni végtelen számú műholdat. A fenti elv nem alkalmazható elismerést minden szabályos készlet. Ez érvényes a következő esetekben:

- felismerhető láncok tartalmazzák bizonyos kombinációi szimbólumok az elején, végén, vagy (ii) a közepén a lánc;

- felismerhető láncok tartalmaznak egy korlátozott számú ismétlések egyes karakterek vagy ezek kombinációi (nem több, mint n; pontosan n, ahol n jelentése nem kisebb, mint n = 1,2,3.);

- felismerhető láncok tartalmaznak egy tilalmat bizonyos kombinációi szimbólumok elején vagy végén (ek) a láncban;

- felismerhető láncok kombinációját tartalmazza, amelyek a fenti korlátozások. (További részletek - lásd DM előadás.).