In this case, equivalence over M leads to the concept of a recognizable language.
Σε αυτή την περίπτωση, η ισοδυναμία πάνω στο Μ οδηγεί στην έννοια μιας αναγνωρίσιμης γλώσσας.