Teorie automatů nedeterministicky na deterministicky automat.pdf Mooreuv stroj k automatu.pdf Mealyho_ sekvencní_stroj.pdf automat podilovy automat normovany tvar.pdf