Interpreter for a programming language based on the Post-Turing Machine