Dfa automata examples. Lotf pdf. Elizade. Gerald henderson sixers.