On the Automatic Formation of a Computer Program which Represents a Theory