Method for Determining Compressed State Sequences | AMiner