Doctor's name here

Doctor's profession

  • CSC 420
  • CSC450
  • CIT 240
  • CSC220
  • CSC101
  • CSC 301
  • CEN 330
  • CIT 453
  • CIT 230
  • CEN312

Course Details

Course Description

  • This course is an introduction to the theory of formal languages and computation. The course is aiming to determine the language represented by a language description, regular expression and different types of machines. Topics include languages, regular expressions, finite automata, Transition Graphs, Kleen's theorem, regular languages, decidability, context-free grammars, pushdown automata, parsing and Turing machines.

Semester                             

Spring 2017/2018

Course

Code:               CSC-420

Name:              Theory of Computation

Credits

               3-0-2-3

Lectures

Day

Sun

Mon

Tue

Wed

Thur

Time

8:00-9:30

 

8:00-9:30

 


Location

Room-1-4-2-17

 

Room-1-4-2-17

 


Building

Comm. Bldg.

 

Comm. Bldg.

 


Tut.

Day

Thursday



Time

8-10

 



 

Location

 Room-1-4-1-14

 



 

Building

Comm. Bldg. 

 

 


 

Instructors

Dr. Zyad M. Shaaban

Assistant Professor of Computer Science

zshaaban@ut.edu.sa

 

Office Hours

Day

Sun

Mon

Tue

Wed

Thur

Time

11:00-12:30

11-12 

11:00-12:30

 11-12


Location

D-19

 

D19

 D19


Building

D

 

D

 D


Text Books

·  Thomas A. Sudkamp (2006). An Introduction to the Theory of Computer Science Languages and Machines. Third Edition, Addison Wesley.

References

·  Daniel I. A. Cohen (1997).  Introduction to Computer Theory. Prentice-Hall, Second Edition.

·  J. E. Hopcroft., R. Motwani, and J. D. Ullman (2007). Introduction to Automata Theory, Languages, and Computation, 3rd Edition, Addison Wesley.

·  M. Sipser (2003).  Introduction to the Theory of Computation, Prentice Hall, Edition 2.

Prerequisite:

CSC-220 Data Structures and Algorithms



Attachments
File Name Download
first