COS3701 Theoretical Computer Science III
University of South Africa
Hier vind je de beste samenvattingen om te slagen voor COS3701 Theoretical Computer Science III. Er zijn o.a. samenvattingen, aantekeningen en oefenvragen beschikbaar.
Alle 10 resultaten
Sorteer op:
-
Tentamen (uitwerkingen)
Theoretical Computer Science III COS3701
-
---7april 20222021/2022A+
- ASSIGNMENT QUESTIONS 
ASSIGNMENT 01 
Note: Solutions to selected problems in the prescribed book are provided on the module page. 
Unique number: 
Due date: 
Material to be tested: 
Weight towards year mark: 
 
03 May 2022 
Cohen, Chapters 12-15 
25%
-
$5.99 Meer Info
SIRTHEA
-
Tentamen (uitwerkingen)
COS3701 assignment 1 semester
-
---11april 20222021/2022A+
- COURSE: THEORETICAL COMPUTER SCIENCE III 
COURSE CODE: COS3701 
SEMESTER: 2021 01 
ASSIGNMENT: 01 
UNIQUE NUMBER: 
DUE DATE: 15TH 
COS3701 assignment 1 semester 
1 
COS3701 REG. NO UNIQUE NO: 
Page 1 of 10 
1. Problem 3(ii) on page 255. 
Consider the CFG 
S → XaXaX 
X → aX|bX|Λ 
What is the language this CFG generates? 
This CFG can generate (a+b)*a(a+b)*a(a+b)*. We can thus verify the language 
as follows: 
▪ The CFG S → XaXaX only generates words that contain as, therefore the 
gram...
-
$4.29 Meer Info
lectdenis
-
Samenvatting
COS3701 Summary.
-
---14november 20212021/2022
- TERMS: 
i. FSM: Finite State Machine (Lowest level machine, basic computations) 
ii. CFL: Context Free Language (Capable of a little higher level computations) 
iii. TM: Turing Machine (High Level Computations) 
iv. Undecidable: Problems that cannot be solved by any machine 
v. Symbol examples: a, b, c, 0, 1, 2, 3.... 
vi. Alphabet: denoted by 'sigma': collection of symbols 
eg. {a,b} or {d, e, f, g} or {0, 1, 2} 
vii. String: sequence of symbols 
eg.a,b,0, aa, bb, ab, 01 
viii. Language: Set ...
-
$3.79 Meer Info
LOVELY01
-
Tentamen (uitwerkingen)
COS3701 2021 Assignment 1.
-
---11november 20212021/2022A+
- COURSE: THEORETICAL COMPUTER SCIENCE III 
COURSE CODE: COS3701 
SEMESTER: 2021 01 
ASSIGNMENT: 01 
UNIQUE NUMBER: 
DUE DATE: 15 
TH MAY 2021 
COS3701 REG. NO UNIQUE NO: 
Page 1 of 10 
1. Problem 3(ii) on page 255. 
Consider the CFG 
S → XaXaX 
X → aX|bX|Λ 
What is the language this CFG generates? 
This CFG can generate (a+b)*a(a+b)*a(a+b)*. We can thus verify the language 
as follows: 
▪ The CFG S → XaXaX only generates words that contain as, therefore the 
grammar only generates wor...
-
$3.69 Meer Info
LOVELY01
-
Overig
COS3701 - SUMMARIZED EXAM NOTES 2021.
-
---57november 20212021/2022
- COS3701 - SUMMARIZED EXAM NOTES 2021. Theoretical Computer Science III. Theory of Computation 4 
Mustansiriya University – college of sciences – computer science department – second class 
Language 
language is the set of all strings of terminal symbols derivable from alphabet. 
alphabet is a finite set of symbols. For example {0, 1} is an alphabet with two symbols, {a, b} is another 
alphabet with two symbols and English alphabet is also an alphabet. A string (also called a word) is a fin...
-
$4.49 Meer Info
ExcelAcademia2026
-
Tentamen (uitwerkingen)
COS 3701 Feedback on EXAM PREPARATION PHASE IV (Use The Pumping Lemma)
-
---7oktober 20212021/2022A+
- Feedback on EXAM PREPARATION PHASE IV 
(Use The Pumping Lemma) 
Question 1: 
Show that the language 
{anb 
n 
c 
nd 
n 
for n = 1 2 3 . ..} 
= { abcd aabbccdd . . . } 
is non-context-free. 
Feedback Question 1: 
In order to answer this question we use the pumping lemma with length. See study 
guide. 
In this question the alphabet is ∑= {a; b; c; d}. 
• The first step is to assume that the language 
L = {a 
nb 
nc 
nd 
n 
| n = 1, 2, 3…} 
actually is context-free. This means that there exis...
-
$3.99 Meer Info
lectdenis