DFA

fun DFA()