A gramática é LL(1) ou não?

Question

S -> AS | b

A -> SA | a

Eu recebo o primeiro de s = {a, b} para s-> as e o primeiro de s = {b} para s-> b

Portanto, primeiro (as) ∩ primeiro (b) não é uma desarticulação, isso não é ll (1)

Mas eu verifiquei este site http://smlweb.cpsc.ucalgary.ca/start.htmle isso mostra que a gramática é LL(1).Aqui estou confuso!

É LL (1) ou não?

Answer 1

Esse site usa uma notação diferente da que você supôs.Esta seria a entrada correta:

S -> A S | b.
A -> S A | a.

Você entrou AS (e SA) que não reconhece como A seguido pela S, mas como um único não-terminal chamado AS.

Com essa entrada diz corretamente que o idioma não é $ exto{LL}(1)$.