First attempt. Generates LR(0)