Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic