Department of Computer Science @ UNCW

---

/HyunBumKim/Teaching/Formal Languages and Computability_Section 002 Spring 2018

Formal Languages and Computability (CSC 360, Section 002)
Spring 2018

Catalog Description

An introduction to theoretical computer science. This course covers the topics: regular expression and finite state concepts; basic automata theory; formal grammars and languages; computability; Turing machines; elementary recursive function theory.

Instructor Information

• Instructor: Dr. HyunBum Kim
• Office: CIS 2044
• Phone: (910) 962-2160
• E-mail: kimh@uncw.edu
• Office hours: Tue/Thur 10:50 am - 12:50 pm and by appointment

Course Information

• Lecture hours
  TR 3:30 pm - 4:45 pm
• Class room
  CIS 1012
• Textbook
  Automata, Computability, and Complexity: Theory and Applications by Elaine Rich
  Publisher: PEARSON
  ISBN 978-0-13-228806-4
  Prerequisites: CSC 231, CSC 242
• Course syllabus: [PDF]