Accelerating Finite State Projection through General Purpose Graphics Processing