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颇有难度,需要扎实的编程功底(注:对语言没有要求)。考试的难点在于如何通过给定的文本或要求,写出(或画出)对应的自动机模型(各种类型的自动机),如何通过给定的要求,写出对应的逻辑公式和如果通过给定的描述,构建出符合要求的图灵机。

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20180807G0S7CE00?refer=cp_1026
  • 腾讯「云+社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 yunjia_community@tencent.com 删除。

扫码关注云+社区

领取腾讯云代金券