Komputerowa synteza automatu z parametrem wewnętrznym.

1. Tabela grafu APW_5

y	y2	y3	y1	y1	y3	y2	y3	y1	y2
z/q	q1	q2	q3	q4	q5	q6	q7	q8	q9
z1	q5	q4	q9	q1	q8	q7	q4	q9	q6
z2	q2	q7	q7	q2	q9	q3	q7	q9	q3

Funkcja przejść stanów automatu:

G = (q1(z2q2(z1q4(z1q1,z2q2), z2q7(z1q4, z2q7)), z1q5(z1q8(z1q9, z2q9), z2q9(z1q6(z1q7, z2q3), z2q3(z1q9, z2q7)))))

2. Wyniki otrzymane za pomocą programu.

Jedyną pasującą kombinacją była:

q2,q1,q4*q3,q6,q7*q8,q9,q5

4. Budowanie schematów logicznych:

a) przekształcenie przejść stanów:

Przejścia ze stanu B1

G = b1(z2e2b3, z1e1b2, z2e1b3, z1e3b2, z2e3b2, z1e2b2)

G = b1({[[b1z1]e1], [[b1z1]e3], [[b1z1]e2], [[b1z2]e3]}b2, {[[b1z2]e2], [[b1z2]e1]}b3)

Przejścia ze stanu B2

G = b2(z2e1b3, z1e2b3, z2e2b1, z2e3b1, z1e3b2, z1e1b3)

G = b2({[[b2z2]e2], [[b2z2]e3]}b1, {[[b2z1]e3]}b2, {[[b2z2]e1], [[b2z1]e2], [[b2z1]e1]}b3)

Przejścia ze stanu B3

G = b3(z2e2b3, z1e2b1, z2e3b2, z1e3b1, z1e1b1, z2e1b3)

G = b3({[[b3z1]e1], [[b3z1]e2], [[b3z1]e3]}b1, {[[b3z2]e3]}b2, {[[b3z1]e2], [[b3z2]e2]}b3)

Przekształcenie wyrażenia dla <E>

G = (e1({[[e1z1]b2]}e3, {[[e1z2]b1], [[e1z2]b2]}e2), e2({[[e2z2]b3], [[e2z2]b1], [[e2z2]b2]}e2, {[[e2z1]b3]}e1, {[[e2z1]b1]}e3), e3({[[e3z2]b2], [[e3z1]b2]}e2))

b) Schematy:

Schemat układu dla przerzutnika B1

Schemat układu dla przerzutnika B2

Schemat układu dla przerzutnika B3

Schemat układu dla wyrażenia E

- 1 -

---