>imperative languages are based on the idea of a turing machine
In what way? I wouldn't count executing sequential instructions as a "the idea of a turing machine", and no major imperative language has programs which have only finitely many states along with an infinite memory space that is both code and data.
Well, imperative languages are based on the idea of a turing machine, but they look nothing like one.