علم الحاسوب
من علم الحاسوب ونظريته النظرية الحسابية آلة الحالات المحدودة ومثال عليها أتمتة محدودة قطعية