Изменения
→Псевдокод
    '''for''' (Transition e : u.transitions) 
      '''if''' ('''not''' v.transitions.contains(e)) 
        '''return''' <tex>\tit ''false</tex>''
    '''if''' (v.transitions.size '''!=''' u.transitions.size) 
      '''return ''' ''false'''
    '''boolean''' result = '''true'''
