Title: Analiz i sintez mashin-avtomatov