|
COURSE SYLLABUS COT 5310: Theory of Automata and Formal Languages Prerequisites: COT 4420 or
Equivalent Spring Semester 2024 |
This course is designed to
complement the material learned in COT 4420, Theory of Computation, to create a
well-rounded and rigorous treatment of topics in the Theory of
Computation. The undergraduate class dealt with formal languages and
automata, while this course deals with computability theory. Classic
computability theory is defined by what abstract machines, i.e. Turing and Post
machines, are capable of computing. In this course we develop this same
material using a very simple programming language first developed by Martin
Davis. The approach is very rigorous, yet the use of a programming
language is much more intuitive than the classical approach using Turing
machines. Students are expected to master many sophisticated concepts and
will be asked to show their mastery with problems and in-class tests that will
include technical proofs. Material covered in the course will include:
Material covered in the course
will include:
Mathematical Preliminaries
A Programming Language
Computable Functions
Primitive Recursive Functions
Coding Programs by Numbers
The Halting Problem
Universality
Recursively Enumerable Sets
Diagonalization and Reducibility
A Computable Function That Is Not
Primitive Recursive
Relationships to Turing Machines
Regular Languages and Machines
Context-free Languages and
Machines
Sudhir Aggarwal
Room 263, Love Building
Office hours: Tuesdays and Thursdays: 1:00 pm to 2:00 pm.
Trina Dutta
Contact: td19e@fsu.edu
Office hours via zoom: Wednesdays: 11am to 12 noon.
Martin Davis, Ron Sigal, and Elaine J. Weyuker, Computability,
Complexity, and Languages, Second
Edition,
Morgan Kaufman,
ISBN-13: 978-0122063824
Useful Auxiliary Text:
The book below is
very, very useful and you can get any edition, used or new.
[Linz] Peter Linz. An Introduction to Formal Languages and Automata, Jones and Bartlett.
Much of the
communication will be via this website or information given in class. Canvas
may be used to post raw scores of assignments / tests, etc. All other
information related to grades etc. on Canvas may not be correct. Do not email
or text anything via Canvas for the class instructor as it may not be answered.
Lectures |
Tuesdays and Thursdays |
3:05 pm -
4:20 pm |
LOV0307 |
Week
# |
Meeting
Days |
Reading
Assignments & Information |
Class
Notes & Homework
Assignments |
1 |
January 9, 2024 January 11, 2024 |
Read
Lecture1 and Chapter 1 in text. Lecture
1 covers through Chapter 2.2 in text. Read through that point in text. |
|
2 |
January 16, 2024 January 18, 2024 |
Start
reading Lecture 2 till slide 15. and finish reading Chapter 2 in text. Start
review of prerequisite Watch
video Start
reading Lecture 7 and Chapter 9 in text through Section 4. |
Lecture2:
Programs and Computatble Functions Sup2:NFAs Sup3:DFAs Sup4:NFAs Homework 1:
Due January 30, 2024 |
3 |
January 23, 2024 January 25, 2024 |
Finish
reading Sup 1-4. Read Sup 19. Finish reading Lecture 7 and Chapter 9 in text
through 9.4. Start
reading Lecture 8 and the rest of Chapter 9 in text from 9.5. |
|
4 |
January 30, 2024 February 1, 2024 |
Finish
reading Lectures 7 and 8, and through chapter 9.5 in text. Also read pages
36-57 in Lecture3-cot4420. Read Notes-7. Read
pages 59 and 66-69 in Lecture4-cot4420. Finish assigned readings in text. Finish
all readings related to Chapter 9 in text: Regular Languages |
Homework 2:
Due February 8, 2024 |
5 |
February 6, 2024 February 8, 2024 |
Start
reading Chapter 3 in text: Primitive Recursive Functions. Read
Lecture 2 pages 21-26. Start
reading Lecture 3 pages 1-26. Continue
to complete previous assigned readings. |
|
6 |
February 13, 2024 February 15, 2024 |
Finish
previously assigned readings. Continue reading Lecture 3 through page 40, and
sections 3.1 to 3.7 in text. Continue
to complete previous assigned readings. |
Homework
3:Due February 23, 2024 Homework
3 due date changed to February 23 noon, 2024. |
7 |
February 20, 2024 February 22, 2024 |
Review of Homework 2. Continue with readings. Finish previous readings. Start reading Lecture 3 from page 41 to end, and
chapter 3.8.(this will not be on Midterm1) |
|
8 |
February 27, 2024 February 29, 2024 |
Review
of Homework 3 and discussion related to Midterm 1. Midterm
1 |
|
9 |
March 5, 2024 March 7, 2024 |
Review
section 3.8 in text. Start Reading Lecture 4, and Chapter 4.1-4.2 in text. Start
reading Chapter 4.3 in text and reading the rest of Lecture 4
|
|
10 |
March 12, 2024 March 14, 2024 |
Spring
Break -- No Classes Spring
Break -- No Classes |
|
11 |
March 19, 2024 March 21, 2024 |
Continue
reading Chapter 4.3 in text. Read Lecture 5 through page 10. Continue
previous readings |
Lecture5:
Universality and R.E. Sets |
12 |
March 26, 2024 March 28, 2024 |
Start
reading Lecture 9 and Lecture5-cot4420. Finish
reading Lecture5-cot4420 and Lecture 9. Start reading Chapter 10 in text
regarding similar material. Read
Lecture6-cot4420 through page 101. |
Lecture9:
Context-Free Languages |
13 |
April 2, 2024 April 4, 2024 |
Read
Lecture7-cot4420 Review
Lecture 9 & similar material in text Chapter 10. Continue
all readings. |
|
14 |
April 9, 2024 April 11, 2024 |
Review,
including Homework 5. Midterm 2 |
|
15 |
April 16, 2024 April 18, 2024 |
Review of Midterm 2 Finish reading Lecture 5 starting from page 8 and
text section 4.4 (R.E. Sets). Start reading Lecture 6. Continue previous readings |
|
16 |
April 23, 2024 April 25, 2024 |
Read Lecture 6 until Parameter Theorem.
Finish all assigned readings. Review of Course |
|
EXAM WEEK |
April 29-May 3, 2024 |
FINAL EXAM: Tuesday, April 30,
2023, at 5:30 pm to 7:30 pm |
|
Initial
Course Curve COT5310 Spring 2024
|
|
85 |
A |
80 |
A- |
75 |
B+ |
70 |
B |
65 |
B- |
60 |
C+ |
55 |
C |
50 |
C- |
40 - 49 |
D-, D, D+ |
|
F |
|
|
Revised Course
Curve COT5310 Spring 2024 (Revised March 29, 2024)
|
|
80 |
A |
75 |
A- |
70 |
B+ |
60 |
B |
55 |
B- |
50 |
C+ |
40 |
C |
30-39 |
D-, D, D+,C- |
Less than 30 |
F |
|
COURSE POLICIES:
ACADEMIC HONOR POLICY:
The Florida State University Academic Honor Policy
outlines the University's expectations for the integrity of students' academic
work, the procedures for resolving alleged violations of those expectations,
and the rights and responsibilities of students and faculty members throughout
the process. Students are responsible for reading the Academic Honor
Policy and for living up to their pledge to ". . . be honest and truthful
and . . . [to] strive for personal and institutional integrity at Florida State
University."
Florida State University Academic Honor Policy,
found at: http://fda.fsu.edu/Academics/Academic-Honor-Policy
Academic Success
Your
academic success is a top priority for Florida State University. University
resources to help you succeed include tutoring centers, computer labs,
counseling and health services, and services for designated groups, such as
veterans and students with disabilities. The following information is not
exhaustive, so please check with your advisor or the Department of Student
Support and Transitions to learn more.
AMERICANS WITH DISABILITIES ACT:
Students
with disabilities needing academic accommodation should: (1) register with and
provide documentation to the Office of Accessibility Services; and (2) request
a letter from the Office of Accessibility Services to be sent to the instructor
indicating the need for accommodation and what type; and (3) meet (in person,
via phone, email, skype, zoom, etc...) with each instructor to whom a letter of
accommodation was sent to review approved accommodations. This syllabus and
other class materials are available in alternative format upon request. For the
latest version of this statement and more information about services available
to FSU students with disabilities, contact the Office of Accessibility Services
874 Traditions Way
108 Student Services Building
Florida State University Tallahassee, FL 32306-4167
(850) 644-9566 (voice)
(850) 644-8504 (TDD)
oas@fsu.edu
Various centers and programs are available to assist students with
navigating stressors that might impact academic success. These include the
following:
Victim Advocate Program University Center A, Room 4100, (850) 644-7161, Available 24/7/365, Office Hours: M-F 8-5
https://dsst.fsu.edu/vap |
Counseling & Psychological Services Askew Student Life Center, 2ndFloor, 942 Learning Way
(850) 644-8255 https://counseling.fsu.edu/ |
University Health Services Health and Wellness Center (850) 644-6230 https://uhs.fsu.edu/ |
FS Approved: 10/21/2020; Counseling
Center name updated 5/3/2021; Dean of Students name change 11/3/2021;
ATTENDANCE POLICY:
Excused absences
include documented illness, deaths in the family and other documented crises,
call to active military duty or jury duty, religious holy days, and official
University activities. These absences will be accommodated in a way that does
not arbitrarily penalize students who have a valid written excuse.
Consideration will also be given to students whose dependent children
experience serious illness.
SYLLABUS CHANGE POLICY:
Except for changes that substantially
affect implementation of the evaluation (grading) statement, this syllabus is a
guide for the course and is subject to change with advance notice.