Nu aveti permisiuni pentru a descarca fisierul grader_test18.in
Diferente pentru automate-finite-si-kmp intre reviziile #44 si #42
Nu exista diferente intre titluri.
Diferente intre continut:
h1. Automatefinite si KMP
h1. AK47 finite si KMP
(Categoria _Algoritmi_, Autor _Adrian Vladu_)
* $k = 2; δ(2, b) = 0;$ * $k = 0; δ(0, a) = 1;$ * $k = 1; δ(1, b) = 1;$
* $k =1; δ(1, a) = 3;$
* $k = 2; δ(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$}.
