Synthesis of Digital Automata / Problemy Sinteza Tsifrovykh Avtomatov / ???????? ??????? ???????? ?????????