Main Page | Modules | Alphabetical List | Compound List | File List | Compound Members | Related Pages

localTape< T > Class Template Reference
[NonHaltDetectionDataStructures]

represents a one or two cell portion of a turing machine tape. More...

#include <non_halt_data_structures.hpp>

List of all members.

Public Member Functions

 localTape ()
 default constructor.

 localTape (T onlySymbol)
 useful constructor.

 localTape (T desiredSymbol, owenTransition< T > &transition)
 mechanism to facilitate local tape creation for back tracking algorithm

 localTape (localTape< T > &desiredTape, owenTransition< T > &transition)
 creates tape that will result in desiredTape after transition is performed

bool simulateTransition (localTape< T > &desiredTape, owenTransition< T > &transition)
 simulates a given transition on "this" local tape

bool allOneValue (T value)
 see if the tape is all one value

void print ()
 prints the tape.


Public Attributes

std::vector< T > tapeConfig
int currentPosition


Detailed Description

template<typename T>
class localTape< T >

represents a one or two cell portion of a turing machine tape.

Definition at line 233 of file non_halt_data_structures.hpp.


Constructor & Destructor Documentation

template<typename T>
localTape< T >::localTape  )  [inline]
 

default constructor.

Author:
Owen Kellett

Definition at line 240 of file non_halt_data_structures.hpp.

template<typename T>
localTape< T >::localTape onlySymbol  )  [inline]
 

useful constructor.

Precondition:
T is a valid symbol on the input tape
Postcondition:
this is a one cell portion of tape which contains T as its value
Parameters:
onlySymbol symbol to contruct one cell tape
Author:
Owen Kellett

Definition at line 250 of file non_halt_data_structures.hpp.

template<typename T>
localTape< T >::localTape desiredSymbol,
owenTransition< T > &  transition
[inline]
 

mechanism to facilitate local tape creation for back tracking algorithm

Precondition:
desiredSymbol is a valid symbol on the tape, transition is a valid transition
Postcondition:
creates a local tape that will accept the given transition and when the transition is executed on it, the read head will contain desiredSymbol
Parameters:
desiredSymbol desired symbol for the read head after the transition is executed on the tape
transition transition to be executed on the tape
Author:
Owen Kellett

Definition at line 264 of file non_halt_data_structures.hpp.

References owenTransition< T >::move, and owenTransition< T >::read.

template<typename T>
localTape< T >::localTape localTape< T > &  desiredTape,
owenTransition< T > &  transition
[inline]
 

creates tape that will result in desiredTape after transition is performed

Precondition:
desiredTape is a valid tape and transition is a valid transition
Postcondition:
creates a local tape that will accept the given transition and when the transition is executed on it, the tape will be the desiredTape
Parameters:
desiredTape desired tape after transition
transition transition to be executed
Author:
Owen Kellett

Definition at line 293 of file non_halt_data_structures.hpp.

References localTape< T >::currentPosition, owenTransition< T >::move, owenTransition< T >::read, and localTape< T >::tapeConfig.


Member Function Documentation

template<typename T>
bool localTape< T >::allOneValue value  )  [inline]
 

see if the tape is all one value

Postcondition:
true if every cell on the tape is equal to value
Author:
Owen Kellett

Definition at line 402 of file non_halt_data_structures.hpp.

Referenced by isInfinite().

template<typename T>
void localTape< T >::print  )  [inline]
 

prints the tape.

used mainly for debugging purposes

Author:
Owen Kellett

Definition at line 415 of file non_halt_data_structures.hpp.

template<typename T>
bool localTape< T >::simulateTransition localTape< T > &  desiredTape,
owenTransition< T > &  transition
[inline]
 

simulates a given transition on "this" local tape

Precondition:
desiredTape is a valid representation of a localTape, transition is a valid transition
Postcondition:
when transition is executed on "this" local tape, if the conceived new form of this is functionally equivalent to the desired tape, return true else false
Parameters:
desiredTape desired tape after transition
transition transition to be executed
Author:
Owen Kellett

Definition at line 351 of file non_halt_data_structures.hpp.

References localTape< T >::currentPosition, owenTransition< T >::move, owenTransition< T >::read, localTape< T >::tapeConfig, and owenTransition< T >::write.


The documentation for this class was generated from the following file:
Generated on Thu Nov 20 00:17:33 2003 for BusyBeaver by doxygen 1.3.3