0	1	a	{A|B}
1	2	<eps>	a
2	3	a	{AA|B}
3	2	<eps>	a
2	4	b	{A|B}
4	0	<eps>	b
0	5	b	{A|B}
5	0	<eps>	b
0
2