„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
a r2.7.1) (Bot: következő hozzáadása: ca:Autòmat finit determinista |
|||
17. sor:
* (''A'' ⊆ ''S'') az [[elfogadó állapot]]ok halmaza.
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
''r<sub>0</sub>, r<sub>1</sub>, …, r<sub>n</sub>'' sorrendje a követekező feltételekkel:
# ''r<sub>0</sub>'' = ''s'';
|