(a)



  S 0 1 $\epsilon$
S     \ensuremath{\dot{=}}  
0 \ensuremath{\dot{=}} \ensuremath{<\cdot} \ensuremath{\dot{=}}  
1     \ensuremath{\dot{=}}, \ensuremath{\cdot>} \ensuremath{\cdot>}
$\epsilon$   \ensuremath{<\cdot}    




Tehát nem egyszerű precedencia nyelvtan. Az 1-1 párnál van a gond.



(b)



  S 0 1 $\epsilon$
$\epsilon$   \ensuremath{<\cdot}    
S        
0 \ensuremath{\dot{=}} \ensuremath{<\cdot} \ensuremath{\dot{=}}  
1        
SS        
S0        
S1     \ensuremath{\dot{=}}  
0S     \ensuremath{\dot{=}}  
00 \ensuremath{\dot{=}} \ensuremath{<\cdot} \ensuremath{\dot{=}}  
01     \ensuremath{\dot{=}}  
1S        
10        
11     \ensuremath{\cdot>} \ensuremath{\cdot>}




Egy elemzés:



$(\epsilon\;,\;001111\;,\;\epsilon)\ensuremath{\rightarrow} (\ensuremath{<\cdot}... ...dot}\; 0\ensuremath{<\cdot}\; 0\;,\;1111\;,\;\epsilon)\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot}\; 0\ensuremath{<\cdot}\; 0\ensuremath{\dot{=}}\; 1\;,\;111... ...t{=}}\; 1\ensuremath{\dot{=}}\; 1\;,\;11\;,\;\epsilon)\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot}\; 0\ensuremath{\dot{=}}\; S\;,\;11\;,\;2)\ensuremath{\righ... ...ot{=}}\; 1\ensuremath{\dot{=}}\; 1\;,\;\epsilon\;,\;2)\ensuremath{\rightarrow} $
$(S\;,\;\epsilon\;,\;21)\ensuremath{\rightarrow} $Accept.