Recent questions tagged conjunctive-normal-form

1 1 vote
0 0 answers
646
646 views
I am still having some doubts when it comes to Context-Free Grammar to Chomsky Normal Form conversion. Here is what I did for the following CFG: $S \rightarrow bXb \ |\ b...
0 0 votes
0 0 answers
497
497 views
A grammar is said to be in Chomsky Normal Form (CNF) if every production is either of the form $A\rightarrow BC$ or of the form $A\rightarrow a$, where $A, B$, and $C$ ar...
0 0 votes
0 0 answers
700
700 views
The grammar $S\rightarrow a\:S\:a \mid \:a\: a$ generates all even-length strings of $a's$. We can devise a recursive-descent parser with backtrack for this grammar. If w...
0 0 votes
1 1 answer
933
933 views
Let $G$ be a $CFG$ in Chomsky normal form that contains $b$ variables$.$ Show that if $G$ generates some string with a derivation having at least $2^{b}$ steps$, L(G)$ is...
1 1 vote
1 1 answer
848
848 views
Show that if $G$ is a $CFG$ in Chomsky normal form$,$ then for any string $w\in L(G)$ of length $n\geq 1,$ exactly $2n − 1$ steps are required for any derivation of $w.$
0 0 votes
1 1 answer
2.6k
2.6k views
Convert the following $\text{CFG}$ into an equivalent $\text{CFG}$ in Chomsky normal form,using the procedure given in $\text{Theorem 2.9.}$$A\rightarrow BAB \mid B \mid ...
7 7 votes
1 1 answer
37.2k
37.2k views
0 0 votes
1 1 answer
1.8k
1.8k views
To obtain a string of n Terminals from a given Chomsky normal from grammar, the number of productions to be used is$2n-1$$2n$$n+1$$n^2$
0 0 votes
0 0 answers
1.7k
1.7k views
Eliminate ε productions, unit productions, useless symbols and then rewrite the resulting grammar in the Chomsky Normal Form (in that order) for the following two input g...
3 3 votes
1 1 answer
4.3k
4.3k views
Convert the given CFG to GNF.$S \rightarrow MN$$M\rightarrow aMb|\epsilon $$N\rightarrow aNb|\epsilon $
1 1 vote
1 1 answer
1.1k
1.1k views
Every grammar in Chomsky normal form is context-free, and conversely, every context-free grammar can be transformed into an equivalent one[note 1] which is in Chomsky nor...
1 1 vote
2 2 answers
5.7k
5.7k views
State true/falseIn CNF , S- espilon and Start symbol can appear on RHS side of production.
0 0 votes
0 0 answers
1.3k
1.3k views
0 0 votes
1 1 answer
1.7k
1.7k views
If the start symbol derives epsilon.Can we eliminate all epsilons while converting to Chomsky Normal Form?Following question from ullman the answer given they have remove...
1 1 vote
1 answers 1 answer
2.6k
2.6k views
1 1 vote
0 0 answers
8.1k
8.1k views
As the null string belongs to the language generated by the grammar, answer of the following questions should be "none of these"?
1 1 vote
0 0 answers
5.7k
5.7k views
Convert the following context free grammar into Chomsky Normal Form:$S \rightarrow ASA | aB$$A \rightarrow B | S$$B \rightarrow b | \epsilon$Does the appearance of start...
1 1 vote
0 0 answers
2.0k
2.0k views
Given answer is (a) but L->AB i think it is wrong because A and B produce something else Previously, so instead of L->AB there would have given like L->MN M->c1 and N->S ...
1 1 vote
0 0 answers
5.7k
5.7k views
Is it mandatory in GNF that first element in production must be terminal(I am considering there is no Left recursion)Is it mandatory in CNF that in production only two no...
3 3 votes
1 1 answer
1.5k
1.5k views
S->ASBA->aASA | a | ϵB->SbS | A | bbConvert this grammar into Chomsky Normal Form
1 1 vote
2 answers 2 answers
1.3k
1.3k views
The Conjunctive Normal form of a formula $F$ is$(P \vee Q \vee P) \wedge (P \vee Q \vee Q) \wedge (¬P \vee ¬Q \vee ¬P) \wedge (¬P \vee ¬Q \vee ¬Q)$. where, $\we...
2 2 votes
2 2 answers
3.3k
3.3k views
1. Assume that we have CNF tree of depth of h(Assume root at height 0).What is the maximum yeild possible in terms of h?2. Assume that we have a string of length n,what i...
1 1 vote
0 0 answers
502
502 views
Can ambiguous context free grammar be converted into CNF form..?
70 70 votes
7 answers 7 answers
26.2k
26.2k views
Which of the following is TRUE about formulae in Conjunctive Normal Form?For any formula, there is a truth assignment for which at least half the clauses evaluate to true...
To see more, click for the full list of questions or popular tags.