Tehnici de implementare a concurentei în analiza si proiectarea ...
Tehnici de implementare a concurentei în analiza si proiectarea ...
Tehnici de implementare a concurentei în analiza si proiectarea ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
anomalii <strong>de</strong><br />
modificare a starii<br />
anomalii <strong>de</strong><br />
partitionare a starii<br />
anomalii<br />
<strong>de</strong>terminate <strong>de</strong> istoric<br />
T R f<br />
Figura 3.8. Anomalii induse <strong>de</strong> trei <strong>de</strong>finitii <strong>de</strong> tip<br />
Teorema 1. Fie un mecanism <strong>de</strong> mostenire (Class, ? ). Daca (Class, ? )<br />
conserva comportamentul relativ la TypesT atunci acesta nu este fara anomalii relativ<br />
la TypesR.<br />
Demonstratie. Fie Reg ? ? (Key * ) multimea tuturor limbajelor regulare<br />
peste Key. Vom presupune ca Reg ? bec(Class) - <strong>de</strong>ci fiecare limbaj regular poate fi<br />
acceptat <strong>de</strong> instante ale unei clase. Sa presupunem <strong>de</strong> asemenea ca mecanismul <strong>de</strong><br />
mostenire este fara anomalii relativ la TypesR <strong>si</strong> conserva comportamentul <strong>în</strong> raport cu<br />
<strong>de</strong>finitia <strong>de</strong> tip TypesT.<br />
Fie P ? Class astfel <strong>în</strong>cât bec(P)={ m1, m2 } * pentru anumiti m1, m2 ? Key.<br />
Fie u ? bec(P) <strong>si</strong> m ? Key astfel <strong>în</strong>cât m nu apare <strong>în</strong> bec(P). Atunci v = u^ ?<br />
bec(P).<br />
Vom con<strong>si</strong><strong>de</strong>ra acum tipul ? ? TypesR, un<strong>de</strong> pbeh? = bec(P) ? { v, v^ }.<br />
Deoarece bec(P) R pbeh? rezulta ca ? ? impR(P) (v <strong>în</strong>cepe cu u care apartine lui<br />
bec(P)). De asemenea fiecare stare din pbeh? contine urme care contin meto<strong>de</strong>le m, m1<br />
sau m2, <strong>si</strong> fiecare urma care contine m1 <strong>si</strong>/sau m2 reprezinta o urma <strong>în</strong> starea unica a<br />
lui bec(P). Aplicând <strong>în</strong>chi<strong>de</strong>rea, vom avea pbeh? ? Reg.<br />
Prin urmare, ? Q ? Class astfel <strong>în</strong>cât bec(Q) = pbeh?, <strong>si</strong> <strong>de</strong>ci impR(Q) ?<br />
impR(P). Pe baza propozitiei 1 vom avea:<br />
(1) ?? ? ? * , R ? Class a. î. P ? ? ? I R<br />
?<br />
<strong>si</strong> impR(R) = impR(Q) = ?.<br />
Vom presupune <strong>în</strong> continuare ca, având P ? ? ? I Q <strong>si</strong> z ? bec(Q) atunci este<br />
po<strong>si</strong>bila construirea lui P' <strong>si</strong> Q' astfel <strong>în</strong>cât P'? ? ? I Q'<br />
, bec(Q') = state(bec(Q))z <strong>si</strong><br />
bec(P') = state(bec(P))w, cu w ? bec(P). Din presupunerea <strong>de</strong> mai sus avem ca Q' <strong>si</strong><br />
81