ماشین میلی

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