Lenguajeformal

DeWikipedia,laenciclopedialibre
En matemticas, lgica, y ciencias de la computacin, un
lenguaje formal es un lenguaje cuyos smbolos primitivos y
reglas para unir esos smbolos estn formalmente
especificados.1 2 Al conjunto de los smbolos primitivos se le
llamaelalfabeto(ovocabulario)dellenguaje,yalconjuntode
las reglas se lo llama la gramtica formal (o sintaxis). A una
cadena de smbolos formada de acuerdo a la gramtica se la
llama una frmula bien formada (o palabra) del lenguaje.
Estrictamente hablando, un lenguaje formal es idntico al
conjuntodetodassusfrmulasbienformadas.Adiferenciade
loqueocurreconelalfabeto(quedebeserunconjuntofinito)y
con cada frmula bien formada (que debe tener una longitud
tambinfinita),unlenguajeformalpuedeestarcompuestopor
unnmeroinfinitodefrmulasbienformadas.
Por ejemplo, un alfabeto podra ser el conjunto {a,b}, y una
gramtica podra definir a las frmulas bien formadas como
aquellas que tienen el mismo nmero de smbolos a que b.
Entonces,algunasfrmulasbienformadasdellenguajeseran:
ab, ba, abab, ababba, etc. y el lenguaje formal sera el
conjuntodetodasesasfrmulasbienformadas.

Estaimagenmuestralarelacinentre
lascadenasdecaracteres,lasfrmulas
bienformadasylosteoremas.En
algunossistemasformales,sin
embargo,elconjuntodelosteoremas
coincideconeldelasfrmulasbien
formadas.

Para algunos lenguajes formales existe una semntica formal

que puede interpretar y dar significado a las frmulas bien
formadas del lenguaje. Sin embargo, una semntica formal no
escondicinnecesariaparadefinirunlenguajeformal,yesoesunadiferenciaesencialconloslenguajes
naturales.
Enalgunoslenguajesformales,lapalabravaca(estoes,lacadenadesmbolosdelongitudcero)est
permitida,notndosefrecuentementemediante , o .

ndice
1Ejemplodelenguajesformales
2Especificacindelenguajesformales
3Operaciones
4Verdadesconcernientesaloslenguajesformales
5Vasetambin
6Notasyreferencias
7Enlacesexternos

Ejemplodelenguajesformales
Unconjuntodetodaslaspalabrassobre{a,b}.
LaNumeracindeGdel{an:aesunnmeroprimoynunnmerodeGdel}.

El conjunto de todos los programas sintcticamente vlidos en un determinado lenguaje de

programacin.
Elconjuntodetodaslasfrmulasbienformadasenlalgicadeprimerorden.

Especificacindelenguajesformales
Loslenguajesformalessepuedenespecificardeunaampliavariedaddeformas,comoporejemplo:
(Siellenguajeesregular)
Cadenasproducidasporunagramticaformal(vaselajerarquadeChomsky).
Cadenasdescriptasporunaexpresinregular.
Cadenasaceptadasporunautmata,talcomounamquinadeTuring.
Lascadenasestnformadasporunconjuntodesmbolosquepertenecenaunmismolenguaje,existen
dosformasdecomponerunasentenciaofuncinconlossmbolos:
Sintaxis
Semntica

Operaciones
Sepuedenutilizarvariasoperacionesparaproducirnuevoslenguajesapartirdeotrosdados.Supngase
queL1yL2sonlenguajessobreunalfabetocomn.Entonces:
LaconcatenacinL1L2consistedetodasaquellaspalabrasdelaformavwdondevesunapalabra
deL1ywesunapalabradeL2
LainterseccinL1&L2consisteentodasaquellaspalabrasqueestncontenidastantoenL1como
enL2
LauninL1|L2consisteentodasaquellaspalabrasqueestncontenidasyaseaenL1oenL2
Elcomplemento~L1consisteentodasaquellaspalabrasproduciblessobreelalfabetodeL1queno
estnyacontenidasenL1
ElcocienteL1/L2consistedetodasaquellaspalabrasvparalascualesexisteunapalabrawenL2
talesquevwseencuentraenL1
LaestrellaL1*(LlamadatambinclausuradeKleenedellenguajeL1)consistedetodasaquellas
palabrasquepuedenserescritasdelaformaW1W2...WndondetodoWiseencuentraenL1yn0.
(NtesequeestadefinicinincluyeaencualquierL*)
LaClausurapositivaL1+ consistedetodasaquellaspalabrasquepuedenserescritasdelaforma
W1W2...WndondetodoWiseencuentraenL1yn>0.(DifieredelaclausuradeKleeneyaque
contieneasiyslosiL1contienea)
La intercalacin L1*L2 consiste de todas aquellas palabras que pueden ser escritas de la forma
v1w1v2w2...vnwn son palabras tales que la concatenacin v1...vn est en L1, y la concatenacin
w1...wnestenL2
Seanlos lenguajes,deformatalqueparacada entonces estformadoportodaslaspalabrasque
pueden surgir de concatenar palabras del lenguaje . Por ejemplo, si
, entonces
En base al conceptor
anteriorpuedendefiniriselaclausurasmencionadasanteriormente:
La

