Courses Handbook 2010

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
2010 Bentley Campus Semester 1 Y        
2010 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

Curtin Search Curtin Site Index