(a)

A halmazok és a tábla:

$\mathbf{T_0=\epsilon}$	T0S=T1	T0A=T2
$S'\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} S,\;\epsilon$	$S'\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} ,\;\epsilon$	$S\ensuremath{\rightarrow} A\ensuremath{\mathbf{.}} b,\;\epsilon$
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} Ab,\;\epsilon$		$S\ensuremath{\rightarrow} A\ensuremath{\mathbf{.}} c,\;\epsilon$
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} Ac,\;\epsilon$		$A\ensuremath{\rightarrow} A\ensuremath{\mathbf{.}} B,\;b\vert c\vert a$
$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} AB,\;b\vert c\vert a$		$B\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} a,\;b\vert c\vert a$
$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} a,\;b\vert c\vert a$
T0a=T3	T2b=T4	T2c=T5
$A\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} ,\;b\vert c\vert a$	$S\ensuremath{\rightarrow} Ab\ensuremath{\mathbf{.}} ,\;\epsilon$	$S\ensuremath{\rightarrow} Ac\ensuremath{\mathbf{.}} ,\;\epsilon$
T2B=T6	T2a=T7
$S\ensuremath{\rightarrow} AB\ensuremath{\mathbf{.}} ,\;b\vert c\vert a$	$B\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} ,\;b\vert c\vert a$

	a	b	c	$\epsilon$	a	b	c	A	B	S
T0	S				T3			T2		T1
T1				A
T2	S	S	S		T7	T4	T5		T6
T3	4	4	4
T4				1
T5				2
T6	3	3	3
T7	5	5	5

(b)

Az elemzés (elöl a veremtartalom, a veremtető a jobboldalon, aztán az input, aztán az output):
$(T_0\;,\;aaab\;,\;\epsilon)\ensuremath{\rightarrow}$
$(T_0aT_3\;,\;aab\;,\;\epsilon)\ensuremath{\rightarrow}$
$(T_0AT_2\;,\;aab\;,\;4)\ensuremath{\rightarrow}$
$(T_0AT_2aT_7\;,\;ab\;,\;4)\ensuremath{\rightarrow}$
$(T_0AT_2BT_6\;,\;ab\;,\;45)\ensuremath{\rightarrow}$
$(T_0AT_2\;,\;ab\;,\;453)\ensuremath{\rightarrow}$
$(T_0AT_2aT_7\;,\;b\;,\;453)\ensuremath{\rightarrow}$
$(T_0AT_2BT_6\;,\;b\;,\;4535)\ensuremath{\rightarrow}$
$(T_0AT_2\;,\;b\;,\;45353)\ensuremath{\rightarrow}$
$(T_0AT_2bT_4\;,\;\epsilon\;,\;45353)\ensuremath{\rightarrow}$
$(T_0ST_1\;,\;\epsilon\;,\;453531)\ensuremath{\rightarrow}$Accept.

(c)

Ha LR(0)-t csináltunk volna, akkor is ugyanezek a halmzok lettek volna, csak nem lett volna követő nyelv odaírva. Tehát a táblázat ugyanúgy nézett volna ki, és mivel az LR(1) elemzőtáblában nincs olyan sor, ahol két különféle tennivaló lenne, ezért minden állapothoz egyértelműen megfeletethető a tennivaló, anélkül, hogy bármit néznénk előre.

(d)

És az elemzéskísérlet:
$(T_0\;,\;acb\;,\;\epsilon)\ensuremath{\rightarrow}$
$(T_0aT_3\;,\;cb\;,\;\epsilon)\ensuremath{\rightarrow}$
$(T_0AT_2\;,\;cb\;,\;4)\ensuremath{\rightarrow}$
$(T_0AT_2cT_5\;,\;b\;,\;4)\ensuremath{\rightarrow}$Hiba!!!!