Automata & Formal Languages
	            CMSC 451 	 	Mark E Woodcock
		    Spring 2022		443-634-0943 (work)
		    TR 7:10-8:25	ITE 349 (office)
		    ILS 233		OH: Tuesday, After class
		    http://www.cs.umbc.edu/~woodcock/	     
			     
	Tuesday	           Thursday		 
February
 1 Admin/ Cantor            3 Foundations (1)
 8 DFA,NFA (2.1-2)         10 e-moves	(2.5)
15 equivalence             17 reg expr (3.1)	
22 applications	(3.3)	   24 output/variations
March 
 1 Pumping Lemma (4.1)	    3 Closure (4.2)	
 8 Decision Props (4.3)    10 TEST I	
15 CFG's (5.1)		   17 Derivations
22 SPRING BREAK SPRING BREAK SPRING BREAK
29 Simplifications (7.1)   31 Normal Forms (5.3)
April
 5 Ambiguity  (5.4)         7 PDAs   (6.1)
12 Equiv w/CFLs (6.2)	   14 Pumping II (7.2)
19 Closure (7.3)	   21 Decision Props (7.4)
26 TEST II		   28 TMs (8.2)	
May
 3 integer comp (8.3)	    5 Church
10 Recursive & RE          12 Halting Prob (9.1)
17 Properties of Rec & RE 

EXAMS	 
Exams will be comprehensive and closed-book.  Midterm exams will be
held during regular class time.  The final exam will be held, as
scheduled by the registrar, from 8:30-10:30 on Thursday, May 19, 2022.

HOMEWORK 
There will be several homeworks, primarily problems from the book, during 
the semester.  Homeworks will be weighted according to their difficulty
and importance.  You may discuss assignments with others, but you are
only permitted to hand-in individual effort (e.g. solutions, programs).

GRADES
Course grades will generally be determined using the following
components and weights:

	Midterm		15 (each)
	Homework	30 (total)
	Final Exam	40 

While a normal (boring) Bell Curve is expected, the instructor
reserves the right to construct one, to consider class participation,
relative improvement, to give all A's or flunk the whole class (where
appropriate).

BOOK

Introduction to Theory of Computation
Sipser
PWS Publishing.
(Older editions may also serve as a useful reference.)

COMMUNICATION

I will put raw grades and a variety of announcements on Blackboard; the finished grades will appear here (as noted above).  Expect some adjustments to the schedule as the semester progresses.

CONTACTING THE INSTRUCTOR
I will be working full-time all semester, so the best time to catch
me will directly before or after class.  If you wish to set up some 
time to see me, call me at work, leave a message with the department or
send me e-mail (woodcock@cs.umbc.edu).

GRADER
Sai Karthik Dattu Cheemakurthi email: wz30691@umbc.edu
Office Hours:  MW 1130-1330 (near ITER-349)
Webex:  https://umbc.webex.com/meet/wz30691