FORMALIOJI KALBA: CHARAKTERISTIKOS IR PAVYZDŽIAI - LITERATŪRA - 2025

Formali kalba yra lingvistinių ženklų išskirtiniam naudojimui tais atvejais, kai natūralios kalbos nėra tinkama rinkinys. Apskritai kalba skirstoma į natūralią arba neoficialią ir dirbtinę. Pirmasis naudojamas įprastoms kasdienėms situacijoms. Tuo tarpu dirbtinis naudojamas konkrečiose situacijose, nepriklausančiose kasdieniam gyvenimui.

Tokiu būdu oficialioji kalba yra dirbtinių grupių dalis. Tai ypač taikoma formaliesiems mokslams (tiems, kurių veikimo sritis yra ne fizinio, o abstrakčiojo pasaulio tikrovė). Kai kurie iš šių mokslų apima logiką, matematiką ir kompiuterinį programavimą.

Šia prasme šios rūšies kalbai naudojami natūralių kalbų kodai (jie nėra pritaikomi bendraujant įprastame pasaulyje). Formaliųjų mokslų srityje formalioji kalba yra simbolių grandinių rinkinys, kurį gali reguliuoti kiekvienam iš šių mokslų būdingi įstatymai.

Dabar šios rūšies kalba kaip abėcėlė naudoja simbolių ar raidžių rinkinį. Iš to susidaro „kalbų grandinės“ (žodžiai). Jei jie atitinka taisykles, jie laikomi „gerai suformuotais žodžiais“ arba „gerai suformuotomis formulėmis“.

charakteristikos

Ribota aplinka

Oficialia kalba siekiama keistis duomenimis aplinkos sąlygomis, kurios skiriasi nuo kitų kalbų. Pavyzdžiui, programavimo kalba baigiasi bendravimas tarp žmonių ir kompiuterių arba tarp kompiuterizuotų prietaisų. Tai nėra bendravimas tarp žmonių.

Taigi tai yra ad hoc kalba, sukurta turint konkretų tikslą ir veikianti labai specifiniuose kontekstuose. Be to, jis nėra plačiai naudojamas. Priešingai, ja gali naudotis tik tie, kurie žino ir kalbos tikslą, ir jos specifinį kontekstą.

Gramatikos taisyklės a priori

Formalioji kalba formuojama nustatant a priori gramatines taisykles, kurios suteikia jai pagrindą. Taigi pirmiausia sukuriamas principų rinkinys, kuris valdys elementų derinį (sintaksę), o tada generuojamos formulės.

Kita vertus, formali kalba yra sąmoninga. Tai reiškia, kad jų mokymuisi reikia nuolatinių pastangų. Panašiai, jo vartojimas lemia specializaciją mokslinio naudojimo taisyklėse ir konvencijose.

Minimalus semantinis komponentas

Semantinis komponentas formaliojoje kalboje yra minimalus. Tam tikra formaliajai kalbai priklausanti eilutė savaime neturi prasmės.

Semantinę naštą, kurią jie gali turėti, iš dalies lemia operatoriai ir santykiai. Kai kurie iš jų yra: lygybė, nelygybė, loginiai jungiamieji elementai ir aritmetiniai operatoriai.

Natūraliąja kalba „p“ ir „a“ derinių pakartojimas žodyje „papa“ turi semantinę tėvų reikšmę. Tačiau oficialia kalba to nėra. Praktinėje srityje grandžių prasmė ar aiškinimas slypi teorijoje, kurią bandoma apibrėžti per šią oficialią kalbą.

Taigi, kai ji naudojama tiesinėms lygčių sistemoms, ji turi matricos teoriją kaip vieną iš jos semantinių verčių. Kita vertus, ta pati sistema turi semantinę loginių grandinių konstrukcijų apkrovą skaičiavimo srityje.

Apibendrinant, šių grandinių reikšmės priklauso nuo formaliojo mokslo srities, kurioje jos taikomos.

Simbolinė kalba

Formali kalba yra visiškai simbolinė. Tai daroma iš elementų, kurių misija yra perduoti ryšius tarp jų. Šie elementai yra oficialūs kalbiniai požymiai, kurie, kaip minėta, patys nesukuria jokios semantinės vertės.

Formaliosios kalbos simbolikos konstrukcija leidžia apskaičiuoti ir nustatyti tiesą atsižvelgiant ne į faktus, o į jų santykius. Ši simbolika yra unikali ir toli gražu ne bet kokia konkretaus materialiojo pasaulio situacija.

Universalumas

Formali kalba turi universalų pobūdį. Skirtingai nuo natūralaus, kurį, motyvuodamas savo subjektyvumu, leidžia interpretuoti ir daugiakalbėmis tarmėmis, formalioji yra nekintama.

