Module Details
The information contained in this module specification was correct at the time of publication but may be subject to change, either during the session because of unforeseen circumstances, or following review of the module at the end of the session. Queries about the module should be directed to the member of staff with responsibility for the module.
Title DECISION, COMPUTATION AND LANGUAGE
Code COMP218
Coordinator Dr DK Wojtczak
Computer Science
D.Wojtczak@liverpool.ac.uk
Year CATS Level Semester CATS Value
Session 2019-20 Level 5 FHEQ First Semester 15

Learning Outcomes

(LO1) Be familiar with the relationships between language as an object recognised by an automaton and as a set generated by a formal grammar.

(LO2) Be able to apply standard translations between non-deterministic and deterministic finite automata.

(LO3) Be familiar with the distinct types of formal grammar (e.g. Chomsky hierarchy) and the concept of normal forms for grammars.

(LO4) Be aware of the limitations (with respect to expressive power) of different automata and grammar forms.

(LO5) Understand the distinction between recursive and recursively enumerable languages.

(S1) Numeracy/computational skills - Reason with numbers/mathematical concepts

(S2) Numeracy/computational skills - Problem solving

(S3) Information skills - Information accessing:[Locating relevant information] [Identifying and evaluating information sources]

Syllabus
 

Preliminaries: principal mathematical ideas necessary to understand the material of the course.
Finite automata and regular expressions: basic definitions, non-determinism, applications of finite automata.
Properties of regular sets: pumping lemma, closure properties, decision algorithms, minimization of automata.
Context-free grammars: introduction, derivation trees, simplification, Chomsky normal form, Greibach normal form.
Pushdown automata: definitions, shared properties with context-free grammars.
Properties of context-free grammars: pumping lemma, closure properties and decision algorithm.
Chomsky hierarchy and deterministic context-free languages: normal form, closure, and application in parsing methods.
Turing machines: Turing machine model, computable languages and functions, Church's hypothesis.
Undecidability: recursive and recursively enumerable languages, universal Turing machines.

Teaching and Learning Strategies

Teaching Method 1 - Lecture
Description:
Attendance Recorded: Not yet decided

Teaching Method 2 - Tutorial
Description:
Attendance Recorded: Not yet decided

Teaching Method 3 - Assessment
Description:
Attendance Recorded: Not yet decided

Teaching Schedule
  Lectures Seminars Tutorials Lab Practicals Fieldwork Placement Other TOTAL
Study Hours 28

   10

     2

 40
Timetable (if known)              
Private Study 110
TOTAL HOURS 150

Assessment
EXAM Duration Timing
(Semester)		 % of
final
mark		 Resit/resubmission
opportunity		 Penalty for late
submission		 Notes
Assessment 3 There is a resit opportunity. Standard UoL penalty applies for late submission. Assessment Schedule (When) :2  2 hours    80       
CONTINUOUS Duration Timing
(Semester)		 % of
final
mark		 Resit/resubmission
opportunity		 Penalty for late
submission		 Notes
Assessment 1 Standard UoL penalty applies for late submission. Assessment Schedule (When) :2  1 hour    10       
Assessment 2 Standard UoL penalty applies for late submission. Assessment Schedule (When) :2  1 hour    10       

CM Assessment

ASSESSMENT METHODS

Assessment

Form of Assessment

 

% Weighting

Size of Assessment/Duration/Word Count

Assessment Details

Learning Outcomes Being Assessed

1Written Exam802 hoursAssessment 3 There is a resit opportunity. Standard UoL penalty applies for late submission. Assessment Schedule (When) :2LO2, LO3, LO4, LO5, S1, S2
2Coursework101 hourAssessment 1 Standard UoL penalty applies for late submission. Assessment Schedule (When) :2LO2
3Coursework101 hourAssessment 2 Standard UoL penalty applies for late submission. Assessment Schedule (When) :2LO5, LO4, LO3

Recommended Texts
Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module.