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

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Korrektúra kész.
Peti610bot (vitalap | szerkesztései)
Bot:, Replaced: ... → … (3)
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 a átmenetek
''r<sub>0</sub>, r<sub>1</sub>, ..., r<sub>n</sub>'' sorrendje a követekező feltételekkel:
# ''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;
# ''r<sub>n</sub>'' ∈ ''A''.
 
74. sor:
* [[Turing-gép]]ek
 
[[Kategória:számítógépSzámítógép-tudomány]]
[[Kategória:formálisFormális nyelvek]]
 
[[en:Deterministic finite-state machine]]