„Determinisztikus véges állapotú gép” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
→Formális meghatározás: Te jó ég, hát persze, hogy nem lehetett így érteni! Kijavítottam a formális meghatározást. |
|||
18. sor:
Legyen '''M''' egy DFA, amelynél '''M''' = (''S'', Σ, ''T'', ''s'', ''A''), és ''X = x<sub>0</sub>x<sub>1</sub> … x<sub>n</sub>'' a Σ ábécéből alkotott string. '''M''' elfogadja az ''X'' stringet, ha létezik ''S''-ben az átmenetek
''r<sub>0</sub>, r<sub>1</sub>, …, r<sub>n</sub>'' sorrendje a
# ''r<sub>0</sub>'' = ''s'';
# ''r<sub>i+1</sub>'' = ''T''(''r<sub>i</sub>'', ''x<sub>i</sub>''), minden ''i'' = ''0, …, n-1''-re;
|