code: def _read_transitions(self):
          
          states = []
          i = 0
          regex = re.compile('[ \t\n\r:,]+')
          found = 0  # For maintaining the state of yy_nxt declaration
          state = 0  # For maintaining the state of opening and closing tag of yy_nxt
          substate = 0  # For maintaining the state of opening and closing tag of each set in yy_nxt
          mapping = []  # For writing each set of yy_next
          cur_line = None
          with open(self.outfile) as flex_file:
              for cur_line in flex_file:
                  if cur_line[0:35] == "static yyconst flex_int16_t yy_nxt[" or cur_line[0:33] == "static const flex_int16_t yy_nxt[":
                      found = 1
                      # print 'Found yy_next declaration'
                      continue
                  if found == 1:
                      if state == 0 and cur_line[0:5] == "    {":
                          state = 1
                          continue
                      if state == 1 and cur_line[0:7] == "    } ;":
                          state = 0
                          break
  
                      if substate == 0 and cur_line[0:5] == "    {":
                          mapping = []
                          substate = 1
                          continue
                      if substate == 1:
                          if cur_line[0:6] != "    },":
                              cur_line = "".join(cur_line.split())
                              if cur_line == '':
                                  continue
                              if cur_line[cur_line.__len__() - 1] == ',':
                                  splitted_line = regex.split(
                                      cur_line[:cur_line.__len__() - 1])
                              else:
                                  splitted_line = regex.split(cur_line)
                              mapping = mapping + splitted_line
                              continue
                          else:
                              cleared = []
                              for j in mapping:
                                  cleared.append(int(j))
                              states.append(cleared)
                              mapping = []
                              substate = 0
  
          return states
docs: Read DFA transitions from flex compiled file
          Args:
              None
          Returns:
              list: The list of states and the destination for a character