Limited Lookahead Control of Discrete-Event Systems: Cost, Probability, and State Space