Построить ДМП преобразователь осуществляющий перевод цепочки из множества

в цепочку вида

, если

или в цепочку

, если

.
Для того что бы его построить нужно сначала, построить СУ-схему, потом транслирующую грамматику и уже по ней ДМП. Но для этого нужно сначала построить саму грамматику, определяющую этот язык, что собственно и не получается, никак не могу выполнить условие

. Может кто помочь разобраться?