www.spargalkes.lt

DIAGNOSTINIAI EKSPERIMENTAI DVIEM BŪSENOMS

Tegu automatas M turi n būsenų. Galimų pradinių būsenų aibė A(M) turi dvi būsenas S_i0 ir S_j0, t.y. A(M)={S_i0,S_j0}. Kadangi automatas minimalus, tai būsenos S_i0 ir S_j0 yra atskiriamos. Šios būsenos yra (n-1) atskiriamos. Todėl egzistuoja (n-1) ilgio arba trumpesnė įėjimo seka, kurią padavus į automatą M/S_i0 ir M/S_j0 gausime skirtingas išėjimo sekas. Tokia seka vadinama diagnostine seka būsenoms S_i0 ir S_j0.

Pirmas diagnostinis sekos simbolis bus įėjimo simbolis P_l-1 lentelėje, kurioje eilutės S_i0 ir S_j0 turi skirtingus indeksus. Antras diagnostinės sekos simbolis bus tas įėjimo simbolis P_l-2 lentelėje, kurioje būsenos S’_i0 ir S’_j0 turi skirtingus indeksus. Būsenos S’_i0 ir S’_j0 yra būsenos, į kurias P_l-1 lentelėje pereina S_i0 ir S_j0, veikiant šias būsenas atskiriamuoju įėjimo simboliu.

Failai:

Failas	Failo dydis	Parsisiųsta
Kompiuterių struktūros egzamino špera	23 Kb	0