The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
0 votes
10 views

Find a grammar equivalent to $S\rightarrow aAB, A\rightarrow bBb, B\rightarrow A|\lambda$ that satisfies the conditions of Theorem 5.2.

Theorem 5.2
Suppose that $G = (V, T, S, P)$ is a context-free grammar that does not have any rules of the form $A → λ,$ or $A → B,$ where $A, B ∈ V.$ Then the exhaustive search parsing method can be made into an algorithm which, for any $w ∈ Σ^*,$ either produces a parsing of $w$ or tells us that no parsing is possible.

asked ago in Theory of Computation by Loyal (7.1k points) | 10 views

Please log in or register to answer this question.

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
50,069 questions
53,206 answers
184,550 comments
70,420 users