Formālās valodas iezīmes un piemēri



The oficiālā valoda ir valodu zīmju kopums, ko izmanto tikai situācijās, kad dabiskā valoda nav piemērota. Kopumā valoda ir sadalīta dabiskā vai neformālā un mākslīgā. Pirmais tiek izmantots ikdienas dzīvē. Tikmēr mākslīgais tiek izmantots īpašās situācijās ārpus ikdienas dzīves.

Tādā veidā formālā valoda ir daļa no mākslīgās grupas. Tas tiek izmantots, jo īpaši formālajās zinātnēs (tās, kuru darbības joma nav fiziskās pasaules realitāte, bet gan abstraktā pasaule). Dažas no šīm zinātnēm ietver loģiku, matemātiku un datorprogrammēšanu.

Šajā ziņā šāda veida valodās tiek izmantoti lingvistiski kodi, kas nav dabiski (tie nav lietojuši komunikācijā parastajā pasaulē). Formālo zinātņu jomā oficiālā valoda ir simbolu ķēdes, kuras var regulēt ar likumiem, kas ir specifiski katrai no šīm zinātnēm..

Šāda veida valoda alfabētā izmanto simbolu vai burtu kopu. No tā tiek veidotas "valodu ķēdes" (vārdi). Tie, ja tie atbilst noteikumiem, tiek uzskatīti par "labi veidotiem vārdiem" vai "labi veidotām formulām"..

Indekss

  • 1 Raksturojums
    • 1.1. Ierobežota vide
    • 1.2 A priori gramatiskie noteikumi
    • 1.3. Minimālais semantiskais komponents
    • 1.4 Simboliskā valoda
    • 1.5 Universālums
    • 1.6 Precizitāte un izteiksmīgums
    • 1.7 Paplašināšanas jauda
  • 2 Piemēri
    • 2.1. Loģika
    • 2.2 Matemātika
    • 2.3 Datorprogrammēšana
  • 3 Atsauces

Funkcijas

Ierobežota vide

Formālās valodas mērķis ir apmainīties ar datiem dažādos vides apstākļos nekā citas valodas. Piemēram, programmēšanas valodā beigas ir komunikācija starp cilvēkiem un datoriem vai starp datorizētām ierīcēm. Tā nav saziņa starp cilvēkiem.

Tādējādi tā ir ad hoc valoda, kas izveidota ar konkrētu mērķi un darbojas ļoti specifiskos kontekstos. Tāpat to neizmanto masveidā. Gluži pretēji, tā izmantošana ir ierobežota tikai tiem, kas zina gan valodas mērķi, gan tās konkrēto kontekstu.

Gramatikas noteikumi a priori

Formālā valoda ir veidota no prioritāšu gramatikas noteikumu izveidošanas, kas dod pamatu. Tātad, vispirms mēs izstrādājam principu kopumu, kas regulēs elementu kombināciju (sintaksi) un pēc tam ģenerēs formulas.

No otras puses, oficiālās valodas attīstība ir apzināta. Tas nozīmē, ka viņu mācībām ir vajadzīgi ilgstoši centieni. Tajā pašā secībā pēc tās izmantošanas tās specializācija ir zinātniskās izmantošanas noteikumi un konvencijas.

Minimālais semantiskais komponents

Semantiskais komponents oficiālajā valodā ir minimāls. Atsevišķai formālajai valodai piederošai ķēdei nav nekādas nozīmes.

Semantiskā slodze, ko tie var radīt, daļēji rodas no operatoriem un attiecībām. Daži no tiem ir: vienlīdzība, nevienlīdzība, loģiski savienojumi un aritmētiskie operatori.

Dabiskajā valodā "p" un "a" kombinācijas atkārtošanās vārdam "tētis" ir vecāku semantiskā vērtība. Tomēr formālajā valodā tas nav. Praktiskajā jomā ķēžu nozīme vai interpretācija ir tajā teorijā, kas tiek mēģināta noteikt, izmantojot šo formālo valodu.

Tādējādi, ja to izmanto lineārajās vienādojumu sistēmās, tai ir matricas teorija kā viena no tās semantiskajām vērtībām. No otras puses, šai sistēmai ir skaitļošanas loģiskās shēmas dizainu semantiskā slodze.

Visbeidzot, šo ķēžu nozīme ir atkarīga no formālo zinātņu jomas, kurās tās tiek izmantotas.

Simboliskā valoda

Formālā valoda ir pilnīgi simboliska. Tas ir izgatavots no elementiem, kuru uzdevums ir nodot attiecības starp tām. Šie elementi ir formālās lingvistiskās pazīmes, kas, kā jau minēts, nerada semantisku vērtību.

Formālās valodas simbola veidošanas forma ļauj mums veikt aprēķinus un noteikt patiesības, nevis atkarībā no faktiem, bet gan par to attiecībām. Šī simboloģija ir unikāla un tālu no jebkuras konkrētas situācijas materiālajā pasaulē.  

Universālums

