- Thread starter
- #1

- Apr 14, 2013

- 4,713

I am asked to convert the following grammar into Chomsky Form

$$\Sigma=\{a,b,c,+\}, \Sigma_Q=\{S,V\},I=S$$

$$S -> S+S|V$$

$$V -> a|b|c$$

My idea is the following:

$$S_0 \rightarrow S$$

$$S \rightarrow ST|V$$

$$T \rightarrow +S$$

$$V \rightarrow A|B|C$$

$$A \rightarrow a$$

$$B \rightarrow b$$

$$C \rightarrow c$$

Could you tell me if my idea is right?