Seol mar théacs é seo: [Algoritmy sinteza diskretnykh avtomatov (romanized form)]