Описать язык порождаемый грамматикой имеющие следующее правила S->bSS|a

[Ivan912]

Описать язык порождаемый грамматикой имеющие следующее правила
S->bSS|a
Нашёл вот такое описание
L={u|u ∈ (a, b)* |a|=|b|+1 причём цепочка называется с терминала b и заканчивается терминалом a}

Мне не совсем понятно, как пришли к такому описанию.
1)Почему (a,b)* зачем тут звёздочка?
2)Нетерминалы S просто получается про игнорировались?
3)Почему модуль |a| равняется модулю |b|+1?
4)Стоит знак | или, но при этом пишется,что цепочка начинается с b и заканчивается на

[Pavia]

Сообщение от Ivan912

L={u|u ∈ (a, b)* |a|=|b|+1 причём цепочка называется с терминала b и заканчивается терминалом a}

Мне не совсем понятно, как пришли к такому описанию.
1)Почему (a,b)* зачем тут звёздочка?
2)Нетерминалы S просто получается про игнорировались?
3)Почему модуль |a| равняется модулю |b|+1?
4)Стоит знак | или, но при этом пишется,что цепочка начинается с b и заканчивается на

Эта какашка выкиньте её.
Начните с основ
Свердлов С.З.-Языки программирования и методы трансляции-Питер (2007)
Глава Теоретические основы трансляции.

[Black Fregat]

Забавное "описание"..
На мой взгляд, это самое |a|=|b|+1 нужно читать как "количество символов <а> в цепочке на единицу больше количества символов <b>"
Это необходимо, но не достаточно: цепочка baaba не подходит под грамматику.
Нужен правильный баланс символов b и a по всей длине цепочки