edited by
218 views
0 votes
0 votes

We defined the relation $\overset{*}\Rightarrow$ with a basis $"\alpha\Rightarrow \alpha $ and an induction that says $\alpha\overset{*}\Rightarrow\beta$ and $\beta\Rightarrow\gamma$ imply $\alpha\overset{*}\Rightarrow\gamma.$ There are several other ways to define $\overset{*}\Rightarrow$ that also have the effect of saying that  $"\overset{*}\Rightarrow$ is zero or more $\Rightarrow$ steps.$"$  Prove that the following are true$:$

  1. $\alpha\overset{*}\Rightarrow\beta$ if and only if there is a sequence of one or more strings. $\gamma_{1},\gamma_{2},.....\gamma_{n}$ Such that $\alpha=\gamma_{1},\beta=\gamma_{n},$ and for $i=1,2,...,n-1$ we have $\gamma_{i}\Rightarrow \gamma_{i+1}.$
  2. If $\alpha\overset{*}\Rightarrow\beta,$ and $\beta\overset{*}\Rightarrow\gamma,$ then $\alpha\overset{*}\Rightarrow\gamma.$ Hint$:$ Use induction on the number of steps in the derivation $\beta\overset{*}\Rightarrow\gamma.$
edited by

Please log in or register to answer this question.

Related questions

0 votes
0 votes
0 answers
1
0 votes
0 votes
1 answer
2
admin asked Apr 6, 2019
1,281 views
Consider the CFG $G$ defi ned by productions$:$$S\rightarrow aSbS|bSaS|\in$Prove that $L(G)$ is the set of all strings with an equal number of $a's$ and $b's.$
0 votes
0 votes
1 answer
3