Buy Me a Coffee at ko-fi.com

Nerode's congruence

equivalence relation on a finite automata's states

Pronunciation
/Nerode's ˈkɒŋɡrʊəns/
/Nerode's kənˈɡruəns/