Построить грамматику, которая генерирует L:Построить грамматику, которая генерирует L = {а^рь^тс^п | п> = 0, т> = 0, р = т + п}
L = {а^рь^тс^п | п> = 0, т> = 0, р = т + п}
До сих пор я пытался это много:
S->A
A->aAb|B
B->aBc|epsilon
Является ли мой право грамматики?
Я не могу дать математическое доказательство, но давайте попробуем перечислить строки грамматики могут продуцировать:
ε, ас, AACC, aaaccc ... (более же # а и с), ab, aabb, aaabbb, ... (более те же # из a и b), aacb, aaaccb, aaacbb, aaaaccbb, ... (больше # a, что совпадает с # b + c)
Теперь делает :
a^p b^m c^n
указывает, что заказ должен быть строго выполнен? то есть сначала b и c. если да, вы можете сами убедиться, что b и c фактически заменены в вашей грамматике.
Да, заказ должен быть сохранен (а затем b, а затем c) Как исправить неправильную замену? –
Хорошо, теперь получили его S-> а A-> Aac | B B-> Abb | эпсилон Я предполагаю, что это правильная грамматика. Спасибо @LeleDumbo –