[an error occurred while processing this directive]
[an error occurred while processing this directive]
Associate Professor David Dowe
Associate Professor
Phone: +61 3 990 55776
Fax: +61 3 990 55157
Associate Professor David Dowe
Associate Professor
Phone: +61 3 990 55776
Fax: +61 3 990 55157
Welcome to FIT2014 Theory of Computation.
The following guide is given so that you can have a productive semester and you can complete the unit successfully.Average of 12 hours per week: 2 hours lecture (each week), either 1 hour tutorial or 3 hour laboratory (alternating weeks), and 8 hours of reading, working on exercises and assignment(s), etc.
This is a second year core unit in BCS, BSE, BCS/BA, BCS/LLB, and BSc/BCS, and is a second year core unit in a computer science major in BSc. It introduces students to the formal theory of languages, lexical analysers, compilers, and the limitations of what computers can compute.
You are expected to read through the prac notes before each prac class, and you are expected to have performed the preparatory tasks described in the notes before the start of each prac. Please ask your lecturer before your prac if you do not understand the requirements for the prac.
Most prac work is designed so that most students cannot start and finish it in three hours. You must devote considerable thought to the prac work prior to attending the prac, and (ideally or) realistically you should have code already written for a substantial portion of the prac prior to attending it. The prac session itself should be used to seek assistance with respect to unresolved issues, to finalize programs, and to de-bug and test your programs.
If you have trouble preparing for the prac you should seek assistance concerning requirements and approaches to the problem from tutors or lecturers during consultation hours.
For information on timetabling for on-campus classes please refer to MUTTS, http://mutts.monash.edu.au/MUTTS/
On-campus students should register for tutorials/laboratories using the Allocate+ system: http://allocate.cc.monash.edu.au/
Week | Topic | References/Readings | Key dates |
---|---|---|---|
1 | Regular Languages | Cohen: Chapters 1-4 | |
2 | Finite Automaton | Cohen: Chapters 5-7 | |
3 | Lexical Analysis | Aho et al.: Chapter 3 | |
4 | Kleene's Theorem | Cohen: Chapters 7,8 | |
5 | Context Free Grammars | Cohen: Chapters 10, 12 | |
6 | Parsing | Aho et al.: Sections 4.2 & 4.3 | |
7 | Rewriting Grammars | Aho et al.: Chapter 1 | |
8 | Predictive Parser | Aho et al.: Section 4.4 | |
9 | Compiler-Compilers | Aho et al.: Section 4.4 | |
10 | Turing Machines | Cohen: Chapters 13-16,19 | |
Mid semester break | |||
11 | Computability | Cohen: Chapters 23,25 | |
12 | Decidability | Cohen: Chapter 23 | |
13 | Godel Incompleteness Theorem |
Daniel I. A. Cohen, "Introduction to Computer Theory", Second Edition, John Wiley & Sons, Inc. 1997.
Michael Sipser, "Introduction to the Theory of Computation", PWS Publishing Company, 1997
A.V. Aho, M. S. Lam, R. Sethi and J. D. Ullman. "Compilers: Principles, Techniques and Tools", 2nd edition, Addison-Wesley, 2007.
You will need access to:
Study resources we will provide for your study are:
To pass a unit which includes an examination as part of the assessment a student must obtain:
If a student does not achieve 40% or more in the unit examination or the unit non-examination total assessment, and the total mark for the unit is greater than 44% then a mark of no greater than 44-N will be recorded for the unit.
In order to pass this unit you must:
If you do not meet all of the above conditions the highest mark you can receive is 44N.
Students should also be familiar with the consequences of plagiarism, for the students who copy and also to any (other) students who allow their work to be copied. The best possible outcome for students in such an event is zero marks for the relevant question(s) and an official letter sent to them and kept on their file. But students should also understand that is the best possible outcome, and other possible outcomes include zero marks for the entire assignment or even zero marks for the entire subject. As a general rule, penalties tend to be more severe for repeat offenders.
Assignment coversheets are available via "Student Forms" on the Faculty website: http://www.infotech.monash.edu.au/resources/student/forms/
You MUST submit a completed coversheet with all assignments, ensuring that the plagiarism declaration section is signed.
Assignment submission and return procedures, and assessment criteria will be specified with each assignment.
Weighting:
70%
Length:
3 hours
Type (open/closed book):
Closed book
Remarks:
Please make every effort to submit work by the due dates. It is your responsibility to structure your study program around assignment deadlines, family, work and other commitments. Factors such as normal work pressures, vacations, etc. are not regarded as appropriate reasons for granting extensions. Students are advised to NOT assume that granting of an extension is a matter of course.
Students requesting an extension for any assessment during semester (eg. Assignments, tests or presentations) are required to submit a Special Consideration application form (in-semester exam/assessment task), along with original copies of supporting documentation, directly to their lecturer within two working days before the assessment submission deadline. Lecturers will provide specific outcomes directly to students via email within 2 working days. The lecturer reserves the right to refuse late applications.
A copy of the email or other written communication of an extension must be attached to the assignment submission.
Refer to the Faculty Special consideration webpage or further details and to access application forms: http://www.infotech.monash.edu.au/resources/student/equity/special-consideration.html
If you miss a prac or tutorial class for any reason you must do the following to obtain an exemption for the missed class:
Failure to do the above will result in you being marked absent for the class and receiving zero marks. Exemptions will not be granted automatically, and will be considered on a case by case basis. You are also only allowed one exemption a semester for this unit.
Assignments received after the due date without adequate medical or other reason will be subject to a penalty of up to 5% per day, including weekends. An assignment is deemed late if any of the submitted versions (recall ``Assessment details'', ``Assignment submission'') is late. Assignments received later than one week (seven days) after the due date will not normally be accepted. In some cases, this period may be shorter if there is a need to release sample solutions or discuss solutions in class.
Where multiple versions of an assignment are to be submitted (e.g., soft electronic copy on MUSO/Blackboard and/or Damocles, and hard copy to the General Office), versions must be identical and the time of submission will be deemed to be when the final version is submitted and received.
This policy will often be strictly adhered to because comments or guidance will be given on assignments as they are returned, and sample solutions may also be published and distributed - after assignment marking or with the returned assignment.
Students can expect assignments to be returned within two weeks of the submission date or after receipt, whichever is later.
Please visit the following URL: http://www.infotech.monash.edu.au/units/appendix.html for further information about: