opgaven formele structuren deterministische eindige automaten