Porównanie metod syntezy automatów skończonych pakietu ZUBR z pakietem MAX+PLUSII firmy Mentor Graphics

1. Wykorzystanie metody A2 syntezy automatów skończonych klasy A i B
   

2. Wykorzystanie metody A7 syntezy automatów skończonych klasy ADE
   

<powrót>