The Crystallizing Substochastic Sequential Machine Extractor, CrySSMEx, is an algorithm for extracting Finite State Machines from Recurrent Neural Networks. Input: sequential data generated from RNNs. Output: (stochastic) FSMs and state space quantizers.