State Table Reduction Calculator