X'għandek lingwi formali jista 'jiġi attribwit? eżempji ta 'użu

X'inhu l-lingwa formali u kif tkun differenti mid-naturali? Kif ġiet iffurmata? X'għandek lingwi formali jista 'jiġi attribwit? U huwa użat biex jirreferi għall lilu?

Karatteristiċi ta 'lingwi formali

Allura nitolbu grupp ta ' lingwi artifiċjali, li huma kkaratterizzati minn regoli preċiżi dwar il-kostruzzjoni ta' espressjonijiet, kif ukoll fehim tagħhom. sistemi użati għal skopijiet industrijali jista 'jiġi attribwit għal-lingwi formali. Huma mibnija f'konformità mar-regoli ċari, jipprovdu wiri konsistenti, kumpatti u preċiża tal-proprjetajiet u relazzjonijiet tal-studjat qasam tas-suġġett jew oġġetti modeled. Il-valur u t-tifsira tal-marki ma tistax tinbidel minn xi karatteristiċi pragmatiċi (użu tal-kuntest). Dan huwa possibbli grazzi għall-preżenza fil-lingwa formali tar-regoli ta 'konverżjoni sintassi u l-interpretazzjoni semantika. Huma ta 'spiss mibnija bl-użu bħala bażi tal-matematika. Minħabba l-fatt li, fuq il-medda kollha ta 'żvilupp, użati varjetà ta' denominazzjonijiet simboliku ġew applikati għal varjetà ta 'kunċetti u oġġetti. Dak hu għandu bżonn lingwi formali. Huma jistgħu jnaqqsu b'mod sinifikanti tad-data. Preċedenti, flimkien mal-lingwi formali u naturali ġew użati, iżda bil-kumplikazzjoni gradwali tas-suġġett u l-ħtieġa li tagħmel analiżi loġika stretta ta 'raġunament matematiku, ġie deċiż li jabbandunaw il-passat. Dan il-proċess dam mill-XVII-seklu XX. Huwa l-aħħar seklu hija kkunsidrata l-aktar produttiv f'termini ta 'lingwi formali. fergħat speċjali varji ġew maħluqa. Allura, għax-xjenza tal-kompjuter huma ta 'partikolari lingwi ta' programmar importanza u l-alġebra tal-loġika, mhux biss teoretiku, iżda wkoll minn perspettiva prattika.

definizzjoni

X'għandek lingwi formali jista 'jiġi attribwit, aħna diġà spjegat fil-qosor. Imma x'nistgħu ngħidu dwarhom? lingwa formali jingħataw lott ta 'definizzjonijiet differenti. Biex telenkahom kollha, din se tħalli ħafna ħin, sabiex tagħti ħarsa lejn l-aktar popolari:

1. Lista sempliċi ta 'kliem fil-lingwa - normalment tgħid hekk fir-rigward tat-tip finali ta' kostruzzjoni u dwar dawk li għandhom struttura sempliċi.
2. Kliem ġġenerati minn ċertu grammatika formali.
3. L-istruttura maħluqa mill espressjonijiet regolari.
4. Kliem ġġenerati mill-BPF-disinn.
5. L-istruttura, rikonoxxibbli minn automaton finit.

