code: def sameState (s1, s2):
      
      if (len(s1[1]) != len(s2[1])) or (s1[2] != s2[2]):
          return False
      for arcIndex in range(0, len(s1[1])):
          arc1 = s1[1][arcIndex]
          arc2 = s2[1][arcIndex]
          if arc1[:-1] != arc2[:-1]:
              return False
      return True
docs: sameState(s1, s2)
      Note:
      state := [ nfaclosure : Long, [ arc ], accept : Boolean ]
      arc := [ label, arrow : Int, nfaClosure : Long ]