COMP2022：Formal Languages and Logic

宝宝们请点击上方蓝字“FEITeducation”随时订阅关注我们噢~

FEIT EDUCATION(Future of Engineering and I.T.) 是一所专门针对大学的工程及I.T.系的辅导补习平台。为了让同学们在新学期里，学的有针对性，小助手今天给大家带来了 USYD IT 的易挂科目梳理。

课程难度由易到难讲解（六块砖为难度最高）

1. COMP2022: Formal Languages and Logic

Comp2022是一门非常有趣的课。在这门课中，你将会学习到有限状态自动机（finite state machine automaton）这一概念以及它的具体类别（如 DFA, NDFA）。

这类自动机可以根据当前所读到的文本位置及其当前所在的“状态”，来做出对应的行为以达到我们想要的目的。自动机被广泛运用于各种计算机科学的领域， 如可以使用自动机编程。

在两个assignment当中，你将会了解如何使用自动机来分析文本并编写出属于你的编译器（与comp2017的第一个assignment有点类似但不完全一样）。

你还会学习到使用逻辑公式 （类似phil1012的公式但不完全一样）来辅助你编写编译器和图灵机的基本概念及其用法。

FEIT学习建议：

1、这门的课的assignment颇有难度，需要扎实的编程功底（注：对语言没有要求）。考试的难点在于如何通过给定的文本或要求，写出（或画出）对应的自动机模型（各种类型的自动机），如何通过给定的要求，写出对应的逻辑公式和如果通过给定的描述，构建出符合要求的图灵机。