Update eindige-automaten.tex

Definitie 3.8 aangevuld.