程序正义主要分为以下三种形态：
纯粹的程序正义
定义：只要遵循了公正的程序，不管出现什么结果，都必须接受，并且可以推定这种结果是公平的。即程序决定结果是否公正。
特点：不存在关于结果正当与否的任何标准，只存在有关形成结果的过程或者程序正当性和合理性的独立标准。例如，赌博中只要游戏规则不偏向某一赌客且被严格遵守，那么无论结果如何都认为是公正的。
完善的程序正义
定义：在程序之外存在着决定结果是否合乎正义的某种标准，且同时也存在着使满足这个标准的结果得以实现的程序。即程序总是导致正当的结果。
特点：存在独立的结果公正标准和保证结果公正的程序。例如，切蛋糕问题中，设定切蛋糕的人最后领取自己应得的一份，能够保证均分结果的实现。
不完善的程序正义
定义：虽然在程序之外存在着衡量什么是正义的客观标准，但是百分之百地使满足这个标准的结果得以实现的程序却不存在。即程序未必一定能导致正当的结果。
特点：存在独立的结果公正标准，但缺乏保证结果公正的程序。例如，刑事审判中，即便法律被仔细地遵循，过程被公正恰当地引导，程序要件规定得非常完备，也还是不能完全避免错误结果的发生。
建议
程序正义与实体正义是法律正义中最核心的二分，它们应当保持一种辩证统一的关系，不可失去其一，亦不可单独为之。在实际应用中，需要根据具体情况平衡程序正义和实体正义的关系，以确保最终结果的公正和合理。