The theory behind an LL(k) version of worst-case expressive typical-case efficient parsing is easy... almost a restatement of how to do LL(k):
The proper way to state this might be an interesting form of abstract interpretation, but, in that case, my arrows are upside down.
Now to earn the bacon by replacing the LLker boxes with LRker ones. Way better than proposal writing and apartment hunting. Tomorrow will be my last Philz coffee for a long time -- hello Seattle!