Изворни код странице Нероде-релација

'''Нероде-релација''' (такође Нероде-конгруенција или нероде-конгруенција здесна) је [[релација еквиваленције]] која се примељује у теорији [[формални језик|формалних језика]]. Њоме се [[реч]]и неког формалног језика деле на [[класа еквиваленције|класе еквиваленције]].

== Дефиниција ==
Нека је дат формални језик ''-{L}-'' над азбуком ''Σ''. Две речи из ''Σ<sup>*</sup>'' су у нероде-релациији ''~'' [[ако и само ако|акко]] се обе могу формирати преко идентичних [[суфикс]]а на речи из језика ''-{L}-''. Формално записано, за сваке ''-{u}-'' и ''-{v}-'' из ''Σ<sup>*</sup>'' важи:

:<math>u \sim v \quad \Longleftrightarrow \quad \forall w \in \Sigma^*: \ uw \in L \Leftrightarrow vw \in L</math>

{{нормативна контрола}}

[[Категорија:Информатика]]