مفردات المقرر:
المفاهيم الأساسية للأتمتة المحدودة واللغات، الأتمتة المحدودة (DFA)، والأتمتة غير المحدودة (NFA) التكافوء بين DFA و NFA، التعابير المنتظمة، القوانين الجبرية للتعابير المنظمة قانون الدفع وتطبيقاته (Pumping lemma ) صفات اللغات المنتظمة، القواعد واللغات حرة المحتوى، أوتماتا الدفع لاسفل (Push Dawn Automata ) ، آلات تورينق.