آلة إنجما
توفر الآلات ميلي نموذجًا رياضيًا بدائيًا لأجهزة التشفير. وبالنظر إلى أبجدية المدخلات والمخرجات، فإن الأبجدية اللاتينية، على سبيل المثال، فيمكن تصميم آلة ميلي بحيث تعطى سلسلة من الحروف (سلسلة من المدخلات) يمكن معالجتها في سلسلة مشفرة (سلسلة من المخرجات). ومع ذلك، على الرغم من أنه يمكن استخدام نموذج ميلي لوصف آلة إنجما ، فإن مخطط الحالة سيكون معقدًا جدًا بحيث لا يوفر وسائل مجدية لتصميم آلات تشفير معقدة.