OpenLLM-France/wikimedia huggingface dataset:
# System Management Bus

Il System Management Bus, abbreviato SMBus o SMB, letteralmente "Bus per il controllo del sistema" è un semplice bus a due fili usato per la comunicazione a bassa velocità con periferiche presenti sulla scheda madre, in particolare chip relativi all'energia, come i sottosistemi per la gestione delle batterie ricaricabili nei portatili. Altre periferiche possono includere sensori di temperatura e di apertura del coperchio.
Una periferica può fornire informazioni sul produttore, indicando il modello e il numero di serie, salvare il suo stato per un evento di sospensione, riportare diversi tipi di errori, accettare dei parametri di controllo o ritornare lo stato. L'SMB generalmente non è configurabile o accessibile dall'utente.
Il bus fu definito dall'Intel nel 1995. Fornito di clock, dati e istruzioni, è basato sul protocollo per bus seriali I²C della Philips. Il suo range di frequenze di clock va da 10 a 100 kHz mentre il PMBus estende questo limite fino a 400 kHz. I suoi livelli di tensione e le temporizzazioni sono definite più rigorosamente di quelli dell'I²C, ma le periferiche sotto questi due sistemi sono spesso mescolate con successo sullo stesso bus.
SMBus è sostanzialmente un sottoisieme dell'I²C; i dispositivi I²C hanno specifiche meno restrittive che possono causare il blocco di un bus SMBus. L'SMBus possiede un segnale condiviso esterno di interrupt, aggiuntivo e opzionale, chiamato SMBALERT#, che può essere utilizzato dalle periferiche slave per segnalare all'host di richiedere alle stesse informazioni su eventi di interesse. SMBus definisce anche un meno comune "Host Notify Protocol", che fornisce notifiche simili ma che può fornire più dati ed è costruito sulla modalità I²C multi-master.
FreeBSD, Linux, Windows 2000, Windows XP e Windows Vista supportano i dispositivi SMBus, mentre non sono supportati da Windows 98 e precedenti.
# São Paulo Challenger 1983

Il São Paulo Challenger 1983 è stato un torneo di tennis facente parte della categoria ATP Challenger Series nell'ambito dell'ATP Challenger Series 1983. Il torneo si è giocato a San Paolo in Brasile dal 28 marzo al 3 aprile 1983 su campi in terra rossa.

## Vincitori
### Singolare

Zoltán Kuhárszky ha battuto in finale Víctor Pecci 6-4, 4-6, 6-1

### Doppio

Zoltán Kuhárszky / Gabriel Mattos hanno battuto in finale Víctor Pecci / Hugo Roverano 6-2, 3-6, 6-3
# Säter (comune)

Säter è un comune svedese di 10 980 abitanti, situato nella contea di Dalarna. Il suo capoluogo è la città omonima.

## Località

Nel territorio comunale sono comprese le seguenti aree urbane (tätort):
* Mora
* Naglarby och Enbacka
* Säter
* Solvarbo
# Sätra (metropolitana di Stoccolma)

Sätra è una stazione della metropolitana di Stoccolma.
Si trova nell'area suburbana di Söderort, più precisamente all'interno della circoscrizione di Skärholmen. La stazione ferroviaria centrale è da qui distante circa 9,5 chilometri.
Sätra è collocata sulla linea rossa della rete metroviaria locale, fra le stazioni Bredäng e Skärholmen. L'inaugurazione della stazione avvenne in data 16 maggio 1965, rappresentando la 63ª fermata della metropolitana di Stoccolma in ordine cronologico. Qui terminava la linea rossa T13 fino al 1º marzo 1967, data in cui divenne attiva la fermata successiva di Skärholmen, la quale diventò il nuovo temporaneo capolinea.
Non è una stazione sotterranea poiché le piattaforme sono situate in superficie, ubicate fra la strada Kungssätravägen e la piazza Sätra Torg. Le decorazioni presenti sono state curate dal ceramista Päivi Ernkvist.
Durante un normale giorno lavorativo del 2009 vi sono transitate circa 3.000 persone.

## Tempi di percorrenza

| Linea | Capolinea | Tempo | Stazione | Tempo |
| T13 | Ropsten | 29 min | Liljeholmen Slussen Gamla stan T-Centralen Östermalmstorg | 11 min 17 min 19 min 21 min 23 min |
| T13 | Norsborg | 15 min | Liljeholmen Slussen Gamla stan T-Centralen Östermalmstorg | 11 min 17 min 19 min 21 min 23 min |
# Sätra

