Изменения

Функция для проверки достижимости состояний.

'''function''' checkReachability('''int''' u, '''boolean'''[] visited):

'''for''' c <tex>\in</tex> <tex>\Sigma</tex>

'''if''' '''not''' visited[<tex>\delta</tex>[u][c]]