Nu aveti permisiuni pentru a descarca fisierul grader_test11.in
Diferente pentru automate-finite-si-kmp intre reviziile #42 si #44
Nu exista diferente intre titluri.
Diferente intre continut:
h1. AK47finite si KMP
h1. Automate finite si KMP
(Categoria _Algoritmi_, Autor _Adrian Vladu_)
* $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$}.
