Wikipédia

„Determinisztikus véges állapotú gép” változatai közötti eltérés

Laptörténet interaktív böngészése
[nem ellenőrzött változat][nem ellenőrzött változat]
← Régebbi szerkesztésÚjabb szerkesztés →
Tartalom törölve Tartalom hozzáadva
VizuálisWikiszöveges
33. sor:
A következő példa azt mutatja, hogyan tudja az ''M'' automata, amely egy bináris ábécé-vel dolgozik, felismerni azt, hogy a bemeneti stringben páros számú 0 karakter van-e.
 
''M'' = (''S'', Σ, ''T'', ''s'', ''A''), ahol
*Σ = {0, 1},
*''S'' = {''S''<sub>1</sub>, ''S''<sub>2</sub>},
*''s'' = ''S''<sub>1</sub>,
*''A'' = {''S''<sub>1</sub>}, andés
*A ''T'' átmeneti függvényt a következő [[állapot átmenetiállapotátmeneti tábla]] határozza meg:
{| border="0" cellpadding="1" align="center"
48. sor:
|}
 
''M'' [[állapot diagrammállapotdiagram]]ja :
 
:[[Kép:DFA.png]]
 
Jól látható, hogy az ''S''<sub>1</sub> állapot felel meg annak a helyzetnek, amikor páros számú 0 érkezett eddig a bemeneten, míg ''S''<sub>2</sub> jelzi a páratlan számú 0-t. Egy 1-es érkezése az bemenetre nem változtatja meg az automata aktuális állapotát, és amikor a bemenet elfogyott, az automata állapota mutatja, hogy a bejövő string páros számú 0-t tartalmazott, vagy nem.
 
''M'' nyelve egy [[szabályos nyelv]]vel írható le, egy adott [[szabályos kifejezés]] segítségével:
A lap eredeti címe: „https://hu.wikipedia.org/wiki/Determinisztikus_véges_állapotú_gép”