Детерминизация систем графов и синтез конечных автоматов В.С. Гринберг — 1966 Sibirskij matematiceskij zurnal