Мир Знаний

Разработка функциональной схемы конечного автомата (стр. 2 из 2)

T1=α1 α2Q1Q2Q3+ α1Q1Q2Q3Q4+Q1Q2Q4+Q1Q2Q3=

=Q2 (α1Q1 (Q3 (α2+Q4)) +Q1 (Q4+Q3))

T2= α1Q1Q2Q3Q4+ α1 α2 Q1Q3+ +α1Q1Q2Q4+Q1Q2Q3+Q1Q2Q4+Q1Q2Q3+ α1 α2Q1Q3+

+α1 Q1Q2Q3Q4=

=α1 Q3 (α2+Q2Q4) +Q2

T3= α1 α2Q1Q2Q3Q4+ α1Q1Q2Q4+ α1 α2Q1+ +α1Q1Q2Q3Q4+ α1 α2Q1Q2Q3Q4+Q1Q2Q3+ α1 α2Q1Q2+ +α1Q1Q2Q4=

=α1Q1 (α2+Q2Q3Q4) + α2Q3Q4+Q1 (α1Q2 (α2+Q4) +Q2Q3)

T4= α1 α2Q1Q2Q3Q4+ α1 α2Q1+ α1 α2Q1+Q1Q2Q3Q4+ +α1 α2Q1Q2Q3+Q1Q2Q4+ α1 α2Q1Q2=

= α1 α2Q1 (Q2Q3+Q2) + α2Q1 ( α1Q2Q3Q4+ +α1) +Q2Q4 (Q1Q3+Q1)

z1= α1Q1Q2Q3Q4+ α1 α2Q1Q2Q3=

= α1Q1Q2 (Q3 (Q4+ α2))

z2= α1Q1Q2Q2Q4

z3= α1Q1Q2+ α2Q1Q2Q4+ α1 α2Q1Q3Q4+Q1Q2Q3+

+ α1Q1Q2Q3Q4+ α2Q1Q2Q3Q4=

=Q1Q2Q3Q4 ( α1+α2) + Q1 (Q2 ( α1+ α2Q4)) +Q3 (α1 α2Q4+Q2)