Generates State Space Correctly
Formatting