这是一个关于HIT形式语言与自动机的期末复习笔记分享，整理于2023年春季学期期末考试前。笔者将大部分考点和知识理解进行了整理，并附上了一些自己做的题目和解题过程的总结。同时还提供了详细的分析和解答过程，希望这份笔记对HITer的复习有所帮助。