Myślę że teraz powyższe oznaczenia nabrały większego sensu. Na rysunku widoczna jest pewna zawiłość. Lecz już ją tłumacze. Blok pamięci oznaczono A- to jasne, ale dlaczego A wsadziliśmy w dodatkowy „pojemnik". Ten zabieg ma pokazać że zawartość bloku A jest wynikiem działania funkcji 6. Podobnie możemy oznaczyć blok funkcji wyjścia lecz nie ma takiej potrzeby bo ona nic nie przetrzymuje, lecz tylko generuje stan na wyjściu(Nie zdziw się że na następnych rysunkach zniknie zielone otoczenie bloku pamięci. Zostanie ono zastąpione samą litera 6 lecz idea się nie zmienia).
Lecz dlaczego blok pamięci i układ kombinacyjny nie są połączone? Nie ma między nimi zależności? Otóż jest. I nie jest ona jednoznaczna, lecz wynika z przyjętej architektury układu, //sformułowanie poprawne?
Założymy że układ da się opisać takimi dwoma równaniami:
a‘+t=\(4,x')
Czy wiesz już co one oznaczają? Równania te dokładnie opisuje zachowanie się układu. W cytowanej już książce2 czytamy: Na podstawie aktualnego stanu pamięci A i stanu wejść X funkcja przejść 6 określa nowy stan pamięci, a funkcja wyjść A wyznacza stan wyjść Y. Dla tego nowego stanu A i jakiegoś X funkcja przejść wyznacza następny stan A, natomiast funkcja wyjść określa odpowiednie Y. //poprawka Myślę że opis ten jest zupełnie jasny, no może poza tą literką tau- która oznacza tylko tyle że do chwili t miną jakiś czas (moglibyśmy wstawić równie dobrze t+1, lecz litera tau jako ogólna zmienna lepiej koresponduje z formalnym opisem działania układu)//czy tok?.
Układ sekwencyjny który opisują powyższe równania nazywamy automatem MeaCego i możemy zilustrować następująco :
Patrząc na powyższy rysunek widzimy jak sygnał wejściowy X „wchodzi" do bloku który reprezentuje stan wewnętrzny. Tam, na postawie X i wcześniej ustalonego A tworzony jest nowy stan wewnętrzny który