Describir: Sintez diagnostirujemych schem vyčisliteľnych ustrojstv /