FIT2014《Theory of computation》是 莫纳什大学 的公开课程页面。当前可确认的信息包括 6 学分,难度 中等,公开通过率 68%。 页面已整理 13 周教学安排,5 个重点考核,方便你快速判断工作量、考核结构和适配度。 课程简介摘要:This unit introduces formal languages, models of computation, and comp。
Minimum total expected workload to achieve the learning outcomes for this unit is 144 hours per semester typically comprising a mixture of scheduled online and face to face learning activities and independent study. Independent study may include associated reading and preparation for scheduled teaching activities.
Find a Regular Grammar for a Regular Language;
Use Turing Machines to describe languages and represent computable functions;
Demonstrate the limitations of the models of computation considered;
Use propositional logic, predicates and quantifiers to represent and analyse problems in the theory of computation;
Construct Finite Automata, Nondeterministic Finite Automata and Context-Free Grammars to describe languages;
Find a parse tree, leftmost derivation and rightmost derivation for a word in a Context Free Language;
Show that a language is in P, or in NP, or NP-complete;
Convert Regular Expressions into Finite Automata and vice versa;
Show a language is not regular, or not context-free, or not decidable;
Write rigorous formal proofs, including proofs by construction, cases, contradiction and induction.
