Determinization theorem: различия между версиями