The Many Faces of State Space Compression