On formalisms for turing machines | IEEE Conference Publication | IEEE Xplore