Cosa à lingue furmali pò esse falsu? esempi di usu

Cosa hè a lingua furmali e cumu si diffirisci da u naturale? Comu era furmata? Cosa à lingue furmali pò esse falsu? E si veni usatu pi rifèririsi a iddu?

Caratteristiche di lingue furmali

So noi chjama un gruppu di lingue artificiali, unni sò carattarizatu da e règule pricisu à nantu à a custruzzione di sprissioni, oltri a so intelligenza. sistema usatu pi scopi industriali pò esse stata attribuita à lingue furmali. Iddi sò custruitu in u rispettu incù i regule semplice, eppuri, cumparisce fiducia, poche e pricisu di l 'uggetti e li rilazzioni di i studii , zona sughjettu , o oggetti asciutti. I valori è lu significatu di l 'Obed ùn si pò mudificà da ogni prughjettu n'ordini (usu di u cuntestu). Hè pussìbule, grazi a la prisenza in a lingua furmali di li rèuli di cunversione funetica e spiigazione simàntici. Iddi sunnu spissu custruitu cù comu na basa di a matematica. Duvuta a lu fattu ca si, u friscalette, nùmaru di u sviluppu, usatu una varietà di tituli simbolichi sò state si rifiriscinu a un varietà di li cuncetti è uggetti. Chì hè ciò chì ci vole lingue furmali. Si pò stà muti mudificà dati. Nanzu, nsemi a lu lingue furmali e naturali sò statu usatu, ma incù u distaccu complication di u sughjettu è u bisognu di fà un 'analisi logica quaterni di raghjunamentu matimatica, si dicideru a abbannunari lu passatu. Stu prucessu duratu da u seculu XVII à u seculu XX. Hè l 'ultimu seculu, hè cunsidaratu u più àrburu in termini di lingue furmali. stati creati parechji rami spiciali. So, di la nfurmàtica sò di particulare prugrammazione impurtanza è l 'àlgibbra di a logica, micca solu teorichi, ma dinù da un puntu di vita di vista.

traduction

Cosa à lingue furmali si pò mittia, avemu digià spiegata discrittu. Ma ciò chì pò avemu diri circa li? lingua furmali hè datu assai di definizione differente. A lista elli tutti, è vi lascia un saccu di tempu, accussì piglià un ochju à u più pupulare:

1. Un sèmplice a lista di e parolle in a lingua - solitu dì cusì cù u rispettu di u tippu finale di custruzzione è circa lu chiddi chi hannu na struttura semplice.
2. Parolle caricate da un certu Grammatica furmali.
3. A struttura criata da sprissioni rigulari.
4. Parolle caricate da u BPF-design.
5. A struttura, recognizable da un automaton core.

A Canzona di circà à un esempiu. A Canzona di dì avemu u friscalette, alfabbetu, datu dui numari 1 è 0. Per vede a lettera "O", avemu usari na cumminazzioni di 1010001. Stu hè l 'usu di na lingua furmali. Hè dinù pussibule à aduprà e parolle viotu (quandu u string & hà zeru lunghizza, è ùn ci hè nunda) incù una appillazioni particulare in u furmulariu pràticu à noi. Ma in più tecnica à capisce ciò chì hè una lingua furmali, aiuta 4 esempii chì vi sarà datu dopu. Cosa ùn si fà? A cunniscenza di u lettore hè chì una lingua furmali pò esse falsu. Ma un pocu di più di quantu iddi sò creati.

Custruzzioni di lingue furmali

Ogni lingua hè una struttura furmali chi fù creatu una volta è calchissia. Ci sò di solitu custruitu supra lu stissu mudellu:

1. Cumincià, sceglie l 'alfabbetu, o di qualchi gruppu di i caratteri specifichi chì serà custruitu è sprissioni usati in la lingua. By la lingua furmali hè ogni modu d'prugrammu cù un urdinatore.
2. It discrivi la sintassi, chi hè, e caratteristiche e regule chì hà da fà esempio significante.
3. Su certe regule di e parolle è sprissioni. Quì ci hè una regula: ogni siquenza di littri deve esse in gradu di cuntari e parolle.

By lingua furmali si rifirisci a ogni struttura chì hà regule semplice - si avissi a èssiri ricurdatu. Quandu costruzzioni, ci sò qualchi funziunalità. Dunque, u tèrmini "caratteru" hè assai multi-funziunali in termini di significatu, tantu di i più parte usatu lu tèrmini comu "lettera". Ma sottu, li si pò capì micca solu u solitu decimal per noi, ma dinò l 'mènzuli, caratteri particulari, è di più. Stu vali solu à lingue furmali.

esempiu 1

Chì l'principiatu cù 1 è 0. In sti casi, utilizà u più u cuncettu di "parola" e "fòrmula". A prima hè com'è una analogue di l 'uggettu e la nomu usatu pi rifèririsi a machja specifichi. Prima di tuttu capisce u constants e variàbili individuale sottu à elli. Di sti, a turnu, custruisce e strutture di più cumplicatu, chì hè usate usatu in qualchi funzione lingua. Sutta lu termini di u gruppu capisce la fòrmula, l 'usu di cui in una certa lingua di prugrammazione hè pussibili. Stu "struzzione" serà trattatu, è u persona dariti lu risultatu àutri.

esempiu 2

Guardà la lòggica esempiu in u quali ùn ci hè un'inversione (¬), disjunction (∧), u cunghjunzione (∨) è l 'cunchiùdiri (⇒) è parechji altri. In tali n'hè di imagine pò esse datu cum'è:

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

Comu lu caratteri A, B, C, rimpiazzà i variàbili è c'arriva u funziunamentu di u penseru logicu. Induve a dumandà lingue furmali di stu tipu? L'usu diffusu di un tali miccanisimu hè trovu a prugrammazione, matematica, raporti, funzioni logica e matimatica, o di parti di li quali sò stati discritti da u so editore.

esempiu 3

A Canzona di circà à un di più cumplessu formuli ghjusta:

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

Chì hè perchè avemu bisognu di lingue furmali. Pensa chi avissi successu siddu statu discrittu in e parolle? Avà, basatu nant'à una fòrmula noi deduce cuegghiè. sprissioni chi ponu esse acquistatu in u lingua furmali solu quandu certe regule sò rispittati pri-furmazzioni, cambià e "intelligenza" di i formuli e dispusizioni di u quali si sò fatti:

1. formuli tèrmini usati e;
2. Corso di lingua Francese di u aspettu simàntici e spiigazione;
3. L'ordine di unu di i formuli e altri termini.

Ogni lingua furmali deve esse stabilitu bè stabilitu di rèuli.

esempiu 4

Duvuta a la prisenza in u regulamentu di i pruduzzioni sintassi lingua di termini e formuli pò esse fatta mudelli mutazione isumorfu. So si vi pò facianu micca solu u riflessione (rapprisintazzioni di) u corpu specifichi di a cunniscenza chì esiste digià, ma pò riceve nove infurmazione. Oltri a chistu, lu mutazione, però, è vi ferà secondu regule semplice è s'imponi, si pò esse autumàticu. tecnichi Similar sò usati in sistemi tercani, basi a cunniscenza, è i prudutti sustegnu dicisioni dû software.

cunchiusioni

lingue furmali sò anchiamènti usatu in science, in particulare in i arti. Duranti la ricerca scientifica è i stuvigli di attività pratica si pò intiraggieunu incù u naturale, in vista di i nutevuli capacità sprissivu di l 'ùrtimi. Eppuru lingue furmali si pòrtanu più precisamente a cunniscenza è à purtà fora un scambiu scopu di infurmazioni accumulate da umanità.