University Of Newcastle

Theory of Computation

COMP2270

Iowa State Course Substitution

Theory of Computing

COMS 3310

Course Info

International Credits: 10.0
Converted Credits: 4.0
Country: Australia
Language: English
Course Description:

This course introduces formal models of computation and the problems that they can solve. It presents Turing machines and equivalent models of computation. It also discusses the fundamental limitations of what can be computed. It covers finite state machines, regular expressions and regular grammars as well as context-free languages and grammars and non-context free grammars. It includes algorithms and decision procedures for regular and context-free languages, Turing machine, decidability and complexity analysis

Review

Evaluated Date:
November 29, 2023
Evaluated:
Gianfranco Ciardo
Expiration Date:
November 29, 2028