real-time multitape Turing machine