бнф что это

Ответ от Carlos[гуру]
Язык палиндромов над алфавитом {a, b} (epsilon - пустая цепочка) : S ::= aSa | bSb | a | b | epsilon Остается только доказать что язык пораждаемый данной грамматикой является заявленным, то есть что любая цепочка выводимая по грамматике является палиндромом, и что для любого палиндрома существует вывод в грамматике из метасимвола S заканчивающийся им. Писать формально - много букв, а по виду очевидно что это то что нужно.