hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Go, Diego, Go!
Go, Diego, Go! é uma série de animação infantil estadunidense que estreou na Nickelodeon e na SmileDay em 6 de setembro de 2005. Criada e produzida por Chris Gifford e Valerie Walsh Valdes, a série é um spin-off de Dora the Explorer, e segue o primo de Dora, Diego, um menino latino de 8 anos cujas aventuras frequentemente envolvem resgatar animais e proteger seu meio ambiente.

A série recebeu críticas favoráveis dos críticos e recebeu elogios particulares por sua interpretação de um personagem principal latino bilíngue, ganhando um total de quatro indicações ao NAACP Image Award para "Programa Infantil de Destaque" de 2008 a 2012, além de receber indicações ao Imagen Award e Young Artist Award para Jake T. Austin por seu papel como dublador de Diego.

Imagen Awards
Imagen Awards é uma premiação entregue pela Imagen Foundation, uma organização dedicada a "encorajar e reconhecer as representações positivas dos latinos na indústria do entretenimento". Para ser considerado apto a concorrer um Prêmio Imagen, uma peça de mídia ou pessoa deve passar por um processo de inscrição. Helen Hernandez é presidente da Imagen Foundation.
Give a Little Love Back to the World
"Give a Little Love Back to the World" (tradução portuguesa: "Dá um pouco de amor ao mundo") foi canção que representou o Reino Unido no Festival Eurovisão da Canção 1990, interpretada em inglês por Emma Booth. Com apenas 15 anos, foi a representante mais nova do Reino Unido no Festival Eurovisão da Canção. Foi a sétima canção a ser interpretada na noite do festival realizado em Zagreb, depois da canção luxemburguesa "Quand je te rêve" e antes da canção islandesa. No final, a canção recebeu 87 pontos, terminando a competição em sexto lugar. A Bélgica foi o único país a atribuir 12 pontos à canção.

Luxemburgo no Festival Eurovisão da Canção
O Luxemburgo participou no Festival Eurovisão da Canção, até ao momento, 39 vezes, estreando-se logo na primeira edição em 1956 e estando ausente em 1959, e entre 1994, quando o país deixou de participar do concurso, devido à falta de condições financeiras alegadas pela RTL Télé Lëtzebuerg, que gere o evento no país, e 2024. Ganhou cinco edições (1961, 1965, 1972, 1973 e 1983). É um dos sete países que criaram o festival, junto com Alemanha, Bélgica, Países Baixos, Suíça, França e Itália

Após 31 anos de ausência, foi anunciado o regresso do país ao certame, previsto para a edição de 2024, representado por Tali Golergant foi escolhida através de final nacional.
Ruská Voľa nad Popradom
Ruská Voľa nad Popradom (em húngaro: Poprádökrös) é um município da Eslováquia, situado no distrito de Stará Ľubovňa, na região de Prešov. Tem 6,02 km² de área e sua população em 2018 foi estimada em 90 habitantes.

Regiões da Eslováquia
A Eslováquia está subdividida em  oito kraje (singular - kraj, geralmente traduzido como "regiões"), que têm o nome da sua principal cidade. Esta organização territorial foi instituída em 24 de julho de 1996.

Os "kraje" estão subdivididos em  okresy (singular - okres, geralmente traduzidos por "distritos"). Existem actualmente 79 distritos na Eslováquia.

Bratislava (Bratislavský kraj)

Trnava (Trnavský kraj)

Trenčín (Trenčiansky kraj)

Nitra (Nitriansky kraj)

Žilina (Žilinský kraj)

Banská Bystrica (Banskobystrický kraj)

Prešov (Prešovský kraj)

Košice (Košický kraj)

(A palavra "kraj" pode ser substituída por "VÚC" ou  "samosprávny kraj", em cada um dos casos)
Gruta do Tanquinho
A Gruta do Tanquinho é uma gruta portuguesa localizada na freguesia das Bandeiras, concelho da Madalena do Pico, ilha do Pico, arquipélago dos Açores.

Esta cavidade apresenta uma geomorfologia de origem vulcânica em forma de tubo de lava localizado em encosta. Esta estrutura geológica apresenta um comprimento de 1700 m.

