Describir: Синтез управляющих автоматов