, (5, ⊥ w )}, two cloned states ((0, ) and (1, b)) and two queue states ((⊥, br) and (⊥, bra)).
return false for all symbols a ∈ Σ if δ(p, a) = δ(q, a) return false end for return true end function The function equiv(p, q).