Consider the given grammar \( G_{exp4} \), used to represent the structure of arithmetic expressions: \n\( E \\rightarrow E + T \\mid T * F \\mid F \\uparrow P \\mid (E) \\mid id \)\n\( T \\rightarrow T * F \\mid F \\uparrow P \\mid (E) \\mid id \)\n\( F \\rightarrow F \\uparrow P \\mid (E) \\mid id \)\n\( P \\rightarrow (E) \\mid id \)\nTo convert it to an equivalent Greibach Normal Form (GNF), we first convert it to a form similar to Chomsky Normal Form (CNF), and then further adjust it to meet the requirements of GNF. Which of the following options correctly describes the converted grammar \( G_{expGNF} \)?

Options:
A. E \\rightarrow A_+ T \\mid T A_* F \\mid F A_\\uparrow P \\mid id\nT \\rightarrow T A_* F \\mid F A_\\uparrow P \\mid id\nF \\rightarrow F A_\\uparrow P \\mid id\nP \\rightarrow (E) \\mid id\nA_+ \\rightarrow +\nA_* \\rightarrow *\nA_\\uparrow \\rightarrow \\uparrow\nA_1 \\rightarrow (\nA_2 \\rightarrow )
B. E \\rightarrow A_+ T \\mid F A_3 \\mid id\nT \\rightarrow A_* F A_3 \\mid F A_3 \\mid id\nF \\rightarrow A_\\uparrow P \\mid id\nP \\rightarrow E A_+ \\mid id\nA_+ \\rightarrow +\nA_* \\rightarrow *\nA_\\uparrow \\rightarrow \\uparrow\nA_+ \\rightarrow (\nA_- \\rightarrow )
C. E \\rightarrow E A_+ T \\mid T A_* F \\mid F A_\\uparrow P \\mid A_E A_\\uparrow \\mid id\nT \\rightarrow T A_* F \\mid F A_\\uparrow P \\mid A_E A_\\uparrow \\mid id\nF \\rightarrow F A_\\uparrow P \\mid A_E A_\\uparrow \\mid id\nP \\rightarrow A_E A_\\uparrow \\mid id\nA_+ \\rightarrow +\nA_* \\rightarrow *\nA_\\uparrow \\rightarrow \\uparrow\nA_1 \\rightarrow (\nA_2 \\rightarrow )
D. E \\rightarrow E A_+ \\mid T A_* F \\mid F A_\\uparrow P \\mid id\nT \\rightarrow T A_* F \\mid F A_\\uparrow P \\mid id\nF \\rightarrow F A_\\uparrow P \\mid id\nP \\rightarrow (E) \\mid id\nA_+ \\rightarrow +\nA_* \\rightarrow *\nA_\\uparrow \\rightarrow \\uparrow\nA_1 \\rightarrow (\nA_2 \\rightarrow )
E. E \\rightarrow E A_+ T \\mid T A_* F \\mid F A_\\uparrow P \\mid A_E A_* \\mid id\nT \\rightarrow T A_* F \\mid F A_\\uparrow P \\mid A_E A_* \\mid id\nF \\rightarrow F A_\\uparrow P \\mid A_E A_* \\mid id\nP \\rightarrow A_E A_* \\mid id\nA_+ \\rightarrow +\nA_* \\rightarrow *\nA_\\uparrow \\rightarrow \\uparrow\nA_1 \\rightarrow (\nA_2 \\rightarrow )
F. E \\\\rightarrow E A_+ T \\\\mid T A_* F \\\\mid F A_\\\\uparrow P \\\\mid A_E A_+ \\\\mid id\\nT \\\\rightarrow T A_* F \\\\mid F A_\\\\uparrow P \\\\mid A_E A_+ \\\\mid id\\nF \\\\rightarrow F A_\\\\uparrow P \\\\mid A_E A_+ \\\\mid id\\nP \\\\rightarrow A_E A_* \\\\mid id\\nA_+ \\\\rightarrow +\\nA_* \\\\rightarrow *\\nA_\\\\uparrow \\\\rightarrow \\\\uparrow\\nA_1 \\\\rightarrow (\\nA_2 \\\\rightarrow )
G. E \\\\rightarrow E A_+ T \\\\mid T A_* F \\\\mid F A_\\\\uparrow P \\\\mid A_E A_* A_+ \\\\mid id\\nT \\\\rightarrow T A_* F \\\\mid F A_\\\\uparrow P \\\\mid A_E A_* A_+ \\\\mid id\\nF \\\\rightarrow F A_\\\\uparrow P \\\\mid A_E A_* A_+ \\\\mid id\\nP \\\\rightarrow A_E A_* A_+ \\\\mid id\\nA_+ \\\\rightarrow +\\nA_* \\\\rightarrow *\\nA_\\\\uparrow \\\\rightarrow \\\\uparrow\\nA_1 \\\\rightarrow (\\nA_2 \\\\rightarrow )
H. E \\rightarrow E A_+ \\mid T A_* F \\mid F A_\\uparrow P \\mid A_E A_+ \\mid id\nT \\rightarrow T A_* \\mid F A_\\uparrow P \\mid A_E A_+ \\mid id\nF \\rightarrow F A_\\uparrow \\mid A_E A_+ \\mid id\nP \\rightarrow A_E A_+ \\mid id\nA_+ \\rightarrow +\nA_* \\rightarrow *\nA_\\uparrow \\rightarrow \\uparrow\nA_1 \\rightarrow (\nA_2 \\rightarrow )
I. E \\rightarrow E A_+ T \\mid T A_* F \\mid F A_\\uparrow P \\mid A_E A_+ \\mid id\nT \\rightarrow T A_* F \\mid F A_\\uparrow P \\mid A_E A_* \\mid id\nF \\rightarrow F A_\\uparrow P \\mid A_E A_* \\mid id\nP \\rightarrow A_E A_* \\mid id\nA_+ \\rightarrow +\nA_* \\rightarrow *\nA_\\uparrow \\rightarrow \\uparrow\nA_1 \\rightarrow (\nA_2 \\rightarrow )
J. E \\rightarrow E A_+ T \\mid T A_* F \\mid F A_\\uparrow P \\mid A_E A_+ \\mid id\nT \\rightarrow T A_* F \\mid F A_\\uparrow P \\mid A_E A_+ \\mid id\nF \\rightarrow F A_\\uparrow P \\mid A_E A_+ \\mid id\nP \\rightarrow A_E A_+ \\mid id\nA_+ \\rightarrow +\nA_* \\rightarrow *\nA_\\uparrow \\rightarrow \\uparrow\nA_1 \\rightarrow (\nA_2 \\rightarrow )
Answer: J