Computing Theory Individual Assignment Page 1 of 2
Computing Theory
Coursework
The coursework is 50% of the assessment for the module.
Learning Outcomes
1. Design automata and generate regular expressions for specified languages.
2. Design and analyse context-free grammars for specific syntactic rules.
3. Describe and Design Turing machines to accomplish specified computations
4. Explain and discuss complexity and decidability of problems
Assessment Criteria
IMPORTANT: This is an individual assignment, all submitted components must be
your own work or appropriately accredited.
Referencing Code
If you use design or ideas from external sources like book/ magazine/ internet/forum,
then proper citation should be done using the Harvard Name convention within your
solution. Failure to reference design/ideas properly is considered as plagiarism.
PART A: Non Deterministic Finite Automata
Design a Non- Deterministic Finite Automata that accepts ={0,1}. The Non-
Deterministic Finite Automata should be able to determine all strings that have at most
two zeroes and at least two ones. Construct the state transition table for the Automata.
Explain the correctness of the proposed Automata with sample strings that are accepted
and rejected by the State Machine.
Sample Data Accepted by the Automata :
101101
0111
11
Sample Data Rejected by the Automata :
1011010
01
0010
Asia Pacific University of Technology and Innovation 2017
Computing Theory Individual Assignment Page 2 of 2
PART B:
Construct a Regular Expression for the given NFA by using State Elimination
method. Provide proper explanation for each step mentioning the rules applied
for eliminating a state.
DELIVERABLES
You are required to submit:
Documentation (hardcopy)
1. Cover page
2. Table of contents
3. Introduction
4. Explanations :
Part A: State Transition Table, NFA diagram, List of acceptable inputs.
Part B: Step by Step evaluation of state elimination method including the
rules.
5. Conclusion
6. References
CD Content (softcopy)
1. Documentation report (.docx/.doc/.rtf)
Asia Pacific University of Technology and Innovation 2017