Formālajai valodai ir universāls raksturs. Atšķirībā no dabiskā, kas motivē tās subjektīvību, interpretācijas un vairāki dialekti, formāls šķiet nemainīgs.

Faktiski tas ir līdzīgs dažādiem kopienu veidiem. Viņu pieejām ir tāda pati nozīme visiem zinātniekiem neatkarīgi no valodas, ko viņi runā.

Precizitāte un izteiksmīgums

Kopumā formālā valoda ir precīza un nav izteiksmīga. Tās veidošanas noteikumi neļauj runātājiem veidot jaunus terminus vai dot jaunas nozīmes esošajiem terminiem. Un to nevar izmantot, lai nodotu pārliecību, noskaņojumu un psiholoģiskas situācijas.

Paplašināšanas jauda

Pasākumā, kurā ir panākts progress formālās valodas pieteikumu atklāšanā, tā attīstība ir atklāta. Fakts, ka to var darbināt mehāniski, nedomājot par tā saturu (tā nozīmi), ļauj brīvi apvienot tās simbolus un operatorus.

Teorētiski paplašināšanās joma ir bezgalīga. Piemēram, nesenie pētījumi skaitļošanas un skaitļošanas jomā praktiski ir saistīti gan ar dabiskajām, gan formālajām valodām.

Konkrēti, zinātnieku grupas strādā pie veidiem, kā uzlabot to līdzvērtību. Galu galā tas, kas tiek darīts, ir radīt inteliģenci, kas var izmantot oficiālo valodu, lai radītu dabisko valodu.

Piemēri

Loģika

Stringā: (p⋀q) ⋁ (r⋀t) => t, burti p, q, r, t simbolizē piedāvājumus bez konkrētas nozīmes. No otras puses, simboli ⋀, ⋁ un => ir savienotāji, kas savieno piedāvājumus. Šajā konkrētajā piemērā izmantotie savienotāji ir "y" (⋀), "o" (⋁), "tad" (=>).

Vistuvākais tulkojums virknei ir: ja kāds no apzīmējumiem iekavās ir izpildīts vai nē, tad t ir izpildīts vai nav izpildīts. Savienotāji ir atbildīgi par attiecību veidošanu starp piedāvājumiem, kas var pārstāvēt kaut ko ...

Matemātika

Šajā matemātiskajā piemērā A = ❴x | x⦤3⋀x> 2❵ iestājas komplekts ar nosaukumu "A", kuram ir nosaukuma "x" elementi. Visi A elementi ir saistīti ar simbolu ❴, |, ⦤, ⋀,>, ❵.

Visi no tiem šeit tiek izmantoti, lai definētu nosacījumus, kuriem elementiem "x" ir jāatbilst, lai tie varētu būt "A" komplekti..

Šīs ķēdes skaidrojums ir tāds, ka šī komplekta elementi ir visi tie, kas atbilst nosacījumam, ka tas ir mazāks vai vienāds ar 3 un vienlaicīgi lielāks par 2. Citiem vārdiem sakot, šī ķēde definē numuru 3, kas ir vienīgais elements, kas ir vienīgais elements, kas atbilst nosacījumiem.

Datoru programmēšana

Programmēšanas līnijai IF A = ​​0, tad GOTO 30, 5 * A + 1 ir mainīgais lielums "A", kas pakļauts pārskatīšanas un lēmumu pieņemšanas procesam, izmantojot operatoru, kas pazīstams kā "ja nosacījums".

Termini "IF", "THEN" un "GOTO" ir daļa no operatora sintakses. Tikmēr pārējie elementi ir "A" salīdzināšanas un darbības vērtības..

Tās nozīme ir: dators tiek lūgts novērtēt "A" pašreizējo vērtību. Ja tas ir vienāds ar nulli, tas dosies uz "30" (vēl viena programmēšanas līnija, kur būs cita instrukcija). Ja tas atšķiras no nulles, mainīgais "A" tiks reizināts (*) ar vērtību 5 un tiks pievienots (+) 1..

Atsauces

  1. Collins vārdnīca. (s / f). “Formālās valodas” definīcija. Ņemts no collinsdictionary.com.
  2. Tehnoloģiju universitāte, Sidneja. (s / f). Oficiālā un neformālā valoda. Ņemts no uts.edu.au.
  3. Definīcijas (s / f). Formālās valodas definīcijas. Ņemts no definīcijām.net.
  4. Madrides Tehniskā universitāte. (s / f). Dabiskās valodas un oficiālās valodas. Ņemts no lorien.die.upm.es.
  5. Lujānas pašvaldība. (s / f). Formālā valoda Uzņemts no lujan.magnaplus.org.
  6. Corbin, J. A. (s / f). 12 valodu veidi (un to raksturojums). psicologiaymente.com.
  7. Bel Enguix, G. un Jiménez López, M. D. (s / f). Simpozijs: Formālās valodu teorijas jaunie lietojumi valodniecībā. Izņemts no elvira.lllf.uam.es.