ماشین میلی

ماشین میلی (به انگلیسی: mealy machine) در نظریه محاسبات یک نوع از ماشین های حالات متناهی ست که خروجی آن به حالت کنونی و مقدار ورودی کنونی وابسته است. (این ماشین نقطهٔ مقابل ماشین مور است که خروجی آن فقط به حالت کنونی آن وابسته می باشد)
S:مجموعه ای از حالات متناهی ست.
S0: حالت آغازین یا حالت شروع که زیر مجموعه ای از S است.
Σ: مجموعه ای متناهی از الفبای ورودی ست.
Λ: مجموعه ای متناهی از الفبای خروجی ست.
T: S × Σ → S: تابع انتقال است که حالت و الفبای ورودی را به حالت بعدی منتقل می کند.
G: S × Σ → Λ: تابع خروجی ست که جفتی از حالت و اسمبل ورودی را به سمبل خروجی تبدیل می کند.
ماشین میلی به شکل یک شش تایی (S, S0, Σ, Λ, T, G) است که در آن:
در برخی فرمول نویسی ها توابع انتقال و ورودی در یک تابع ادغام شده و به این صورت در می آیند: T: S × Σ → S × Λ
نمودار حالت برای ماشین میلی شامل نقاط تقاطع ارزش خروجی با هر لبهٔ انتقال است (در مقایسه با ماشین مور که شامل نقاط تقاطع ارزش خروجی و هر حالت است)