Difference between revisions of "User:Jeffj/CS4-5723/Syllabus"
From A-State Computer Science Wiki
< User:Jeffj | CS4-5723
| Line 2: | Line 2: | ||
{{TOCright|limit=3}} | {{TOCright|limit=3}} | ||
== CS 4-5723 Automata Theory == | == CS 4-5723 Automata Theory == | ||
| − | + | Spring 2016, Section 001, TR 12:30pm-1:45pm, CSM 211 (moved to HSS 1028) (3 credits) | |
| − | + | ||
== Instructor == | == Instructor == | ||
Revision as of 10:12, 19 January 2016
CS 4-5723 Automata Theory
Spring 2016, Section 001, TR 12:30pm-1:45pm, CSM 211 (moved to HSS 1028) (3 credits)
Instructor
| Dr. Jeff Jenness | |||
| Office | CSM 132 | Office Hours | TR 11:00am-12:00pm and MW 11:00pm-12:00pm |
| Phone | 870-972-3978 ext. 8117 | jeffj@astate.edu | |
Course Description
- CS 4-5723. Automata Theory
- Study formal languages and equivalent models of computation, finite state automata and regular expressions, push down automata and context free grammars, pumping lemmas and closure properties, and turing machines. Prerequisites: CS 3113. Fall odd.
Objectives
The student will perform basic proofs in the foundations of computer science. The student will understand some of the theory behind regular languages and automata. The student will be able to construct grammars, automata and turing machines.
Outcomes
- Understand the basic principles behind mathematical induction
- Be able to construct basic proofs for sets and languages
- Understand the idea of deterministic and nondeterministic automata
- Construct simple machines and grammars for a variety of languages
- Prove properties for both regular and context-free languages
- Be able to construct turing machines for solving problems
Grading
Grades are assigned on a standard scale with the following weights:
Tests (3) 70% Final 30%
Schedule
(subject to change)
| Week | Topic | Reading | Assignment |
|---|---|---|---|
| 1 | Chapter 1 | ||
| 2 | Chapter 2.1-3 | ||
| 3 | Chapter 2.4-5 | ||
| 4 | Chapter 3.1-2 | ||
| 5 | Chapter 3.3-4.1 | ||
| 6 | Chapter 4.2-3 | ||
| 7 | Chapter 4.4 | ||
| 8 | Chapter 5.1-2 | ||
| 9 | Chapter 5.3-4 | ||
| 10 | Chapter 6 | ||
| 11 | Chapter 7 | ||
| 12 | Chapter 8 | ||
| 13 | Chapter 9 | ||
| 14 | Chapter 10 |
Dates to Remember
Assignments
Homework
Materials
Textbook
Introduction to the Theory of Computation, 3rd ed. (ISBN: 978-1133187790), by Michael Sipser. Course Technology, 2012. (Amazon)
Online Resources
- Go here for course supplements.
- OR go to the online repository
Software Downloads
JFLAP is software for exploring and experimenting with automata, machines and grammars.
Course Policies
See Department Policies which will be adhered to within the course.
See Also
- Mathematical Induction en.wikipedia.org/wiki/Mathematical_induction Wikipedia article
