You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The text was updated successfully, but these errors were encountered:
Unaimend
changed the title
We only have to add a letter to words of length n if they create an eq eqv. class
We only have to add a letter to words of length n if they create a new eq eqv. class
Nov 19, 2024
Because if a word is already part of an eqv. class there exists a shortest representative, now we append the new letter. And (I think) this class must already exist
No description provided.
The text was updated successfully, but these errors were encountered: