warunek wstępny – Maszyny mealy i Moore
Maszyna Mealy – maszyna mealy jest zdefiniowana jako maszyna w teorii obliczeń, której wartości wyjściowe są określane zarówno przez jego aktualny stan, jak i bieżące wejścia. W tej maszynie możliwe jest jedno przejście.,
ma 6 krotek: (Q, q0, ∑, o, δ, λ')
Q jest skończonym zbiorem Stanów
q0 jest stanem początkowym
∑ jest alfabetem wejściowym
O jest alfabetem wyjściowym
δ Jest funkcją przejściową, która mapuje Q× → → Q
’λ' Jest funkcją wyjściową, która mapuje Q× → → O
Diagram –
Maszyna Moore 'a – maszyna moore' a jest zdefiniowana jako maszyna w teorii obliczeń, której wartości wyjściowe tylko ze względu na swój obecny stan.,
ma również 6 krotek: (Q, q0, ∑, o, δ, λ)
Q jest skończonym zbiorem Stanów
q0 jest stanem początkowym
∑ jest alfabetem wejściowym
O jest alfabetem wyjściowym
δ Jest funkcją przejściową, która mapuje Q× → → Q
λ Jest funkcją wyjściową, która mapuje Q → O
Diagram –
Maszyna Moore ' a –
- wyjście zależy tylko od obecnego stanu.
- Jeśli dane wejściowe ulegną zmianie, dane wyjściowe ulegną zmianie.
- wymagana jest większa liczba stanów.
- jest mniej wymagań sprzętowych dla implementacji obwodów.,
- reagują wolniej na wejścia (jeden cykl zegara później).
- wyjście synchroniczne i generowanie stanu.
- wyjście jest umieszczane na stanach.
- łatwy w projektowaniu.
Mealy Machine –
- wyjście zależy zarówno od obecnego stanu, jak i obecnego wejścia.
- Jeśli zmienia się wejście, zmienia się również wyjście.
- wymagana jest mniejsza liczba stanów.
- istnieje więcej wymagań sprzętowych dla implementacji obwodów.
- reagują szybciej na wejścia.
- asynchroniczne generowanie wyjścia.,
- wyjście jest umieszczane na przejściach.
- trudno jest zaprojektować.