تعرف الأتومات كنظام حيث يتم تحويل طاقة المواد والمعلومات لأنجاز بعض الوظائف دون تدخل الانسان
مثال:أي جهاز آلي مؤتمت غسالة اوتوماتيك جهاز تغليف ....
في علم الحاسب مصطلح الأوتومات يعني الأوتومات المتقطع ويعرف بطريقة أكثر تجديدا كما يلي:
الدخل: في أي لحظة زمنية متقطعة فان قيم الدخل كل واحد منها يمكن ان يأخذ قيمة من أبجديةالدخل
الخرج: كل خرج يمكن ان يأخذ أعداد منتهية من مجموعة القيم
الحالات: قي أي لحظة زمنية يمكن ان يكون الأوتومات في احدى الحالات
ارتباط الخرج: الخرج مرتبط اما مع الحالة او مع كل من الدخل والحالة
الاوتومات التي يكون فيها الخرج معتمدا على الحالات الداخلية يسمى( آلة مور)
الاوتومات التي يكون فيها الخرج معتمدا على الحالة الداخلية وعلى قيم الخرج يسمى آلة ميلي
الاوتومات المنتهي المحدد الحالة :هو الاوتومات الذي يمثل بخمس مركبات:
Q :مجموعة غير خالية منتهية من الحالات
∑: مجموعة غير خالية منتهية من المداخل
S: تابع النقل المباشر
q0: الحالة الابتدائية
F: الحالات النهائية
يمثل اوتومات مور بيت مركبات حيث يضاف على المركبات السابقة :
∆: مجموعة رموز الخرج
λ: تابع الخرج
النظم المنطقية والدارات الرقمية