Tubo de lava
Tubos de lava são condutos naturais através dos quais a lava chega à superfície em um fluxo de lava, expelido por um vulcão em erupção. Eles podem estar ativos quando a lava ainda flui em direção à superfície, ou extintos, o que significa que o fluxo de lava cessou e a rocha esfriou, deixando um longo canal, semelhante a uma caverna. Uma vez que esses tubos são formados simultaneamente à rocha que os envolve, diz-se que são cavernas primárias.
José Joaquín de Churriguera
José Joaquín de Churriguera (Plasencia ou Madrid, 1674 — 1724) foi um arquiteto barroco espanhol, membro da famosa família Churriguera de arquitetos — o pai e três irmãos — cujo nome deu origem ao termo Churrigueresco, responsáveis por várias obras emblemátcias do barroco espanhol, como  edifícios emblemáticos e trabalhos de escultura, nomeadamente retábulos.

A atividade profissional de José Joaquín de Churriguera decorreu sobretudo em Salamanca, embora também tenha trabalhos dignos de relevo mas atuais províncias de província de Zamora, província de Leão e província de Cáceres. À data da sua morte deixou diversas obras inacabadas, como o coro da Catedral Nova de Salamanca, que seria continuada pelo seu irmão mais novo, Alberto.

Catedral Nova de Salamanca
A Catedral Nova de Salamanca é, em conjunto com a Catedral Velha, uma das catedrais de Salamanca, em Castela e Leão, em Espanha. É a sede da diocese de Salamanca.

Foi construída entre os séculos XVI e XVIII basicamente em dois estilos: gótico tardio e barroco.
Bíblia de Tyndale
A Bíblia de Tyndale geralmente se refere ao conjunto de traduções bíblicas de William Tyndale. A Bíblia de Tyndale é creditada como sendo a primeira tradução para o inglês a trabalhar diretamente com os textos hebraico e grego. Além disso, foi a primeira tradução bíblica em inglês produzida em massa, resultado dos novos avanços na arte da impressão. O termo Bíblia de Tyndale não é estritamente correto, pois Tyndale nunca publicou uma Bíblia completa. Antes de sua execução, Tyndale tinha acabado de traduzir todo o Novo Testamento, e apenas cerca da metade do Velho Testamento. Destes últimos, o Pentateuco, Jonas e uma versão revisada do livro de Gênesis, foram publicadas durante sua vida. Suas demais obras do Antigo Testamento foram utilizadas pela primeira vez na criação da Bíblia de Mateus, influenciando fortemente todas as grandes traduções em inglês da Bíblia posteriores.