* Sätra – quartiere di Stoccolma nel Söderort
* Sätra – stazione della metropolitana di Stoccolma
# TU (gruppo musicale)

TU è una band formata da Trey Gunn e Pat Mastelotto. Hanno realizzato un solo album, intitolato TU, nel 2003.

## Discografia

* TU (2003)
# Süskind - Le ali dell'innocenza

Süskind - Le ali dell'innocenza (Süskind) è un film del 2012 diretto da Rudolf van den Berg.
Basato sulla vita di Walter Süskind, il film è ambientato ad Amsterdam durante l'occupazione tedesca dei Paesi Bassi.

## Trama

Nel 1942, l'ebreo tedesco Walter Süskind, trasferitosi nei Paesi Bassi, cerca di salvare se stesso e la sua famiglia dalla deportazione, facendosi nominare dallo Judenrat responsabile della Hollandsche Schouwburg, un teatro di Amsterdam dove venivano radunati gli ebrei da deportare, separando gli adulti dai bambini che, invece, venivano raccolti nella prospiciente sinagoga trasformata in asilo. Avvalendosi di un tesoro di famiglia in diamanti, riesce ad entrare nelle grazie di Ferdinand aus der Fünten, il comandante tedesco e, con la complicità di altri, manomettendo gli schedari, riesce a nascondere la sparizione di centinaia di bambini che, in genere, sono poi affidati a famiglie olandesi. I piccoli che non trovano accoglienza vengono invece nascosti in una scuola adiacente, dentro una baracca, e anche loro, alla fine di molte peripezie, trovano scampo, mentre Süskind subisce la deportazione insieme alla moglie e alla figlia.
# Sürpriz

I Sürpriz (in tedesco: sorpresa) sono stati un gruppo musicale tedesco formato nel 1999 e attivo fino al 2002, composto da sei membri di origine turca: Cihan Özden, Deniz Filizmen, Yasemin Akkar, Filiz Zeyno, Savaş Uçar e Bülent Ural.

## Carriera

I Sürpriz si sono formati nel 1999 all'alba della competizione Countdown Grand Prix, il processo di selezione tedesco per la ricerca del rappresentante nazionale all'Eurovision Song Contest 1999. Si sono presentati con la canzone Reise nach Jerusalem, composta dai veterani del contest Ralph Siegel e Bernd Meinunger. Al Countdown Grand Prix, che si è svolto il 12 marzo a Brema, hanno sfidato altre dieci canzoni e si sono classificati secondi ricevendo il 16,1% dei televoti, meno della metà della vincitrice Corinna May, che con la sua Hör den Kindern einfach zu ha convinto il 32,6% del pubblico tedesco. Tuttavia, Corinna May è stata squalificata non appena è emerso che la sua canzone era già stata registrata da un altro artista e pubblicata due anni prima, andando contro a due delle regole fondamentali dell'Eurovision; in questo caso, i Sürpriz sono diventati di diritto i rappresentanti tedeschi al contest del 1999, seppur non dopo delle controversie: la loro canzone è infatti risultata troppo simile a Wo geht die Reise hin?, una composizione del 1984 dello stesso Ralph Siegel registrata dagli Harmony Four. Una commissione di esperti dell'Unione europea di radiodiffusione ha infine stabilito che fra le due canzoni c'erano differenze sufficienti da non renderle una la copia dell'altra, e pertanto ai Sürpriz è stato concesso di partecipare al festival senza dover apportare modifiche al loro pezzo.
Alla finale dell'Eurovision, che si è tenuta il 29 maggio a Gerusalemme, i Sürpriz si sono guadagnati il podio ottenendo il 3º posto su 23 partecipanti con 140 punti totalizzati. Hanno ricevuto punti da 19 Paesi, e hanno vinto il televoto in Polonia, Portogallo, Paesi Bassi e Israele; hanno inoltre vinto il voto della giuria della Turchia, dove non è stato possibile svolgere il televoto. Per l'occasione, Reise nach Jerusalem è stata cantata in un mix di tedesco, turco, ebraico e inglese.
Il positivo riscontro all'Eurovision non è riuscito a tramutarsi in successo commerciale per i Sürpriz, e Reise nach Jerusalem non è entrata nella top 100 dei singoli più venduti in Germania.
Il gruppo si è sciolto ufficialmente nel 2002.

