Llenguatge formal

A matemàtiques, lògica, i ciències de la computació, un llenguatge formal és un llenguatge on els símbols primitius i regles per a unir aquests símbols estan formalment especificats. Al conjunt dels símbols primitius se l'anomena l'alfabet del llenguatge, i al conjunt de les regles se l'anomena la gramàtica formal. A una cadena de símbols formada d'acord amb la gramàtica se l'anomena una fórmula ben formada del llenguatge. Estrictament parlant, un llenguatge formal és idèntic al conjunt de totes les seves fórmules ben formades.
Esquema elèctric
Un esquema elèctric és una representació gràfica d'una instal·lació elèctrica o de part d'ella, en què queda perfectament definit cada un dels components de la instal·lació i la interconnexió entre ells
Mur de contenció
S'anomena mur de contenció a un tipus d'estructura de contenció rígida, destinada a contenir algun material, generalment terres
Angle central
Un angle central és un angle que té el vèrtex en el centre O d'una circumferència i els seus costats són els radis que tallen la circumferència en dos punts diferents A i B. L'angle central comprèn (abasta) l'arc entre aquests dos punts, i la
Locutori (arquitectura)
El locutori, del llatí locutorium, és una sala d'un convent on els monjos o monges poden rebre visites i parlar entre ells però generalment estan separats per una reixa o similar. De vegades es parla de "locutori extern" i també hi ha aquesta
Sistema òptic
Dins l'entorn de l'òptica geomètrica s'anomena sistema òptic a un conjunt de superfícies que separen mitjans amb diferents índexs de refracció
Farina d'arròs
La farina d'arròs és un tipus de farina feta d'arròs molt finament
Tija de selló
Una tija de selló o tija de sellí, és un tub generalment d'alumini o d'acer que uneix el sellí de la bicicleta amb el quadre d'aquesta
Sòl de PVC
El sòl de PVC o sòl vinílic és un tipus de revestiment plàstic continu utilitzat en llocs sense excessiu trànsit que necessiten una neteja freqüent, com en laboratoris o escoles infantils. Està fabricat a partir del policlorur de vinil, sovint
Distribució marginal
Dins la teoria de probabilitats, donades dues variables aleatòries juntes X & Y, la distribució marginal de X és simplement la distribució de probabilitat de X fent cas omís de la informació referent a Y. Aquest tipus de càlcul es produeix quan es
Times Square (pel·lícula de 1980)
Times Square és una pel·lícula dramàtica estatunidenca de 1980 dirigida per Allan Moyle i protagonitzada per Trini Alvarado i Robin Johnson com a adolescents fugitius de costats oposats i Tim Curry com a DJ de ràdio. La pel·lícula està ambientada