安德森提出的产生式迁移理论认为，产生式法则是认知的基本成分。一个产生式法则包括一种条件表征和一种动作表征，条件表征用于再认情境中的特征模式，动作表征用于形成一种符号性信息。一个在最初学习任务中形成的表征是产生式法则的集合表征。若两表征含有相同的产生式或者产生式的交叉与重叠，则可以产生迁移。产生式是决定迁移的一种相同要素。相同要素说是以桑代克为代表的学者提出的，他们认为迁移是非常具体的、有限的，只存在于含有相同要素的领域。迁移是有条件的，需要有相同的要素。两个理论都强调迁移需要有相同要素，但产生式理论的相同要素更偏向于认知成分。