308793 (v.1) Theory of Computation 401

Area:

Department of Electrical and Computer Engineering

Credits:

25.0

Contact Hours:

5.0

** The tuition pattern below provides details of the types of classes and their duration. This is to be used as a guide only. For more precise information please check your unit outline. **

Lecture:

1 x 2 Hours Weekly

Practical:

1 x 3 Hours Weekly

Prerequisite(s):

308790 (v.1) Foundations of Computer Engineering 301 or any previous version

Syllabus:

The concept of a formal language. Parsing. Automata; finite state automata, push down automata and Turing machines. The Church-Turing hypothesis and its implications. Algorithmics and complexity classes. Abstract machine models. Models of computation; sequential processes, functional processes, actor systems and logic systems. Circuit and cellular models. Space-time trade-offs.

** To ensure that the most up-to-date information about unit references, texts and outcomes appears, they will be provided in your unit outline prior to commencement. **

Field of Education:

031305 Computer Engineering

Funding Cluster:

08 - Engineering, Science, Surveying

SOLT (Online) Definitions*:

Essential
*Extent to which this unit or thesis utilises online information

Result Type:

Grade/Mark

Availability

Year	Location	Period	Internal	Partially Online Internal	Area External	Central External	Fully Online
2007	Bentley Campus	Semester 1	Y

Area External	refers to external course/units run by the School or Department or offered by research.
Central External	refers to external and online course/units run through the Curtin Bentley-based Distance Education Area
Partially Online Internal	refers to some (a portion of) learning provided by interacting with or downloading pre-packaged material from the Internet but with regular and ongoing participation with a face-to-face component retained. Excludes partially online internal course/units run through the Curtin Bentley-based Distance Education Area which remain Central External
Fully Online	refers to the main (larger portion of) mode of learning provided via Internet interaction (including the downloading of pre-packaged material on the Internet). Excludes online course/units run through the Curtin Bentley-based Distance Education Area which remain Central External