Mô phỏng DFA/NFA, khử không xác định (subset construction), biểu thức chính quy, văn phạm phi ngữ cảnh (CYK, FIRST/FOLLOW), pumping lemma và tối tiểu hóa/tương đương automat.