Simulator for finite automatons