Turing machine recognizers for general rewriting systems | IEEE Conference Publication | IEEE Xplore