1. التسلسل الهرمي لتشومسكي^{Formal grammars (Type 0, 1, 2, 3 — Chomsky hierarchy)}

2. اللغات والتعبيرات المنتظمة^{Regular languages & expressions}

3. الآلات محدودة الحالة^{Finite-State Automata (FSA)}

4. المحولات محدودة الحالة^{Finite-State Transducers (FST)}

5. القواعد الخالية من السياق^{Context-Free Grammars (CFG)}

6. الآلات ذات المكدس^{Pushdown Automata (PDA)}

7. القواعد الحساسة للسياق^{Context-Sensitive Grammars}

8. آلات تورينج^{Turing Machines (concept)}

9. القابلية للتقرير^{Decidability & computational limits}

10. العلاقة بالمستويات اللغوية^{Relation to linguistic levels}