Automata Theory: José Anastacio Hernández Saldaña
Automata Theory: José Anastacio Hernández Saldaña
<2020-01-18 Sat>
Contents
1 INFO 1
1.1 Instructor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Class Duration . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2.1 Holidays . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2 Themes 2
2.1 Formal Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2.2 Alphabets and languages . . . . . . . . . . . . . . . . . . . . . 2
2.3 Regular languages . . . . . . . . . . . . . . . . . . . . . . . . 2
2.4 Deterministic Finite Automata . . . . . . . . . . . . . . . . . 2
2.5 Non-Deterministic Finite Automate . . . . . . . . . . . . . . . 3
2.6 Free Context Languages . . . . . . . . . . . . . . . . . . . . . 3
2.7 Pushdown automata . . . . . . . . . . . . . . . . . . . . . . . 3
2.8 Chomsky Hierarchy . . . . . . . . . . . . . . . . . . . . . . . . 3
2.9 Turing Machine . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.10 Computational Complexity . . . . . . . . . . . . . . . . . . . 3
3 Score 3
1 INFO
1.1 Instructor
José Anastacio Hernández Saldaña, M.C.
1
1.2.1 Holidays
1. Constitution day:: <2020-02-03 Mon>
2. Benito Juarez/Spring:: <2020-03-16 Mon>
3. Eastern vacations:: <2020-04-06 Mon>–<2020-04-19 Sun>
4. Labour day:: <2020-05-01 Fri>
5. Puebla’s battle:: <2020-05-05 Tue>
6. Teacher’s day:: <2020-05-15 Fri>
2 Themes
2.1 Formal Logic
• Morgan Laws
• Excercise 0.1 odds
• Excercise 0.3 4,6,9
• Excercise 0.4 1,5,13,
• Excercise 0.5 1,2
• Excercise 0.6 1,2,6
2
2.5 Non-Deterministic Finite Automate
• Excercise 2.5 all
3
2.10 Computational Complexity
3 Score
• Homework problems part 1 20 pts <2020-03-13 Fri>
• PIA 20 pts