Text this: Sintez diagnostirujemych schem vyčisliteľnych ustrojstv /