Hi,
I need formal definition of a k-head Turing machine with a single one-way infinite tape, a configuration of it and the yields in one step relation between configurations of such a machine.
I am searching it on the Internet for hours, I couldn't find anything actually works.
Thanks in advance.