automaty Moore'a i Mealy'ego

witam.

ktory z tych automatow posiada pamiec? Moore'a czy Mealy'ego?
i moze zna ktos budowe tych automatow? na googlach nie moglem znalezc nic konkretnego na ten temat. z gory dziekuje za pomoc . pozdrawiam.

aka103.

Oba automaty posiadaja pamięć, poniewaz sa typami ukladow sekwencyjnych. Roznica pomiedzy tymi automatami polega na tym, ze:
dla automatu Mealy'ego stan wyjsciowy urzadzenia w chwili t+1 zalezy bezposrednio zarowno od stanow wewnetrznych automatu jak i stanow wejsc, natomiast dla automatu Moore'a stan wyjsc w kolejnym cyklu zalezy bezposredni jedynie od stanow wewnetrzych.
Roznica niby mala, ale przy projektowaniu "papierowym" takich ukladow mozna ja odczuc.... Pozdrawiam

Wydaje mi się, że to zachowanie automatu Moore'a może być interpretowane jako pamięć bo pomimo zmiany na wejściach stan wyjść się nie zmienia (tak długo jak jesteśmy w tym samym stanie). Automat zatem jakby pamięta to co było wcześniej.

Konsul, tez mi sie tak wydaje, ale na mur beton pewny nie jestem, a, ze jest jest brany jako automat z pamiecia a drugi nie tego jestem pewien. w kazdym badz razie wszystko by wskazywalo na Moore'a, tymbardziej, ze przerzutniki sa ukladami sekwencyjnymi typu Moore'a.

Witam,
same definicje obu automatów nie wiele różnią się pomiędzy sobą, choć są dość przydługawe.
Automat (skończony) Mealy'ego to z definicji uporządkowana "piątka":
M = <X, S, Y, δ, λ>
w której:
X = {x1, ..., xn} -- zbiór liter (sygnalów) wejściowych (alfabet wejściowy),
S = {s1, ..., sn} -- zbiór stanów wewnętrznych (alfabet wewnętrzny),
Y = {y1, ..., yn} -- zbiór liter (sygnałów) wyjściowych (alfabet wyjściowy),
przy czym zbiory te są skończone i niepuste.
δ: Dδ --> S -- funkcja przejść (przejściowa)
λ: Dλ --> Y -- funkcja wyjść (wyjściowa)
Natomiast:
Dδ - dziedzina funkcji przejść,
Dλ - dziedzina funkcji wyjść.
Funkcja przejść przyporządkowuje każdej parze złożonej z litery wejściowej i stanu obecnego i należącej do Dδ -- stan następny.
Funkcja wyjść przyporządkowuje każdej parze złożonej z litery wyjściowej i stanu obecnego i należącej do Dλ -- literę wyjściową.

Automat (skończony) typu Moore'a definiowany jest z definicji automatu (skończonego) Mealy'ego w kórym zachodzi szczególny warunek:
Dλ zawiera się w S (dziedzina funkcji wyjść w zbiorze stanów wewnętrznych).

Z podanych definicji wynika, że w przypadku automatu Mealy'ego litery wyjściowe są związane ze zmianami stanów - z przejściami, a w przypadku automatu Moore'a - ze stanami.
Między automatami typu Mealy'ego i automatami typu Moore'a istnieje ściśły związek: mając dany automat jednego typu można zawsze podać równoważny mu w określonym sensie automat drugiego typu.
Pozdrawiam

Witam,

Misiek.Power napisał:

Kolega sypnął definicjami, że hej...

Tylko czy na tej podstawie potrafi odpowiedzieć na pytanie autora topica ?

dobre pytanie, ale ono zawarte jest w powyższych definicjach. Ja oczywiście znam odpowiedź, ale niech do tego dojdzie autor tematu ...
Odpowiedź poszła na PW, proszę ją sobie zatrzymać ...
Pozdrawiam

hm. jednak prosilbym o konkretna odpowiedz, bo definicje znam dobrze, tylko dosc do tego ktory jest z pamiecia z nich nie potrafie, wiec, konkrety panowie konkrety.