Nu aveti permisiuni pentru a descarca fisierul grader_eval.cpp
Inverseaza reviziile

Diferente pentru automate-finite-si-kmp intre reviziile #43 si #44

Diferente intre #42 si #43

Nu exista diferente intre titluri.

Diferente intre continut:

* $k = 2; δ(2, b) = 0;$
* $k = 0; δ(0, a) = 1;$
* $k = 1; δ(1, b) = 1;$

* $k = 2; δ(1, a) = 3;$

* $k = 1; δ(1, a) = 3;$

Daca ultima stare obtinuta $q{~k~}$ apartine {$A$}, atunci spunem ca automatul accepta stringul. Altfel spus, daca avem stringul {$s$}, {$lungime(s) = n$}, automatul accepta stringul daca si numai daca $δ( ... δ( δ(0, s{~1~}), s{~2~} ) ..., s{~n~} )$ apartine {$A$}.

Nu exista diferente intre securitate.

Topicul de forum nu a fost schimbat.