## Discografia
### Singoli

* 1999 - Reise nach Jerusalem
# Süsel

Süsel è un comune di 5.381 abitanti dello Schleswig-Holstein, in Germania.
Appartiene al circondario dell'Holstein Orientale (targa OH) ed è indipendente delle comunità amministrative (Amt).
# Susie's New Shoes

Susie's New Shoes è un cortometraggio muto del 1914 diretto da Harry A. Pollard. Basato su un soggetto di J. Edward Hungerford, il film aveva come interpreti lo stesso regista, sua moglie Margarita Fischer, Joe Harris, Fred Gamble, Mary Scott.
Il film è il sequel di un altro cortometraggio prodotto dalla Beauty (American Film Manufacturing Company), Suzanna's New Suit.

## Trama

La signora Van Dusen governa con mano di ferro il marito, ma quando gli chiede una forte cifra per andare a fare compere, lui cerca debolmente di protestare, senza successo. Mentre lei si prepara a uscire, Van Dusen sottrae furtivamente il borsellino dalla borsa della moglie. Suzanna, convinta di avere la somma che le serve, si affretta ad andare al negozio di scarpe per comprarsene un costoso paio nuovo. Mentre prova le scarpe, la signora Riley, povera ma onesta, prende per sbaglio la borsa di Suzanna. Accorgendosi dell'errore, torna indietro e la restituisce. Poi se ne va. Suzanna, guardando all'interno della borsa, vede che manca il borsellino e crede che sia stato rubato dalla signora Riley. Con indosso le scarpe nuove non ancora pagate, insegue la supposta ladra, ma pure lei è oggetto di un inseguimento, quello del commesso del negozio, che la fa arrestare. Le due donne sono portate al posto di polizia e la signora Van Dusen è autorizzata a telefonare al marito. Van Dusen è ora in una situazione difficile. Deve spiegare le cose alla moglie oppure la povera signora Riley finirà in prigione. Riesce però a infilare nella borsa il borsellino della discordia senza farsi accorgere. Quando Suzanna lo trova, crede di essersi sbagliata e che il borsello sia sempre stato lì. Dopo avere pagato le scarpe, si profonde in grandi scuse con la signora Riley, offrendole il contenuto di tutta la borsa. Mister Van Dusen conclude che ingannare sua moglie è un affare costoso.

## Produzione

Il film fu prodotto dalla Beauty (American Film Manufacturing Company).

## Distribuzione

Distribuito dalla Mutual, il film - un cortometraggiio in una bobina - uscì nelle sale statunitensi il 25 agosto 1914.
# Takuya Uchida

Takuya Uchida (内田 宅哉, Uchida Takuya; Chiba, 2 giugno 1998) è un calciatore giapponese, centrocampista del Nagoya Grampus.

## Palmarès
### Club
#### Competizioni nazionali

* Coppa J. League: 1
    FC Tokyo: 2020
# Takuya Ōta

Takuya Ōta (太田 拓弥 (Ōta Takuya); Prefettura di Wakayama, 2 gennaio 1970) è un ex lottatore giapponese, specializzato nello stile libero. Ha rappresentato la Giappone ai Giochi olimpici estivi di Atlanta 1996, vincendo la medaglia di bronzo nel torneo dei 74 kg. Ai Giochi asiatici di Hiroshima 1994 ha guadagnato l'argento nella stessa categoria di peso.

## Palmarès

* Giochi olimpici
    Atlanta 1996: bronzo nei 74 kg;
* Giochi asiatici
    Hiroshima 1994: argento nei 74 kg;
# Swisher (Iowa)

Swisher è un comune degli Stati Uniti d'America, situato nello Stato dell'Iowa, nella contea di Johnson.
# Taliani
## Persone

* Alessio Taliani (1990) – ciclista su strada italiano
* Emidio Taliani (1838-1907) – cardinale e arcivescovo cattolico italiano
* Francesco Maria Taliani de Marchio (1887-1968) – diplomatico italiano

## Altro

* I Taliani – album del gruppo musicale italiano Sine Frontera, pubblicato nel 2013
* I-taliani – sitcom prodotta da Bravo Productions per RTI Fininvest nel 1988
# Tana Vallis

La Tana Vallis è una struttura geologica della superficie di Marte.
# Tarasovo

Tarasovo (in lingua russa Тарасово) è una città situata in Russia, nell'Oblast' di Arcangelo, più precisamente nel Pleseckij rajon.
# Taseqite