Ejja nħarsu lejn eżempju. Ejja ngħidu aħna għandna l-alfabett kollu, jingħataw żewġ numri 1 u 0. Biex juru l-ittra "O", aħna jużaw kombinazzjoni ta '1010001. Dan huwa l-użu ta' lingwa formali. Huwa wkoll possibbli li jintużaw kliem vojta (meta l-sekwenza għandha żero tul, u m'hemm xejn) b'denominazzjoni speċjali fil-forma familjari għalina. Iżda f'aktar dettall biex jifhem dak hija lingwa formali, jgħinu 4 eżempji li se tingħata jmiss. X'tikkontrolla do? Fehim tal-qarrej kien li lingwa formali jista 'jiġi attribwit. Iżda ftit aktar dwar kif dawn huma maħluqa.

Kostruzzjoni ta 'lingwi formali

Kull lingwa hija struttura formali li nħolqot darba xi ħadd. Huma s-soltu mibnija fuq l-istess mudell:

1. Biex tibda, jagħżlu l-alfabett, jew xi sett ta 'karattri speċifiċi li se jkunu mibnija u espressjonijiet użati fil-lingwa. Mill-lingwa formali xi mod li programm użu ta 'kompjuter.
2. Huwa jiddeskrivi l-sintassi, jiġifieri, il-karatteristiċi u r-regoli li se jibni sentenzi sinifikanti.
3. Dwar ċerti regoli għall-kliem u espressjonijiet. Hawnhekk hemm regola: kwalunkwe sekwenza ta 'ittri għandhom ikunu kapaċi jistrieħu kliem.

Skont il-lingwa formali tirreferi għal kwalunkwe struttura li għandha regoli ċari - għandu jiġi mfakkar. Meta l-bini, hemm xi karatteristiċi. Għalhekk, it-terminu "karattru" hija ħafna multi-funzjonali f'termini ta 'tifsira, dan għall-parti l-kbira użat it-terminu bħala "ittra". Iżda taħthom tista 'tinftiehem mhux biss in-notazzjoni soltu għalina, iżda wkoll il-parentesi, karattri speċjali, u aktar. Dan japplika biss għal-lingwi formali.

EŻEMPJU 1

Nibdew bl 1 u 0. F'dawn il-każijiet, uża l-aktar il-kunċett ta ' "terminu" u "formula." L-ewwel taġixxi bħala analogu ta 'l-oġġett u l-isem użat biex jirreferi għal xi ħaġa speċifika. L-ewwelnett jifhmu l-kostanti u varjabbli individwali taħt minnhom. Minn dawn, imbagħad, jibnu strutturi aktar kumplessi, li huwa użat użati fil xi funzjoni lingwa. Skond it-termini tal-grupp jifhmu l-formula, l-użu tagħhom f'ċertu lingwa ta 'programmar huwa possibbli. Din l- "istruzzjoni" se tiġi pproċessata, u l-persuna se tikseb ir-riżultat mixtieq.

EŻEMPJU 2

Ikkunsidra l-loġika eżempju fejn hemm inverżjoni (¬), disjunction (∧),-konġunzjoni (∨) u l-implikazzjoni (⇒) u diversi oħrajn. F'tali reġistrazzjoni ta 'immaġini, ma jista' jingħata bħala:

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

Peress li l-karattri A, B, Ċ, tissostitwixxi l-varjabbli u ikollok l-operazzjonijiet loġiċi. Fejn japplikaw lingwi formali ta 'dan it-tip? L-użu mifrux ta 'tali mekkaniżmu jinstab fil-lingwi ta' programmar, il-matematika, relazzjonijiet, il-funzjonijiet loġiċi u matematiċi, jew partijiet minnhom ġew deskritti mill-programmer.

EŻEMPJU 3

Ejja nħarsu lejn xi formuli loġiku aktar kumplessi:

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

C'est pourquoi għandna bżonn lingwi formali. Immaġina dak li kien ġara jekk kien deskritt fi kliem? Issa, ibbażata fuq formula aħna tiddeduċi konklużjonijiet. espressjonijiet sinifikanti jista 'jinkiseb bl-ilsien formali biss meta ċerti regoli jiġu rispettati minn qabel formazzjoni, bidla u "għarfien" tal-formoli u t-termini li minnhom huma magħmula:

1. formuli tul Kostruzzjoni u;
2. Studju tal-aspett semantiku u l-interpretazzjoni;
3. Is-sekwenza ta 'wieħed mill-formuli u terminu ieħor.

Kull lingwa formali għandu jkun tajjeb stabbilit sett ta 'regoli.

EŻEMPJU 4

Minħabba l-preżenza fir-regoli tal-produzzjoni sintassi tal-lingwa għal termini u formuli jistgħu jsiru mudelli trasformazzjoni isomorphic. Għalhekk se titwettaq mhux biss l-riflessjoni (rappreżentazzjoni ta) korp speċifiku ta 'għarfien li diġà jeżisti, iżda jistgħu jirċievu informazzjoni ġdida. Barra minn hekk, it-trasformazzjoni, għalkemm, u se ssir skond ir-regoli ċari u stretti, jista 'jiġi awtomatizzat. tekniki simili huma użati fil sistemi esperti, bażi ta 'għerf, u prodotti ta' appoġġ ta 'deċiżjonijiet ta' softwer.

konklużjoni

lingwi formali huma użati fix-xjenza, speċjalment fl-arti. Matul ir-riċerka xjentifika u l-implimentazzjoni ta 'attivitajiet prattiċi li jistgħu jinteraġixxu ma' l-ambjent naturali, fid-dawl tal-kapaċitajiet espressjoni konsiderevoli ta 'l-aħħar. Madankollu lingwi formali tista 'twassal b'mod aktar preċiż l-għarfien u biex iwettqu skambju ta' informazzjoni oġġettiv akkumulati mill-bniedem.