308793 (v.1) Theory of Computation 401

Area:	Department of Electrical and Computer Engineering
Credits:	25.0
Contact Hours:	4.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
Laboratory:	1 x 2 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
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
2008	Bentley Campus	Semester 1	Y
2008	Miri Sarawak 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