Hi i think s--> ietss'
s'-->es / epsilon ( you have mentioned S --es )see above
E--> b
But apart from that the LL1 table that you constructed is wrong
On top you have terminals along with $ . You have an entire coloumn for epsilon which is wrong
In LL 1 when ever we have NT --->∈ so in such case we find follow( NT ) , and what ever value we get ( say we get a and b ) under a and b which are terminals we will put the NT --->∈ .
And i dont undersatnd your last statement can you elaborate it more :)
whereas For epsilon thing it has nothing to do with ambiguity . In ll1 we are looking 1 look ahead symbol then accordingly we will use production ( in top down manner ) . So according to looakahead symbol we have to use which production is summarized here :)