Изменения

Перейти к: навигация, поиск
Псевдокод
*<tex>\mathtt{R}</tex> {{---}} класс состояний ДКА.
'''pair<set, set>''' '''function''' findEquivalenceClasses<tex>(Q,\ F,\ \delta)</tex>:'''vector'''
<tex>\mathtt{P} \leftarrow \{ F,\ Q \setminus F \}</tex>
<tex>\mathtt{S} \leftarrow \varnothing </tex>
Анонимный участник

Навигация