考虑高阶导数理论中的爱因斯坦-希尔伯特作用是为了发现它们的BRST对称性。 作为约束系统，将模型转换为具有FRLW背景的微型超空间语言，并探索规范的对称性。 利用Banerjee等人开发的一阶形式主义。 提取亚纯对称性。 从该场的规范变换的一般形式，可以计算出类似的BRST变换。 有效拉格朗日法是通过考虑两个量规固定条件而构造的。 此外，计算了BRST（守恒）电荷，它在根据状态的总希尔伯特空间定义物理状态中起着重要作用。 在这种情况下，还研究了有限域依赖的BRST公式，其中具体说明了用于功能度量的雅可比行列式。