Value of

Codon

Context-free Grammar

B ::= V (0) O ::= and (0) V ::= t (0)

B ::= (BOB) (1) O ::= or (1) V ::= f (1)

B ::= ~B (2)

Sentential

Form

Number of

Nonterminals

Nonterminal

Expanded

Rule

Selected

Number of

Choices

10 31

B

1

B

B ::= (BOB)

3

5 11

(BOB)

3

2nd B

B ::= ~B

3

31 3

(BO ~B)

3

O

O ::= or

2

14 9

(B or ~B)

2

1st B

B ::= V

3

22 3

(V or ~B)

2

V

V ::= f

2

45 6

(f or ~B)

1

B

B ::= V

3

88 8

(f or ~V)

1

V

V ::= t

2

73 56

(f or ~t)

0