def test_or(self):
    a = NFA.build_a('a')
    b = NFA.build_a('b')
    ab = NFA.build_or(a, b)

    self.assert_(ab.initial)
    self.assert_(ab.finals)
 def Or(self, t):
   b = self.pop()
   a = self.pop()
   ab = NFA.build_or(a, b)
   self.push(ab)