final version of the slides

Slides are easier to understand:

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

final version of the report and slides

v0.2 - second draft

changelog:

    proofread
    add algorithms in appendix
    more concrete explanations in preliminaries

first draft