Контекстная грамматика для языка

Question

У меня проблема со следующим языком:

Я должен написать контекстную грамматику:

который описывает это.Я уже сделал несколько упражнений, но это очень тяжело для меня. Я сижу часами без полезного подхода.Не было бы проблемой написать грамматику без части N0: (m = l) v (l = 2n) .Но я не знаю, как это сделать.Буду очень благодарен за любой совет.

Answer 1

Я не уверен насчет синтаксиса для G2, но работает следующий CFG:

S = S1 | S2

S1 = S11 C
S11 = <empty> | a S11 b
C = <empty> | c C

S2 = aa S2 c | B
B = <empty> | b B