Gênesis
O Livro de Gênesis (do hebraico בְּרֵאשִׁית, B'reishit, "No princípio", a partir da primeira palavra do texto original; do grego Γένεσις, "origem", a partir da Septuaginta) é um dos livros do Tanakh e do Antigo Testamento, que integra a seção da Torá e do Pentateuco. Narra as origens do mundo e da humanidade e a formação do povo hebreu a partir dos patriarcas Abraão, Isaque, Jacó e seus doze filhos.

A tradição judaico-cristã atribui a autoria do texto a Moisés, enquanto a crítica literária moderna prefere descrevê-lo como um compilado de textos de diversas mãos. Com base na interpretação científica de evidências arqueológicas, genéticas e linguísticas, a maioria dos estudiosos da Bíblia considera-o um relato principalmente mitológico e não histórico.
Mayu Sakai
Mayu Sakai (酒井 まゆ, Sakai Mayu?, Nascida em 07 de janeiro de 1982) é uma artista de mangá japonesa que já trabalhou como assistente de Miho Obana. Seus trabalhos foram inicialmente publicados na revista de shoujo Ribon antes de serem publicados pela Shueisha. Mayu Sakai também tem sido destaque em uma das publicações de shōnen Shueisha, Jump SQ.

Ribon
A Ribon (りぼん) é uma revista mensal japonesa de mangá shōjo (para meninas) da editora Shueisha, publicada desde agosto de 1955[carece de fontes?]. Entre 1.º de outubro de 2008 e 30 de setembro de 2009, foram vendidas 274.167 de suas revistas..
R: Racing Evolution
R: Racing Evolution (R: Racing na Europa) é um jogo eletrônico do gênero simulador de corrida produzido e publicado pela Namco lançado em 2003 para PlayStation 2, Nintendo GameCube e Xbox.

O jogo é considerado um spin-off da série Ridge Racer, contém 33 carros reais de categorias de automobilismo como Super GT, WRC e 24 Horas de Le Mans, o jogo também conta com modo estória e contém um sistema chamado pressure meter onde o jogador pode pressionar a inteligência artificial para cometer erros. O jogo conta com circuitos reais e fictícios, dentre os reais encontram-se: Circuito de Suzuka, Twin Ring Motegi, Phillip Island Grand Prix Circuit e o Circuito de Mônaco.

Simulador de corrida
Simulador de corrida (também conhecido pelo termo em inglês: sim racing) é uma categoria de software ou jogo eletrônico com o objetivo de reproduzir uma corrida de automobilismo de forma completa como consumo de combustível, pneus, suspensão, física, colisões, inteligência artificial avançada, etc., além de aspectos de condução de veículos. Esse tipo de dificuldade e curva de aprendizado é o que separa os simuladores de corrida dos jogos eletrônicos de corrida que possuem jogabilidade mais casual.
Prémio Pulitzer de Reportagem Fotográfica
O Prémio Pulitzer de Reportagem Fotográfica é um dos Prémios Pulitzer entregues anualmente na área do jornalismo. A partir do ano de 2000 tem usado o nome de "reportagem fotográfica" apesar de ser considerado uma continuação do Prémio Pulitzer de Fotografia de Última Hora, que foi entregue de 1968 a 1999. Anteriormente a 1968, existia um prémio único de Fotojornalismo, o Prémio Pulitzer de Fotografia, que foi substituído nesse ano pelo Prémio Pulitzer de Fotografia de Última Hora e pelo Prémio Pulitzer de Fotografia Especial.

Reuters
Reuters (AFI:[ˈrɔɪtərz] (róiters)) é uma agência de notícias britânica, a maior agência internacional de notícias do mundo, com sede em Londres. Foi parte da Reuters Group Plc até 2008. Seu foco estava em tópicos econômicos, mas semelhantemente à Bloomberg ou Associated Press, também outras notícias. Depois da fusão com a canadense Thomson Group em 17 de abril de 2008, e a renomeação para Thomson Reuters, a agência continuou com sede em Londres.
Eupen-Malmedy
Eupen-Malmedy é um cantão, formado a partir dos antigos distritos prussianos de  Malmedy e Eupen, em conjunto com Moresnet. Os territórios foram anexados pela Bélgica em 1925, de acordo com o Tratado de Versalhes, após um plebiscito de aprovação. Negociações entre a Alemanha e a Bélgica para a posse do cantão não tiveram sucesso, pois a França exigia que o cumprimento de todas as cláusulas do tratado, e não se mostrava disposta a rever o acordo.

Durante a Segunda Guerra Mundial, a região foi anexada pela Alemanha nazista. Em 1956, a Alemanha Ocidental reconheceu a anexação ilegal da região, devolvendo a posse ao governo belga.

Eupen
Eupen é uma cidade e um município germanófono da Bélgica localizado no distrito de Verviers, província de Liège, região da Valônia. Eupen está situada 45 km ao sul de Maastricht (Países Baixos) e 15 km a oeste de Aachen, na Alemanha.

Altitude: de 258 a 380 metros.
International Harvester Travelall
O Travelall foi um veículo utilitário esportivo produzido de 1953 a 1975 pela empresa estadunidense International Harvester Corporation (IHC). Ao longo de 22 anos de produção o modelo teve quatro gerações nos seguintes anos: Primeira geração anos 1953-1957; Segunda geração 1958-1960; Terceira geração 1961-1968 e Quarta geração 1969-1975.

Veículo
Veículo (do latim vehiculum) é uma máquina que transporta pessoas ou carga. Os veículos incluem bicicletas, veículos motorizados (motocicletas, carros, caminhões, ônibus), veículos sobre trilhos (trens, bondes, etc.), embarcações (navios, barcos), veículos anfíbios (hovercraft, etc), aeronaves (aviões, helicópteros) e espaçonaves.

Os veículos terrestres são classificados de forma ampla pelo que é usado para aplicar as forças de direção ao solo: rodas, rastos, trilhos, etc. O ISO 3833-1977 é o padrão, também usado internacionalmente na legislação, para tipos, termos e definições de veículos rodoviários.
RetransMISSÃO (Remixes)
RetransMISSÃO é o sexto Álbum de estúdio do rapper cristão Pregador Luo, segundo lançado pela Universal Music Cristian Group em 4 de agosto de 2017.

O CD tem o intuito de trazer para a nova geração de fãs do Pregador, diversas faixas de sua carreira solo e também as com o grupo Apocalipse 16, remasterizadas e com uma nova roupagem. Além das 17 faixas remixes, há também a inédita "Lá Onde Eu Vou Morar" lançada como single em maio de 2017.

Foram produzidos videoclipes de algumas das músicas do CD para o canal do cantor na Vevo. Também foi realizada a gravação de um DVD  em agosto de 2018, lançado em 26 de Dezembro de 2019, com participações de Ao Cubo, Sarah, Mauro Henrique (Oficina G3), Jefte Santos, KLB, MC Rashid, Luciano Claw, Edu Porto e Gabriela Gomes.

Rashid (cantor)
Michel Dias Costa (São Paulo, 21 de março de 1988), mais conhecido como Rashid, é um rapper, produtor e empresário brasileiro. Seu álbum Crise foi eleito o 39º melhor disco brasileiro de 2018 pela revista Rolling Stone Brasil e um dos 25 melhores álbuns brasileiros do primeiro semestre de 2018 pela Associação Paulista de Críticos de Arte.
Sydney Swans
O Sydney Swans", é um clube profissional de futebol australiano que compete na Australian Football League (AFL). O clube é sediado em Sydney, Nova Gales do Sul, Austrália, e joga suas partidas no Sydney Cricket Ground, ou  ANZ Stadium em partidas maiores. O clube foi criado como South Melbourne Football Club, porém, foi realocado para Sydney em 1982, sendo o primeiro time de futebol australiano fora do estado de Victoria.

Stadium Australia
O Stadium Australia (também conhecido como Estádio Olímpico de Sydney ou, por naming rights, Accor Stadium, anteriormente Telstra Stadium ou ANZ Stadium) é um estádio multiuso localizado em Sydney, Austrália. Possui capacidade para 82.500 torcedores na configuração oval para jogos de críquete e futebol australiano, e 83.500 torcedores na configuração retangular para jogos de rugby e futebol.
Tuarazatáfia
Tuarazatáfia ou Tuaracatafe (em armênio: Տուարածատափ; romaniz.: Tuaracatap’), segundo a Geografia de Ananias de Siracena (século VII), foi um gavar (cantão) da província de Turuberânia, no Reino da Armênia. Provavelmente fazia parte dos domínios da família Varasnúnio. Compreendia uma área de 760 quilômetros. Heinrich Hübschmann propôs que seu nome significa "Campo do Pastor", de tvarac (tvaracakan), "pastor", e tap’, "campo". No entanto, Suren Eremyan sugeriu que seja o urartita Turacini-Cubi, que hoje é identificado com a planície de Caraiaze, na qual flui o rio Goque (Gӧk). Em 591, o imperador Maurício recebeu vastas porções da Armênia sassânida em compensação da ajuda militar prestada ao xainxá Cosroes II (r. 590–628). Todos os distrito que compunham Turuberânia foram incluídos na província recém-fundada da Armênia Interior.

Língua urartita
Urartiano ou urartita é uma língua hurro-urartiana extinta. Era falada pelos habitantes do antigo Reino de Urartu (Biaini ou Biainili em urartiano), que era centrado na região ao redor do Lago de Vã e tinha sua capital, Tuspa, perto do sítio da atual cidade de Vã nas terras altas da Armênia, agora na região da Anatólia Oriental da Turquia. Sua prevalência passada é desconhecida. Enquanto alguns pensam que provavelmente era dominante ao redor do Lago de Vã e nas áreas ao longo do vale superior do Zabe, outros acreditam que era falado por uma população relativamente pequena que compreendia uma classe dominante. Atestado pela primeira vez no século IX a.C., o urartiano deixou de ser escrito após a queda de Urartu em 585 a.C. e presumivelmente foi extinto. Deve ter tido um longo contato com uma forma inicial do armênio e ter sido gradualmente substituído por ele, embora somente no século V d.C. que os primeiros exemplos escritos do armênio apareceram.
Cecil James Nesbitt
Cecil James Nesbitt, Ph.D., F.S.A., M.A.A.A. (Ontário, 1912 – 2001) foi um matemático estadunidense.

Obteve um doutorado em 1937 na Universidade de Toronto, orientado por Richard Brauer, com a tese On the Regular Representations of Algebras. Escreveu diversos artigos influenciais sobre a história inicial da teoria da representação modular. Lecionou ciências atuariais na Universidade de Michigan de 1938 a 1980.

Ciências atuariais
A ciência atuarial, também conhecida como atuária, trata da análise de riscos e expectativas, principalmente na administração de seguros e fundos de pensão, através de técnicas da estatística e da matemática financeira.
Mesmo parecendo uma ciência recente, as origens da atuária remontam às primeiras preocupações em se criarem garantias aos indivíduos de uma sociedade e em se estudar quantidades de nascimento e morte das pessoas.
TTL 7414
O circuito integrado TTL 7414 é um dispositivo TTL encapsulado em um invólucro DIP de 14 pinos que possui seis inversores disparador Schmitt.

A histerese típica de entrada é de 0,8 V com VCC em 5 V positivos.

Histerese
A histerese é a tendência de um sistema de conservar suas propriedades na ausência de um estímulo que as gerou, ou ainda, é a capacidade de preservar uma deformação efetuada por um estímulo. Podem-se encontrar diferentes manifestações desse fenômeno. A histerese mais conhecida ocorre no magnetismo, mas também pode ocorrer em diversas áreas como mecânica clássica, tráfego, biologia, epidemiologia, sociologia entre outras. A palavra "histerese" deriva do grego antigo υστέρησις, que significa 'retardo', que foi cunhada por James Alfred Ewing em 1890.
Giza Studio
Giza Studio (ギザ ステューディオ) (estilizado como GIZA studio) é uma gravadora japonesa.

A gravadora iniciou suas atividades no inicio dos anos 90 usando o nome Garage Indies Zapping Association (GIZA). Não muito tempo depois foi comprada pela Being Inc., que é um conglomerado de gravadoras musicais. Giza Studio, no entanto, continuou atuando de forma independente usando seu próprio nome.

A gravadora está localizada na cidade de Osaka (Japão). Diversos artistas japoneses já passaram ou continuam ativos na gravadora. Dentro os mais importantes estão nomes como Mai Kuraki, GARNET CROW, Rina Aiuchi, Aika Ohno e Chicago Poodle.

Mai Kuraki
Mai Kuraki (倉木 麻衣, Kuraki Mai) (nascida em 28 de outubro de 1982 como Mai Aono (青野真衣, Aono Mai)) é uma cantora e compositora de música pop e R&B nascida na cidade de Funabashi, Chiba, no Japão. Kuraki comneçou sua carreira no Japão em 1999 com o single "Love, Day After Tomorrow". Em 2000, ela lançou seu álbum de estréia, Delicious Way, que alcançou o número um das paradas da Oricon e vendeu 2.210.000 cópias na semana de lançamento. Kuraki é uma das poucas cantoras do Japão a ter seus quatro primeiros álbuns no topo das paradas da Oricon.

Em 2009, Kuraki obteve o retorno de sua popularidade. Seu oitavo álbum de estúdio, Touch Me!, estreou no topo da lista de vendas; tornando-se o primeiro álbum de Mai em em cinco anos a alcançar o número um. Kuraki alcançou o recorde de ser a única artista feminina que teve todos os seus singles no top 10 da Oricon desde a sua estréia. Até hoje, Mai Kuraki tem 7 de seus álbuns #1 e dois singles #1 no Japão.
Jogos Sul-Asiáticos de 2025
Os Jogos do Sul da Ásia de 2025, oficialmente os XIV Jogos do Sul da Ásia, serão um grande evento multiesportivo que será realizado no Paquistão, e terá Lahore, capital da província de Punjab, como principal cidade-sede. As cidades de Faisalabad, Gujranwala, Islamabad e Sialkot darão apoio para Lahore sediar alguns esportes. Os Jogos estavam programados para março de 2023, mas posteriormente adiados para março de 2024 pelos membros do SAOC na conferência do Conselho Olímpico da Ásia (OCA) em Phnom Penh, Camboja. Isto marcará a terceira vez que o Paquistão acolhe os Jogos do Sul da Ásia desde 1989 e 2004, e a primeira vez que o Paquistão acolhe o evento fora de Islamabad .

Panjabe (Paquistão)
O Panjabe, Panjaba, Penjabe, Panjab Pendjab ou Punjab é uma das províncias do Paquistão. É a mais populosa e desenvolvida região do país.

Algumas das principais cidades do Punjabe paquistanês são: Faiçalabade, Gujranwala, Laore (capital da província), Kasur, Multã, Raualpindi, Sargoda. Fez parte da antiga província do Panjabe antes da divisão da Índia Britânica em 1947.
Magiárabes
Os magiárabes são um grupo étnico que habita o sul do Egito e norte do Sudão (Uádi Halfa), no Rio Nilo. São descendentes de húngaros, provavelmente levados pelos Otomanos para a África como escravos em 1517, e mulheres núbias, possuindo aparência mestiça.

Uádi Halfa
Uádi Halfa (Wadi Halfa) é uma cidade e um dos quatro distritos do Estado do Norte, no Sudão. Localizada no extremo norte do país, encontra-se na margem leste do rio Nilo, a 10 km donde estava a segunda catarata, ao sul da fronteira egípcia. Está nas proximidades do Saliente de Uádi Halfa.
Emboscada de Crossbarry
A Emboscada de Crossbarry foi um combate que aconteceu em 19 de março de 1921 e foi a maior batalha convencional da guerra de independência da Irlanda. Aconteceu na zona rural de Crossbarry, no Condado de Cork, a cerca de 20 km ao sul da cidade de Cork. Cerca de cem voluntários do Exército Republicano Irlandês (IRA) escaparam de uma emboscada de cerca de 1 300 soldados ingleses. Os irlandeses conseguiram abrir caminho a bala e escapar, sendo que, nesse processo, foram mortos 30 militares britânicos e três homens do IRA.

Condado de Cork
O Condado de Cork (Corcáigh em irlandês) é um condado da República da Irlanda, na província de Munster, no sudoeste do país. O condado é o maior dos atualmente em vigor na ilha, e sua capital, Cork, é a segunda maior cidade da República da Irlanda (e atual capital européia da cultura) e é terceira maior cidade da Irlanda após Dublin e Belfast.

Os condados vizinhos a Cork são Limerick a norte, Tipperary a nordeste, Waterord a leste, o Oceano Atlântico a sul e Kerry a sudoeste.
A Bíblia
A Bíblia (em inglês:  The Bible... In The Beginning; em italiano:  La Bibbia) é um filme ítalo-americano que narra os 22 primeiros capítulos do livro de Gênesis. Produzido pela Twentieth Century Fox pelo italiano Dino De Laurentiis, rodado nos estúdios Cinecittà e dirigido por John Huston, em 1966, tem como elenco o próprio John Huston (Noé, voz de Deus, Narrador, voz da Serpente), Pupella Maggio (esposa de Noé), Peter Heinze (Sem), Anna Orso (esposa de Sem), Angelo Boscariol (Cã), Eric Leutzinger (Jafé), Rossana Di Rocco (esposa de Jafé), Franco Nero (Abel), George C. Scott (Abraão), Ava Gardner (Sara), Alberto Lucantoni (Isaque), Peter O'Toole (Os três anjos), Michael Parks (Adão), Ulla Bergryd (Eva), Richard Harris (Caim), Stephen Boyd (Ninrode), Claudie Lange (esposa de Ninrode), Zoe Sallis (Agar), Luciano Conversi (Ismael), Gabriele Ferzetti (Ló), Elenora Rossi Drago (esposa de Ló).

Ló
Ló ou Lot (em hebraico: לוֹט, romaniz.: Lot, tiberiano: Lôṭ; lit. "véu" ou "cobertura" ), foi um personagem bíblico do Antigo Testamento, conforme o livro sagrado dos israelitas e cristãos, da linhagem de Sem, neto de Terá, filho de Harã e sobrinho de Abraão.
Barbara Partee
Barbara H. Partee (Englewood, Nova Jérsei, 23 de junho de 1940) é uma linguista estadunidense conhecida principalmente por seus trabalhos em semântica formal. É professora emérita da Universidade de Massachusetts em Amherst. Em 1986, foi presidente da Sociedade Linguística da América.

Semântica formal
Semântica formal é a área de estudo de ciência da computação que se preocupa em especificar o significado (ou comportamento) de programas de computador e partes de hardware.

A semântica é complementar à sintaxe de programas de computador, que se preocupa em descrever as estruturas de uma linguagem de programação.

A necessidade de uma semântica formal (matemática) para linguagens de programação justifica-se, pois:

Pode revelar ambiguidades na definição da linguagem (o que uma descrição informal não permitiria revelar);

É uma base para implementação (síntese), análise e verificação formal.