介紹奈洛德等價(Nerode equivalence)一種等價關係.即用以說明用不同狀態描述同一輸人一輸出映射必須滿足的條件.設給定輸人一輸出映射f:X'-'Y，其中X’為隨時間變化而取值於空間X的時間函式集合，令E}為X’上的等價關係:人們將奈洛德等價類[x}:看成Qf、的一個元素，Q廠為f的最小實現的狀態集.
