Prescribed Textbook

• Daniel I.A. Cohen, "Introduction to Computer Theory", Second Edition, John Wiley & Sons, Inc. 1997.

Recommended Reading

• Michael Sipser, "Introduction to the Theory of Computation", PWS Publishing Company, 1997.

Students are required to spend 12 hours per week for 13 weeks. This includes 2 hours of lectures per week, one 1 hour of tutorial per fortnight, and 3 hours of laboratory class per fortnight.

Students require access to a computing lab and UNIX/Linux machines.

The machines are required to run Flex, Bison, and SWI-Prolog.

• Software Title:
• Vendor:
• Version:
• OS: MS Windows XP ( ) and/or LINUX ( )
• License Details: (A valid software license certificate/s or Vendor permission must be available upon request if the software is to be installed for teaching)
• Are we currently licensed: Yes ( ) or No ( ) (If unsure, please check with your local IT support )
• If (Yes), who is the contact person for this software?:
• If (No), will the software license be arranged by: Staff member requesting the software ( ) or Technical Services* ( ) ? *If the latter is selected, please discuss your requirement/s with myself ASAP, prior to finalising your request, as there could be financial or resourcing implications.
• Is the software to be installed and accessed from a: Client/Workstation ( ), or Server ( ) ?
• Type of license: Site License ( ), Freeware ( ), FOSS (Free and Open Source Software) ( ), Shareware ( ), Lab based ( ) # of Licenses needed ____
• In what week will you commence using the software in class? Semester 1 (Week ___ ) and/or Semester 2 (Week ___ ):
• Nominated Staff For Acceptance Testing Software: (Name) (Phone) (Email)
• Additional Information: Special Requirements, Software Configuration/Installation Requirements, etc:

Vendor: FSF Software Title: flex Version: OS: Linux First Semester Week required: week 1 of semester Licence Details: Freeware (GPL)

Vendor: FSF Software Title: bison Version: OS: Linux First Semester Week required: week 1 of semester Licence Details: Freeware (GPL)

Vendor: FSF Software Title: gcc Version: >= 3.2 OS: Linux First Semester Week required: week 1 of semester Licence Details: Freeware (GPL)

Vendor: http://www.swi-prolog.org/ Software Title: SWI-Prolog Version: 5.4.x OS: Linux First Semester Week required: week 1 of semester Licence Details: Freeware (LGPL)

Nominated Staff for software testing