Ви є тут

О синтезе автоматов по конечным фрагментам их поведения