The following CFG is in S ? AB**spaceB ? CD**spaceB ? AD**spaceB ? b**spaceD ? AD**spaceD ? d**spaceA ? a**spaceC ? a
A)Chomsky normal form but not strong Chomsky normal form
B)Weak Chomsky normal form but not Chomsky normal form
C)Strong Chomsky normal form
D)Greibach normal form

Question

Quizplus · Accepted Answer

The given CFG is in Strong Chomsky Normal Form (SCNF) because all productions are of the form A → BC, A → a, or S → ε, where A, B, and C are non-terminal symbols, a is a terminal symbol, and S is the start symbol. There are no productions of the form S → ε, but all other productions fit the criteria for SCNF.

The Following CFG Is in S ? AB**spaceB ? CD**spaceB

The Following CFG Is in S ? ABspaceB ? CDspaceB