parser

The list of Terminal symbols is:
a, b, $,
The list of Non-Terminal symbols is:
A, S,
Productions:
S1->S
S->aAb|SA
A->aA|e|S
-------------
State 0:
[S1->.S { $ }]
[S->.aAb { $ }]
[S->.SA { $ }]
[S->.aAb { $a }]
[S->.SA { $a }]
-------------
	|
	|to state 1 label: S----->
	|
	|to state 2 label: a----->

|<-From state 0 label: S
-------------
State 1:
[S1->S. { $ }]
[S->S.A { $ }]
[S->S.A { $a }]
[A->.aA { $ }]
[A->. { $ }]
[A->.S { $ }]
[A->.aA { $a }]
[A->. { $a }]
[A->.S { $a }]
[S->.aAb { $ }]
[S->.SA { $ }]
[S->.aAb { $a }]
[S->.SA { $a }]
-------------
	|
	|to state 3 label: A----->
	|
	|to state 4 label: a----->
	|
	|to state 5 label: S----->

|<-From state 0 label: a
-------------
State 2:
[S->a.Ab { $ }]
[S->a.Ab { $a }]
[A->.aA { b }]
[A->. { b }]
[A->.S { b }]
[S->.aAb { b }]
[S->.SA { b }]
[S->.aAb { ba }]
[S->.SA { ba }]
-------------
	|
	|to state 6 label: A----->
	|
	|to state 7 label: a----->
	|
	|to state 8 label: S----->

|<-From state 1 label: A
|<-From state 5 label: A
|<-From state 8 label: A
-------------
State 3:
[S->SA. { $ }]
[S->SA. { $a }]
[S->SA. { b }]
[S->SA. { ba }]
-------------

|<-From state 1 label: a
|<-From state 4 label: a
|<-From state 5 label: a
|<-From state 7 label: a
|<-From state 8 label: a
-------------
State 4:
[A->a.A { $ }]
[A->a.A { $a }]
[S->a.Ab { $ }]
[S->a.Ab { $a }]
[A->.aA { $ }]
[A->. { $ }]
[A->.S { $ }]
[A->.aA { $a }]
[A->. { $a }]
[A->.S { $a }]
[A->.aA { b }]
[A->. { b }]
[A->.S { b }]
[S->.aAb { $ }]
[S->.SA { $ }]
[S->.aAb { $a }]
[S->.SA { $a }]
[S->.aAb { b }]
[S->.SA { b }]
[S->.aAb { ba }]
[S->.SA { ba }]
[A->a.A { b }]
[S->a.Ab { b }]
[S->a.Ab { ba }]
[A->a.A { ba }]
-------------
	|
	|to state 9 label: A----->
	|
	|to state 4 label: a----->
	|
	|to state 5 label: S----->

|<-From state 1 label: S
|<-From state 4 label: S
|<-From state 5 label: S
|<-From state 7 label: S
|<-From state 8 label: S
-------------
State 5:
[A->S. { $ }]
[A->S. { $a }]
[S->S.A { $ }]
[S->S.A { $a }]
[A->S. { b }]
[S->S.A { b }]
[S->S.A { ba }]
[A->.aA { $ }]
[A->. { $ }]
[A->.S { $ }]
[A->.aA { $a }]
[A->. { $a }]
[A->.S { $a }]
[A->.aA { b }]
[A->. { b }]
[A->.S { b }]
[A->.aA { ba }]
[A->. { ba }]
[A->.S { ba }]
[S->.aAb { $ }]
[S->.SA { $ }]
[S->.aAb { $a }]
[S->.SA { $a }]
[S->.aAb { b }]
[S->.SA { b }]
[S->.aAb { ba }]
[S->.SA { ba }]
[A->S. { ba }]
-------------
	|
	|to state 3 label: A----->
	|
	|to state 4 label: a----->
	|
	|to state 5 label: S----->

|<-From state 2 label: A
-------------
State 6:
[S->aA.b { $ }]
[S->aA.b { $a }]
-------------
	|
	|to state 10 label: b----->

|<-From state 2 label: a
|<-From state 7 label: a
|<-From state 8 label: a
-------------
State 7:
[A->a.A { b }]
[S->a.Ab { b }]
[S->a.Ab { ba }]
[A->.aA { b }]
[A->. { b }]
[A->.S { b }]
[S->.aAb { b }]
[S->.SA { b }]
[S->.aAb { ba }]
[S->.SA { ba }]
[A->a.A { ba }]
-------------
	|
	|to state 9 label: A----->
	|
	|to state 4 label: a----->
	|
	|to state 7 label: a----->
	|
	|to state 5 label: S----->
	|
	|to state 8 label: S----->

|<-From state 2 label: S
|<-From state 7 label: S
|<-From state 8 label: S
-------------
State 8:
[A->S. { b }]
[S->S.A { b }]
[S->S.A { ba }]
[A->.aA { b }]
[A->. { b }]
[A->.S { b }]
[A->.aA { ba }]
[A->. { ba }]
[A->.S { ba }]
[S->.aAb { b }]
[S->.SA { b }]
[S->.aAb { ba }]
[S->.SA { ba }]
[A->S. { ba }]
-------------
	|
	|to state 3 label: A----->
	|
	|to state 4 label: a----->
	|
	|to state 7 label: a----->
	|
	|to state 5 label: S----->
	|
	|to state 8 label: S----->

|<-From state 4 label: A
|<-From state 7 label: A
-------------
State 9:
[A->aA. { $ }]
[A->aA. { $a }]
[S->aA.b { $ }]
[S->aA.b { $a }]
[A->aA. { b }]
[S->aA.b { b }]
[S->aA.b { ba }]
-------------
	|
	|to state 10 label: b----->

|<-From state 6 label: b
|<-From state 9 label: b
-------------
State 10:
[S->aAb. { $ }]
[S->aAb. { $a }]
[S->aAb. { b }]
[S->aAb. { ba }]
-------------
This is NOT a LR(1) grammar
aborting...