Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Feedback in Turing Machines
Replies: 17   Last Post: May 29, 2013 12:36 AM

 Messages: [ Previous | Next ]
 apoorv Posts: 53 Registered: 4/11/13
Re: Feedback in Turing Machines
Posted: May 28, 2013 9:29 AM

On May 27, 10:37 am, Graham Cooper <grahamcoop...@gmail.com> wrote:
> On May 27, 2:32 pm, William Elliot <ma...@panix.com> wrote:
>
>
>
>
>
>
>
>
>

> > On Sun, 26 May 2013, apoorv wrote:
> > > On May 27, 8:13 am, William Elliot <ma...@panix.com> wrote:
> > > > On Sat, 25 May 2013, apoorv wrote:
> > > > > Is there some study on situation where the output from a TM at time T is
> > > > > fed back so that the total input at time T+1 is some function of output
> > > > > at time T and external input at time T+1.?

>
> > > > So imput is on the right and out on the left and when done at time t, move
> > > > the output to the right of the tape and start again.

>
> > > > Time t+1 begins the new output from the old output. You get to wait until
> > > > time t2 for the full second output.

>
> > > The external input and the output have to be combined
> > > So the second TM is necessary?

>
> > Input 1 on the right side, gives output 1 on the left side.
> > When done, imput 1 is erased and output 1 copied to the right side
> > where it's now imput 2.  Imput 2 is used by the same machine
> > to produce output 2 on the left side.

>
> Starting left and finishing right is just a convention.
>
> n=1
> TMn - Start left, finish left, signal halt.
> n++
> repeat
>
> Seems there is never an output.
>
> Herc
> --www.phpPROLOG.com

Eliot's post ,which appears to be deleted, showed that a single
TM , could implement feedback. However, if we put the added
Requirement that the input at time t is processed with delay not
exceeding
A fixed time t0, then two TM s appear necessary .
-Apoorv

Date Subject Author
5/25/13 apoorv
5/25/13 apoorv
5/26/13 Graham Cooper
5/26/13 Graham Cooper
5/26/13 apoorv
5/26/13 Graham Cooper
5/27/13 apoorv
5/26/13 William Elliot
5/27/13 apoorv
5/27/13 William Elliot
5/27/13 Graham Cooper
5/27/13 David Bernier
5/28/13 apoorv
5/28/13 apoorv
5/28/13 Graham Cooper
5/28/13 William Elliot
5/28/13 apoorv
5/29/13 Graham Cooper