mention LL(infinity)

also formatting