Symbolic dynamics II. The stadium billiard

We construct a well ordered symbolic dynamics plane for the stadium billiard. In this symbolic plane the forbidden and the allowed orbits are separated by a monotone pruning front, and allowed orbits can be systematically generated by sequences of approximate finite grammars.