docs: def define(self):
          """If DFA is empty, create a sink state"""
          if len(self.states) == 0:
              for char in self.alphabet:
                  self.add_arc(0, 0, char)
                  self[0].final = False