построение CFG

Как я могу построить Граммер без контекста для языка x ^ ay ^ bz ^ 2 (a + b) , где a> = 0, b> = 0. Спасибо за помощь ...