Text this: Grafický editor programu, špecifikovaného pomocou stavového diagramu = Graphig editor of program specified in the state diagram form :