Què llenguatges formals es pot atribuir? exemples d'ús

Quin és el llenguatge formal i com es diferencia del que és natural? Com es va formar? Què llenguatges formals es pot atribuir? I s'utilitza per referir-se a ell?

Característiques dels llenguatges formals

Pel que anomenem un grup de llengües artificials, que es caracteritzen per normes precises pel que fa a la construcció d'expressions, així com la seva comprensió. Els sistemes utilitzats per a fins industrials es poden atribuir als llenguatges formals. Estan construïts d'acord amb les regles clares, oferir una presentació unitària, compacta i precisa de les propietats i relacions dels estudiats en la matèria o d'objectes modelats. El valor i el significat de les marques no poden ser modificats per qualsevol característica pragmàtica (ús del context). Això és possible gràcies a la presència en el llenguatge formal de les regles de conversió de la sintaxi i la interpretació semàntica. Sovint es construeixen utilitzant com a base de les matemàtiques. A causa del fet que, en tot el període de desenvolupament, utilitza una varietat de denominacions simbòliques s'han aplicat a una varietat de conceptes i objectes. Això és el que hi ha llenguatges formals. Es pot reduir significativament les dades. Més d'hora, juntament amb els llenguatges formals i naturals s'han utilitzat, però amb la complicació gradual de la matèria i la necessitat de fer un estricte anàlisi lògica del raonament matemàtic, es va decidir abandonar el passat. Aquest procés va durar des del segle XVII fins al segle XX. És l'últim segle és considerat el més fructífer en termes de llenguatges formals. Es van crear diverses branques especials. Per tant, per a la informàtica són de particular importància dels llenguatges de programació i l'àlgebra de la lògica, no només teòrica, sinó també des d'un punt de vista pràctic.

definició

Què llenguatges formals es pot atribuir, ja hem explicat breument. Però què podem dir sobre ells? llenguatge formal se li dóna una gran quantitat de diferents definicions. Enumerar-los tots, deixarà una gran quantitat de temps, així que fer una ullada als més populars:

1. Una simple llista de paraules en la llengua - sol dir el mateix pel que fa a l'últim tipus de construcció i sobre els quals tenen una estructura simple.
2. Paraules generats per una determinada gramàtica formal.
3. L'estructura creada per les expressions regulars.
4. Paraules generades pel BPF-disseny.
5. L'estructura, reconeixible per un autòmat finit.

Vegem un exemple. Diguem que tenim tot l'alfabet, donat dos nombres 1 i 0. Per mostrar la lletra "O", s'utilitza una combinació de 1010001. Aquest és l'ús d'un llenguatge formal. També és possible utilitzar paraules buides (quan la cadena té longitud zero, i no hi ha res) amb una designació especial en forma familiar per a nosaltres. Però en més detall per comprendre el que és un llenguatge formal, ajudar a 4 exemples que es donaran a continuació. Què fer? Per a la comprensió del lector va ser que un llenguatge formal pot ser atribuït. Però una mica més sobre la forma en què es creen.

La construcció de llenguatges formals

Cada llengua és una estructura formal que s'ha creat d'una vegada a algú. En general, es basen en el mateix patró:

1. Per començar, seleccioneu l'alfabet, o algun conjunt de caràcters específics que seran construïdes i expressions utilitzats en el llenguatge. Pel llenguatge formal és qualsevol forma de programar l'ús d'un ordinador.
2. S'hi descriu la sintaxi, és a dir, les característiques i regles que construiran frases amb sentit.
3. En certes regles per les paraules i expressions. Aquí hi ha una regla: qualsevol seqüència de lletres ha de ser capaç de dir les paraules.

Per llenguatge formal es refereix a qualsevol estructura que té regles clares - s'ha de recordar. Quan es construeix, hi ha algunes característiques. Per tant, el terme "caràcter" és molt multi-funcional en termes de significat, de manera que en la seva major part utilitza el terme com una "carta". Però per sota d'ells es pot entendre no només la notació habitual per a nosaltres, sinó també els suports, caràcters especials, i molt més. Això s'aplica només als llenguatges formals.

exemple 1

Anem a començar amb 1 i 0. En aquests casos, utilitzar més el concepte d ' "expressió" i "fórmula". La primera actua com un anàleg de l'objecte i el nom utilitzat per referir-se a alguna cosa específic. En primer lloc entendre les constants i variables individuals en virtut d'ells. D'aquests, al seu torn, construir estructures més complexes, que s'utilitza utilitzats en alguns funció del llenguatge. Sota els termes del grup comprenen la fórmula, l'ús en un determinat llenguatge de programació és possible. Aquest "instrucció" serà processada, i la persona va a obtenir el resultat desitjat.

exemple 2

Penseu en la lògica exemple en el qual hi ha una inversió (€), disjunció (∧), la conjunció (∨) i la implicació (⇒) i diversos altres. En aquesta gravació d'imatges es pot donar com:

1. A;
2. A∧V ⇒ ¬
3. ¬ (A∨¬S)

Com els caràcters A, B, C, substituir les variables i s'obté les operacions lògiques. On aplicar els llenguatges formals d'aquest tipus? L'ús generalitzat d'un mecanisme d'aquest tipus es troba en els llenguatges de programació, matemàtiques, relacions, funcions lògiques i matemàtiques, o parts dels quals han estat descrits pel programador.

exemple 3

Vegem unes més complexes fórmules lògiques:

¬ (A∨¬S) ⇔ ¬A∧S = 1

És per això que necessitem llenguatges formals. Imaginar el que hauria passat si es va descriure en paraules? Ara, sobre la base d'una fórmula es dedueix conclusions. expressions significatives es poden obtenir en el llenguatge formal només quan certes regles es respecten pre-formació, el canvi i la "comprensió" de les fórmules i termes dels que estan fets:

1. fórmules termini de construcció i;
2. Estudi de l'aspecte semàntic i interpretació;
3. La seqüència d'una de les fórmules i altres termini.

Cada llenguatge formal ha de ser establert així un conjunt de regles.

exemple 4

A causa de la presència en les regles de la sortida de la sintaxi del llenguatge per als termes i les fórmules es poden fer models de transformació isomorfs. Per tant, es durà a terme no només el reflex (representació de) un cos específic de coneixement que ja existeix, però pot rebre nova informació. D'altra banda, la transformació, però, i es durà a terme d'acord amb normes clares i estrictes, pot ser automatitzat. Tècniques similars s'utilitzen en els sistemes experts, bases de coneixement, i productes de programari de suport de decisions.

conclusió

Els llenguatges formals són àmpliament utilitzats en la ciència, especialment en la matèria. Durant la investigació científica i la realització d'activitats pràctiques que poden interactuar amb el medi natural, en vista de les considerables capacitats expressives d'aquest últim. No obstant això, els llenguatges formals poden transmetre amb més precisió el coneixement i per dur a terme un intercanvi d'informació objectiva acumulada per la humanitat.