Slides are easier to understand:

- write automaton diagram with classic automaton notations
- split explanation of factorization systems
- write main conclusion items