Subiecte SDED 2 iunie

Sa se proiecteze AFD echivalent cu AFN (epsilon) de mai jos si sa se reprezinte grafic (4 pcte/ 1 pct.).
Care este limbajul/ expresia regulata acceptat/a de automat (4 pcte.)? Q
m
={19}, q
o
={1}
a b c
1 - - - 2, 12
2 - - - 3, 9
3 - - - 4, 6
4 5 - - -
5 - - - 8
6 - 7 - -
7 - - - 8
8 - - - 9
9 - 10 - 2
10 - - - 11
11 - - 11 19
12 - 12 12 13
13 - - - 14, 16
14 15 - - -
15 - - - 14, 16
16 - - - 17
17 18 - - -
18 - - - 19
19 - - - -

a b c
1 - - - 2, 12
2 - 2 3 -
3 - - - 4
4 - - - 5, 11
5 - - - 6, 8
6 7 - - -
7 - - - 10
8 - 9 - -
9 - - - 10
10 - - - 11
11 - - - 4, 19
12 - 12 12 13
13 - - - 14, 16
14 15 - - -
15 - - - 14, 16
16 - - - 17
17 - - - -
18 18 - - 19
19 - - - -

(raspuns nr.1 ER: ar trebui sa se vada daca deseneaza AFN epsilon si apoi e simplu
(a+b)*+(b+c)*a*a;
Raspuns nr.2: ER: b*c(a+b)*+(b+c)a*a timp de lucru 30 min.)

Problema de proiectare: desenul e comun

Se da sistemul de servere si cozi de asteptare de mai jos, care prelucreaza doua tipuri de job-uri A
si B. Joburile A intra pe serverul S1, de unde sunt trecute in coada Q
1
A (de capacitate 5) si apoi pe
serverul S2 sau S3, in functie de disponibilitate, si in final trec in Q
2
A (de capacitate 4). Joburile B
trec pe S1 apoi in coada Q
1
B (de capacitate 3), apoi pe S3 sau S4 si apoi in coada Q
2
B (de capacitate
4). Cozile Q2 se golesc (complet) numai dupa ce se umplu complet.
Sa se modeleze ca retea Petri sistemul, cu urmatoarele specificatii de functionare suplimentare:
Nr.1: Daca in coada Q
0
A numarul de entitati devine mai mare decat 3, atunci ea are prioritate asupra
lui S1; S3 prelucreaza alternativ doua joburi A si unul B
Nr2.: S1 preia alternativ cate doua joburi A si cate doua joburi B; daca in coada Q1A sunt mai mult de
doua joburi A, atunci S3 va acorda prioritate joburilor A
Nr3: de indata ce in vreo coada exista mai mult de doua joburi A, toate serverele din aval vor acorda
prioritate joburilor A







Q
0
A
Q
0
B
Q
1
A
Q
2
B
Q
2
A
Q
1
B
S1
S4
S3
S2