clausura

de

Kleene

se

denota

formalmente:

Laclausurapositivasedenotaformalmente:
Porlotantosededuceque

UnapreguntaquesehacetpicamentesobreundeterminadolenguajeformalLescundifcilesdecidir
siincluyeonounadeterminadapalabrav.Estetemaesdeldominiodelateoradelacomputabilidady
lateoradelacomplejidadcomputacional.
Porcontraposicinallenguajepropiodelosseresvivosyenespecialellenguajehumano,considerados
lenguajes naturales, se denomina lenguaje formal a los lenguajes artificiales propios de las
matemticas o la informtica, los lenguajes artificiales son llamados lenguajes formales (incluyendo
lenguajes de programacin). Sin embargo, el lenguaje humano tiene una caracterstica que no se
encuentraenloslenguajesdeprogramacin:ladiversidad.
En1956,NoamChomsky cre la jerarquadeChomsky para organizar los distintos tipos de lenguaje
formal.

Verdadesconcernientesaloslenguajesformales
Teorema1
Elconjuntodelenguajesengeneral(incluyendolosnoformales)esincontable.
Lema1
Elconjuntodelenguajesenunalfabetonovacodadoesincontable.
Afirmarqueunalfabetoesnovacoequivaleaqueesealfabetocontengaalmenosunsmbolo,
ergo, basta demostrar que el conjunto de lenguajes en el alfabeto
es incontable. Como
sabemos,unlenguajeLen
esunsubconjuntode
,estonosllevaalaconclusindeque,
el conjunto de todos los lenguajes en
es justamente
(el conjunto de todos los
subconjuntos o conjunto potencia de
) y es evidente que
es infinito (de hecho
contable),tambinhasidodemostradoquesi esunconjuntoinfinito(contableoincontable),
entonces esmayorque porque pasaaserunconjuntoinfinitoderdenesdelinfinito,al
sermayor,noexistirbiyeccinentre y ,loquehacea unconjuntoinfinitoincontable,
lapruebahafinalizado.
DemostracindelTeorema1
PuedederivarsefcilmentequelaaseveracindelineadaenelTeorema1esverdadera,porqueel
conjuntodelenguajesengeneralesjustamenteunaunininfinitadeconjuntosdeltipo ,donde
esunconjuntoinfinitocontable.
Teorema2
Loslenguajessonconjuntoscontables.
Sesabequeunlenguaje enunalfabeto esunsubconjuntode ycomoyasehizomencin,
es infinito contable, por ende, es como mucho un conjunto infinito contable (del mismo
tamaoque ),lapruebahaculminado.

Teorema3
Elconjuntodelenguajesformalesescontable.
Comosabemosunlenguajeformalpuedesergeneradoporunagramticaformal(odeestructura
defrase),locualimplicaquetodolenguajeformalpuedeseraceptadoporunaMT,loqueasuvez
implicaquesepuededefinirunabiyeccinentreelconjuntodelenguajesformalesyelconjunto
delasMTs(debidoalapropiedadtransitivadelarelacin"existebiyeccinentre y ").Para
demostrar el teorema se utilizar el concepto de codificacin de MTs que se introduce en el
estudio de las MTs universales, generalmente se codifica una MT con una funcin que tiene
precisamente como dominio al conjunto de las MTs (lo llamaremos ) y como codominio
,esafuncinpuedeserunabiyeccinsielcodominiopasaaserY(unsubconjuntode
)ycomo
escontable,esesubconjuntotambinsercontableycomoexistedicha
biyeccin(entre e ),laasercinhasidodemostrada,pruebaconcluida.

Vasetambin
Teoradelacomputacin
Cienciasdelacomputacin
Lenguajedeespecificacin
Lenguajeformalizado
Notacinmatemtica

Notasyreferencias
1. Mellema,
Gregory,
formal
language
(http://www.oxfordreference.com/views/ENTRY.html?
subview=Main&entry=t116.e929) (en ingls), The Oxford Companion to Philosophy, Oxford University
Press, http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t116.e929, consultado el
13deoctubrede2009
2. Shapiro, Stewart, Classical Logic (http://plato.stanford.edu/archives/win2009/entries/logicclassical/), en
Edward N. Zalta (en ingls), Stanford Encyclopedia of Philosophy (Winter 2009 Edition),
http://plato.stanford.edu/archives/win2009/entries/logicclassical/,Again, a formal language is a recursively
definedsetofstringsonafixedalphabet.

Enlacesexternos
Autmatas y lenguajes (http://homepages.mty.itesm.mx/rbrena/AyL.html) Libro electrnico
gratuitoporRamonF.BrenaPinero.
Obtenidodehttp://es.wikipedia.org/w/index.php?title=Lenguaje_formal&oldid=80565384
Categoras: Lenguajesformales Lingsticagenerativa
Estapginafuemodificadaporltimavezel13mar2015alas02:00.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0
podranseraplicablesclusulasadicionales.Lanselostrminosdeusoparamsinformacin.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimo
delucro.