Chapter 6, Problem 42CRP

Explanation of Solution

Sequence of given syntax diagram:

The sequence for the given syntax diagram is shown below:

<String> ::= x <String> x | y

Example:

The example for sentence of given syntax diagram is shown below:

The sample string “xxxyxxx” is proved by using the above sentence.

$\begin{array}{c}<String>::=x<String>x\\ ::=xx<String>xx\{Byrule<String>::=x<String>x\}\\ ::=xxx\end{array}$