Изменения

Перейти к: навигация, поиск

Детерминированные конечные автоматы

264 байта убрано, 19:44, 3 декабря 2014
м
Псевдокод
visited1[u] = ''true''
visited2[v] = ''true''
'''if''' (v.transitions.size '''!=''' u.transitions.size)
'''return''' ''false''
'''if''' (v.terminal '''!=''' u.terminal)
'''return''' ''false'' '''for''' (<tex>\langle c, q \rangle</tex> : u.transitions) '''if''' ('''not''' v.transitions.existTransition(c)) '''return''' ''false''
'''boolean''' result = ''true''

Навигация