Title: Rekurrentnyĭ sintez testov proverki kombinat︠s︡ionnykh avtomatov