changed NFA to DFA (since they only have the capability to simulate a DFA) and changed LPAREN/RPAREN to LBRACKET/RBRACKET