240114081 نظرية الحوسبة ( 3 ساعة معتمدة )

متطلبات سابقة : 240113020

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