FPRD LabShare an approach

theorem

Theorem 4.1

Residual recognition

Theorem 4.1 (Residual recognition). The residual dynamic recognizes LL exactly.