Essentially, you can consider a classic Turing machine to consist of a
data/input/output tape, and a program consisting of
-- elementary tape operations
-- boolean operations
I.e. a Turing machine program is a tape plus a program expressed in a
Boolean algebra that includes some tape-control primitives.
-- Ben G
> -----Original Message-----
> From: Stephen Paul King [mailto:[EMAIL PROTECTED]]
> Sent: Tuesday, November 26, 2002 9:25 AM
> To: [EMAIL PROTECTED]
> Subject: Re: turing machines = boolean algebras ?
> Dear Ben and Bruno,
> Your discussions are fascinating! I have one related and pehaps even
> trivial question: What is the relationship between the class of Turing
> Machines and the class of Boolean Algebras? Is one a subset of the other?
> Kindest regards,