Miltų mašina Skaičiavimo teorijoje apibrėžiamas kaip mašina, kurios išėjimo reikšmes lemia ir dabartinė būsena, ir srovės įėjimai. Šioje mašinoje galimas daugiausia vienas perėjimas.
Jis turi 6 eilutes: (Q, q0, ∑, ▲, δ, λ')
- Q yra baigtinė būsenų rinkinys
- q0 yra pradinė būsena
- ∑ yra įvesties abėcėlė
- ▲ yra išvesties abėcėlė
- δ yra perėjimo funkcija, kuri atvaizduoja Q × ∑ → Q
- „λ“ yra išvesties funkcija, atvaizduojanti Q × ∑ → ▲
Būtina sąlyga – Mealy ir Moore mašinos
10 iš 100
Diagrama yra tokia:
Moore mašina:
Moore'o mašina skaičiavimo teorijoje apibrėžiama kaip mašina, kurios išvesties reikšmes lemia tik jos dabartinė būsena. Jame taip pat yra 6 eilutės
(Q, q0, ∑, ▲, δ, λ)>
- Q yra baigtinė būsenų rinkinys
- q0 yra pradinė būsena
- ∑ yra įvesties abėcėlė
- ▲ yra išvesties abėcėlė
- δ yra perėjimo funkcija, kuri atvaizduoja Q × ∑ → Q
- λ yra išvesties funkcija, kuri atvaizduoja Q → ▲
Diagrama:
„Mealy“ mašinos ir „Moore“ mašinos skirtumas yra toks:
| Moore mašina Java multithreading | Miltų mašina |
| Išvestis priklauso tik nuo dabartinės būsenos. | Išvestis priklauso nuo esamos būsenos ir esamos įvesties. |
| Moore mašina taip pat pateikia savo išvestį perėjimui. | „Mealy Machine“ pateikia savo išvestį perėjimui. |
| Reikia daugiau valstybių. | Reikalingas mažesnis valstybių skaičius. |
| Grandinei įgyvendinti reikia mažiau techninės įrangos. | Norint įdiegti grandinę, reikia daugiau techninės įrangos. |
| Jie lėčiau reaguoja į įvestis (vienu laikrodžio ciklu vėliau). | Jie greičiau reaguoja į įvestis. |
| Sinchroninis išėjimas ir būsenos generavimas. | Asinchroninės išvesties generavimas. |
| Išvestis dedama į būsenas. | Išvestis dedama ant perėjimų. |
| Lengva projektuoti. | Sunku suprojektuoti. |
| Jei įvestis pasikeičia, išvestis nesikeičia | Jei keičiasi įvestis, keičiasi ir išvestis. |
| Turi daugiau arba tokias pačias būsenas kaip ir Mealy mašinos. | Turi mažiau arba tokias pačias būsenas kaip ir Moore mašina. |