Infinite grammar