Syntactic sugar DSL for DFA definition
Updated README with DFA sugar note