التوصيف العام
يهدف المقرر إلى تعريف الطالب على المفاهيم والمكونات الأساسية للنمذجة والأبجدية والسلاسل واللغات الصورية.
المحصلات التعليمية:
1. التعرف على اللغات الصورية.
2. التعرف على تصنيف اللغات.
3. التعرف على مفاهيم الأوتومات.
4. التمكن من إجراء تحليل مفردات اللغة.
5. إتقان خوارزميات تحويل الأوتومات إلى قواعد صورية.
6. التعرف على آلة تورينغ