La taseqite è un minerale appartenente al gruppo dell'eudialite.
# São Luís do Paraitinga

São Luís do Paraitinga è un comune del Brasile nello Stato di San Paolo, parte della mesoregione della Vale do Paraíba Paulista e della microregione di Paraibuna/Paraitinga.
# Taifa di Silves

La Taifa di Silves (in arabo طائفة شلب‎, in arabo|Ṭā'ifa Šilb, era un regno arabo (taifa) che esisteva nell'attuale Portogallo meridionale per due periodi distinti: dal 1023 al 1063, e ancora dal 1145 al 1155, quando fu definitivamente conquistata dal Califfato Almohade.
La taifa occupava la parte più occidentale dell'attuale regione portoghese dell'Algarve, vicino a Capo San Vincenzo, con capitale Silves.

## Storia

Durante la guerra civile di al-Andalus, riportata dallo storico Rafael Altamira, Isa ibn Muhammad ibn Muzayn, che, come riporta la Muslim Spain and Portugal: A Political History of al-Andalus, discendeva da una potente famiglia patrizia araba, i Banu Muzayn, governava la città, nel 1023, fu riconosciuto re di Silves e prese il titolo di hagib, come riporta La web de las biografias. Governò pacificamente e alla sua morte nel 1040 gli succedette il figlio Muhammad ibn Isa Amid al-Dawla.
Isa ibn Muhammad cominciò ad avere problemi con la taifa di Siviglia, che portarono alla perdita di Beja e, alla sua morte nel 1048 gli succedette Al-Muzaffar di discendenza sconosciuta.
Al-Muzaffar, si diede da fare per organizzare le difese della taifa e prepararsi all'invasione delle truppe di Al-Muʿtaḍid di Siviglia, ma quando ciò avvenne, nel 1051, morì combattendo e lasciando il trono al proprio figlio, Muhammad ibn al-Muzaffar.
Muhammad ibn al-Muzaffar governò per circa sette anni e fu molto attento alla cultura, sino al giorno della sua morte nel 1058, lasciando il trono al proprio figlio, Isa ibn al-Nasir..
Isa ibn al-Nasir regnò per circa 5 anni e, durante il suo regno subì, come altri regni di taifa, i continui attacchi di Siviglia sino a quando Abbad II al-Mu'tadid, emiro della Taifa di Siviglia, nel suo desiderio espansionista, con la sua politica di annessione delle piccole taife, conquistò e annesse l'Algarve, come riporta il Muslim Spain and Portugal: A Political History of al-Andalus; infatti, nel 1063, al-Mu'tadid, entrò a forza in città, dopo aver abbattuto parte delle mura, catturò Isa ibn al-Nasir e gli tagliò il collo, come riporta il Diccionario biográfico español, Real Academia de la Historia.
Quando l'Impero almoravide perdette vigore vi fu un secondo periodo di espansione dei regni indipendenti, che viene ricordato come Seconda taifa; dopo che Ahmad ibn Qasi, aveva ricostituito la Taifa di Mértola, nel 1145, anche Silves si ribellò e Ibn al-Mundhir, appoggiato da Ibn Qasī, fu proclamato emiro della Taifa di Silves. Dopo l'assassinio di Ibn Qasī, nel 1151, Ibn al-Mundhir, si pose sotto l'autorità degli Almohadi. Gli Almohadi tornarono e presero definitivamente Silves, ponendo fine al regno indipendente nel 1155; anche Siviglia ed altre città riconobbero l'autorità degli Almohadi.
Nel 1190, Silves fu temporaneamente occupate dal re del Portogallo, Sancho I, ma gli Almohadi le riconquistarono poco dopo, e pochi anni dopo nei pressi di Silves vi fu una battaglia ch si consluse con una cocente disfatta delle armi cristiane.
# Taking Uncle for a Ride

Taking Uncle for a Ride è un cortometraggio muto del 1911 diretto da Frank Wilson.

## Trama

Due ragazzi fanno fare allo zio in sedia a rotelle una cavalcata selvaggia.

## Produzione

Il film fu prodotto dalla Hepworth.

## Distribuzione

Distribuito dalla Hepworth, il film - un cortometraggio di 133 metri - uscì nelle sale cinematografiche britanniche nel dicembre 1911.
Si conoscono pochi dati del film che, prodotto dalla Hepworth, fu distrutto nel 1924 dallo stesso produttore, Cecil M. Hepworth. Fallito, in gravissime difficoltà finanziarie, il produttore pensò in questo modo di poter almeno recuperare il nitrato d'argento della pellicola.
# Taking the Lead

Taking the Lead è l'album di debutto da solista del chitarrista dei Sonata Arctica, Elias Viljanen, pubblicato nel 2002 dall'etichetta discografica Lion Music.

## Tracce

* Evoke the Spirit – 0:35
* Evil Rock – 3:35
* The Axemaster – 4:56
* I Go Solo – 4:13
* Northern Breeze – 3:20
* Beyond Twilight – 4:08
* Taking the Lead – 4:04
* A Dream Come True – 3:33
* Hyper Boogie – 3:29
* Written in Stars – 1:55
* Passion for Glory – 5:16
* Speed of the Devil – 4:04

## Formazione

* Elias Viljanen - chitarre
* Rami Herckman - basso
* Tomi Ylönen - batteria
* Tero Ylönen - tastiere (per le tracce 1,2,3,5,8)
* Jani Kemppinen - tastiere (per le tracce 6,9,11,12)
# TT263

TT263 (Theban Tomb 263) è la sigla che identifica una delle Tombe dei Nobili ubicate nell'area della cosiddetta Necropoli Tebana, sulla sponda occidentale del Nilo dinanzi alla città di Luxor, in Egitto. Destinata a sepolture di nobili e funzionari connessi alle case regnanti, specie del Nuovo Regno, l'area venne sfruttata, come necropoli, fin dall'Antico Regno e, successivamente, sino al periodo Saitico (con la XXVI dinastia) e Tolemaico.

## Titolare

TT263 era la tomba di:
| Titolare | Titolo | Necropoli | Dinastia/Periodo | Note |
| Piay | Scriba del granaio nel Tempio di Amon; Scriba dei contabili nel Ramesseum | Sheikh Abd el-Qurna | XIX dinastia (Ramses II); | |

## Biografia

Unica notizia biografica ricavabile il nome della moglie: Webekht.

## La tomba

L'ingresso alla TT263 si apre in un cortile da cui si accede anche alla TT125; nel cortile (1 in planimetria), all'interno di una nicchia, una testa della dea Hathor rappresentata come mucca con un serpente; di lato (2) una stele su due registri sovrapposti: il defunto adora Amon-Ra-Horakhti e Osiride, e preti con prefiche dinanzi alla mummia.
Un corridoio, sulle cui pareti (3) sono scarsamente leggibili i resti di immagini del defunto, della moglie e di un figlio (non identificato), nonché su due registri, il defunto e la moglie in adorazione in presenza di inni ad Amon-Ra-Horakhti e il defunto e la moglie nell'atto di giocare a dama, mentre un figlio offre loro mazzi di fiori e un'arpista suona, immette in una sala rettangolare. Sulle pareti (4), su due registri, resti di personaggi, un uomo in offertorio verso un altro assiso; brani (5) del Libro delle Porte, il defunto e la moglie dinanzi a uno scrigno (?) e scena di psicostasia tra Thot e Maat. Una figlia (non identificata) e un uomo (6) offrono libagioni al defunto e alla moglie. Un secondo corridoio, sulle cui pareti (7) sono riportati testi di inni ad Amon-Ra e a Ra nonché riferimenti alla Festa della Valle, immette in una sala rettangolare più interna. Sulle pareti: (8-9) su due registri tre scene in cui compaiono altrettante volte il defunto e la moglie, un uomo che offre libagioni ai due; i due dinanzi ad alcune divinità; la Dea dell'Occidente (Mertseger). In due altre scene un uomo e una donna incensano il defunto e la moglie, mentre un uomo offre libagioni. Poco oltre (10), su due registri, il defunto e la moglie dinanzi a Osiride e Hathor (rappresentata una seconda volta come vacca sacra), mentre (11-12) uomini e preti offrono libagioni al defunto e alla moglie. Su altra parete (13) resti di scene del rituale funerario praticato sulla mummia. Sul fondo della sala, in una nicchia (14), le statue di due coppie non identificate. Il soffitto è decorato con i titoli del defunto. Un blocco, su cui è rappresentato il defunto e, in una doppia scena, Osiride e Iside seduti, con il cartiglio di Ramses II è stato rinvenuto nella TT125.
# Teatro degli Astrusi

Il teatro degli Astrusi è un teatro situato a Montalcino.

## Storia e descrizione

Vero gioiello di architettura teatrale legato alla locale Accademia degli Astrusi, fu progettato nel 1766 (pianta a ferro di cavallo con due ordini di palchi riccamente decorati con stucchi e pitture) dal celebre architetto chiancianese Leonardo De Vegni.
Dopo un pesante rimaneggiamento dei palchi avvenuto nel 1939, nell'ultimo dopoguerra ha iniziato un periodo di declino che prima l'ha portato a essere utilizzato prevalentemente come cinematografo e poi, dal 1975, dopo la cessione da parte dell'Accademia a un privato, addirittura come locale notturno.
Grazie al successo riscosso dal Festival di Montalcino, l'Amministrazione comunale alla metà degli anni ottanta ha proceduto al suo acquisto e ha avviato un piano di restauro, ristrutturazione e risanamento conservativo, su progetto degli architetti Marco Isidori e Gianni Neri, che inserito nel programma regionale FIO è stato ultimato nel 1992.
Grazie ai nuovi impianti, servizi, palcoscenico, graticcia, uffici, camerini e a una capacità di 180 posti, la struttura è divenuta un punto importante negli eventi estivi di Montalcino e ha ripreso un'attività varia che copre un'intensa programmazione annuale.
Nel dicembre 2014 è stata riscontrata una grave lesione alle travature del tetto ed eseguito un intervento di consolidamento. A seguire è stato effettuato un delicato intervento di restauro dalla De Feo Restauri di Roma una delle più apprezzate realtà italiane specializzata nel restauro di monumenti e Opere d'arte.
# Teeth

Teeth in lingua inglese significa denti.

## Cinema

* Teeth – film del 1924 diretto da John G. Blystone
* Denti (Teeth) – film del 2007 diretto da Mitchell Lichtenstein
* Teeth – cortometraggio del 2015 diretto da Tom Brown e Daniel Gray

## Musica

* Teeth – brano di Lady Gaga del 2009, dall'EP The Fame Monster
* Teeth – singolo dei 5 Seconds of Summer del 2019

## Pagine correlate

* Denti (disambigua)
* Tooth
# Teorema di Myhill-Nerode

Nella teoria dei linguaggi formali il teorema di Myhill-Nerode fornisce una condizione necessaria e sufficiente per stabilire se un linguaggio sia regolare o meno.
Secondo il teorema di Myhill-Nerode, ogni linguaggio regolare sull'alfabeto $\Sigma$ consiste nell'unione di classe di equivalenza di una relazione invariante a destra di indice finito sulla chiusura di Kleene di $\Sigma$.

## Definizioni

Dato un automa a stati finiti deterministico $M=\left(Q,\Sigma ,\delta ,q_{0},F\right)$ si definisce la relazione di equivalenza
    $R_{M}:xR_{M}y\Longleftrightarrow {\hat {\delta }}\left(q_{0},x\right)={\hat {\delta }}\left(q_{0},y\right)$
Tale relazione di equivalenza è invariante a destra se:
    ${\hat {\delta }}\left(q_{0},xz\right)={\hat {\delta }}\left({\hat {\delta }}\left(q_{0},x\right),z\right)={\hat {\delta }}\left({\hat {\delta }}\left(q_{0},y\right),z\right)={\hat {\delta }}\left(q_{0},yz\right)$ supponendo $xR_{M}y$.

## Enunciato del teorema

Il teorema di Myhill-Nerode afferma che sono equivalenti le affermazioni:
* $L\subseteq \Sigma ^{*}$ è regolare
* $L$ è l'unione di alcune classi di equivalenza di una relazione di equivalenza di indice finito (ossia che individua un numero finito di classi di equivalenza) invariante a destra
* la relazione di equivalenza: $\forall x,y\in \Sigma ^{*},xR_{L}y\Longleftrightarrow \forall z\in \Sigma ^{*},xz\in L\Longleftrightarrow yz\in L$ è di indice finito.

## Usi e conseguenze

La diretta conseguenza del teorema di Myhill-Nerode è che un linguaggio $L$ è regolare se e solo se il numero di classi di equivalenza della relazione $R_{L}$ è finito. Come corollario, un linguaggio che definisca un insieme infinito di classi di equivalenza non è regolare. Tale corollario può essere usato per dimostrare la non regolarità di un linguaggio.