patrick at gryphon.psych.ox.ac.uk (Patrick Juola) writes:
>In article <6i88a8$j7g at ux.cs.niu.edu> rickert at cs.niu.edu (Neil Rickert) writes:
>>andersw+ at pitt.edu (Anders N Weinstein) writes:
>>>Formal models of computation treat *interaction* in terms of
>>>symbols getting written onto the tape memory. This seems a
>>>pretty good model of how the operating system code views a device.
>>Right. But you generally have to model this as a Turing machine with
>>oracle. You can't model it as a plain Turing machine. The oracle
>>places the interactive symbols on the tape in a way that is not
>>predictable from within the Turing machine model.
>But Turing machines neither need nor are expected to predict their
>inputs.
Bah! Humbug.
Turing machines have no input. The data is all there on the tape
before they begin execution.