docs: def main():
      """Testing function for DFA _Brzozowski Operation"""
      if len(argv) < 2:
          targetfile = 'target.y'
      else:
          targetfile = argv[1]
      print 'Parsing ruleset: ' + targetfile,
      flex_a = Flexparser()
      mma = flex_a.yyparse(targetfile)
      print 'OK'
      print 'Perform minimization on initial automaton:',
      mma.minimize()
      print 'OK'
      print 'Perform StateRemoval on minimal automaton:',
      state_removal = StateRemoval(mma)
      mma_regex = state_removal.get_regex()
      print mma_regex