Lecture and Seminary on Thursday, March 22, 2018
Section outline
-
Topics: - Crossing sequences for 2DFAs
- 2DFAs just accept regular languages
- Moore automaton
- Mealey automaton
- finite-state transducer
- finite transduction
- rational relation
- Theorem of Nivat characterizing rational relations
- REG is closed under finite transductions
-
-
The solutions to these problems are to be presented and discussed in the Seminary on March 29, 2018.
-
-