Title: Algoritmy sinteza diskretnykh avtomatov
Subjects: Sequential machine theory, LI︠A︡PAS (Computer program language)