Tiesą sakant, ji yra panaši įvairių tipų bendruomenėms. Jo teiginiai turi tą pačią reikšmę visiems mokslininkams, nepaisant kalbos, kuria jie kalba.

Tikslumas ir išraiškingumas

Apskritai oficialioji kalba yra tiksli ir nelabai išraiškinga. Jos formavimo taisyklės neleidžia kalbėtojams kurti naujų terminų ar suteikti naujų reikšmių esamiems terminams. Ir jis negali būti naudojamas perduoti įsitikinimus, nuotaikas ir psichologines situacijas.

Išplečiamumas

Kadangi buvo padaryta pažanga ieškant oficialiosios kalbos paraiškų, jos plėtra buvo eksponentiška. Tai, kad jį galima valdyti mechaniškai, negalvojant apie jo turinį (jo reikšmes), leidžia laisvai derinti jo simbolius ir operatorius.

Teoriškai plėtros sritis yra begalinė. Pavyzdžiui, naujausi skaičiavimo ir informatikos tyrimai abiem kalbomis (natūralia ir oficialia) susiejami praktiniais tikslais.

Tiksliau, mokslininkų grupės ieško būdų, kaip pagerinti jų lygiavertiškumą. Galų gale siekiama sukurti intelektą, galintį naudoti oficialią kalbą natūraliai kalbai sukurti.

Pavyzdžiai

Logika

Eilutėje: (p⋀q) ⋁ (r⋀t) => t raidės p, q, r, t simbolizuoja teiginius be jokios konkrečios prasmės. Kita vertus, simboliai ⋀, ⋁ ir => žymi jungtis, jungiančias teiginius. Šiame konkrečiame pavyzdyje naudojamos jungtys yra „ir“ (⋀), „arba“ (⋁), „tada“ (=>).

Artimiausias vertimas į eilutę yra: jei kuri nors iš skliausteliuose pateiktų frazių yra teisinga, ar ne, tada t yra tiesa, ar ne. Jungtys yra atsakingos už ryšių tarp teiginių, kurie gali atspindėti bet ką, nustatymą.

Matematika

Šiame matematiniame pavyzdyje A = ❴xx⦤3⋀x> 2❵ įsiterpia rinkinys su pavadinimu „A“, turintis pavadinimo „x“ elementus. Visi A elementai yra susieti simboliais ❴, -, ⦤, ⋀,>, ❵.

Čia jie naudojami apibrėžti sąlygas, kurias turi atitikti elementai „x“, kad jie galėtų būti iš rinkinio „A“.

Šios grandinės paaiškinimas yra tas, kad šios aibės elementai yra visi tie, kurie atitinka sąlygą būti mažesni arba lygūs kaip 3 ir tuo pačiu metu didesni nei 2. Kitaip tariant, ši grandinė apibūdina skaičių 3, kuris yra vienintelis elementas, kuris atitinka sąlygas.

Kompiuterinis programavimas

Programavimo eilutė, jei A = 0, TAI GOTO 30, 5 * A + 1, turi kintamąjį „A“, kurį peržiūri ir sprendimų priėmimo procesą priima operatorius, žinomas kaip „jei sąlygiškas“.

Išraiškos „IF“, „THEN“ ir „GOTO“ yra operatoriaus sintaksės dalis. Tuo tarpu kiti elementai yra „A“ palyginimas ir veikimo vertės.

Jo reikšmė: kompiuterio prašoma įvertinti dabartinę „A“ reikšmę. Jei jis lygus nuliui, jis eis į „30“ (kita programavimo eilutė, kur bus kita instrukcija). Jei jis skiriasi nuo nulio, tada kintamasis „A“ bus padaugintas (*) iš vertės 5, o vertė 1 pridedama (+).

Nuorodos

1. „Collins“ žodynas. (s / f). „Formaliosios kalbos“ apibrėžimas. Paimta iš collinsdictionary.com.
2. Sidnėjaus technologijos universitetas. (s / f). Formalioji ir savaiminė kalba. Paimta iš uts.edu.au.
3. Apibrėžimai. (s / f). Formaliosios kalbos apibrėžimai. Paimta iš „defines.net“.
4. Madrido technikos universitetas. (s / f). Natūraliosios ir oficialiosios kalbos. Paimta iš lorien.die.upm.es.
5. Luján savivaldybė. (s / f). Formali kalba. Paimta iš lujan.magnaplus.org.
6. Korbinas, JA (s / f). 12 kalbų tipų (ir jų ypatybės). psychologiaymente.com.
7. Bel Enguix, G. ir Jiménez López, MD (s / f). Simpoziumas: Nauji formaliųjų kalbų teorijos pritaikymai kalbotyroje. Paimta iš elvira.lllf.uam.es.