ECE 6514

( Automata Theory for Engineering Applications)

CRN: 16188
This course provides the theoretical foundation for automata and formal language theory and presents
various engineering applications, such as hybrid control systems, discrete event systems,
programming language analysis and design, digital design, verification and validation of software
and digital systems, etc.
 
Taught by
Dr.. Pushkin Kachroo
pushkin@vt.edu
231-2976
Listserve
ece6514_16188@listserv.vt.edu
Grading
Tests: 100% 
Latest Student Scores
Lecture Room
Durham 261
Lecture Time
03:30-04:45 P.M.(T-Th)
Office Hours
Location: 459 Durham
Textbook
  • An Introduction to Formal Languages and Automata, Third Edition, Peter Linz, Jones and Bartlett, 2001.
  • Introduction to Process Algebra, Wan Fokkink, Springer 2000.
Credits
3.00

Schedule:

 
Jan13
T
Introduction (Ch1)
Th
Introduction (Ch1)
Jan20
T
Finite Automata (Ch2)
Th
Finite Automata (Ch2)
 
 
Jan27
T
Regular Languages (Ch3)
Th
Regular Languages (Ch3)
 
classnotes_1
Feb3
T
Properties of RL (Ch4)
Th
Test1 Test1Soln
 
classnotes_2
Feb10
T
Properties of RL (Ch4)
Th
Context Free Languages (Ch5)
 
classnotes_3
Feb17
T
Transforming Grammars (Ch6)
Th
Pushdown Automata (Ch7)
 
classnotes_4
Feb24
T
Properties CFL (Ch8)
classnotes_5
Th
classnotes_6
 
 
Mar3
T
SpringBreak 
Th
SpringBreak 
 
 
Mar10
T
Test2 Test2Soln
Th
Standard Turing Machines (Ch9)  classnotes_7
 
 
Mar17
T
Other Turing Machines (Ch10)
Th
Recursive Languages (Ch11)
 
 
Mar24
T
Recursive Languages (Ch11)
Th
Test3   Test3Soln
 
 
Mar31
T
Ch12
Th
Ch12
 
 
Apr7
T
Ch12
Th
Ch12
 
 
Apr14
T
Ch13
Th
Ch13
 
 
Apr21
T
Ch13
Th
Complexity Analysis
 
 
Apr28
T
 
Th
 
 
Final Exam