Abstract
A formula, which relates the state dimensions of a minimal trellis of a Reed-Muller code to those of another Reed-Muller code with lower order and shorter length, has been derived. State dimension at every position of a minimal trellis of any Reed-Muller code can be obtained by recursive applications of the formula.