Symbolic dynamics I. Finite dispersive billiards

Orbits in different dispersive billiard systems, e.g. the 3 disk system, are mapped into a topological well ordered symbol plane and it is showed that forbidden and allowed orbits are separated by a monotone pruning front. The pruning front can be approximated by a sequence of finite symbolic dynamics grammars.