Non Turing Complete Programming Languages