Это правило означает, что каждая строка в языке имеет одинаковое количество a
в начале и в конце, причем все, что вы хотите (включая больше a
) между.
Так что aaa
, aba
, aabaa
и abaa
все на языке (при условии, что b
в Σ).
На самом деле, достаточно, чтобы строка была не менее 2 длина символов и a
с обоих концов (оставлено как упражнение).