PORMAL NA WIKA: MGA KATANGIAN AT HALIMBAWA - PANITIKAN - 2025

Ang pormal na wika ay isang hanay ng mga lingguwistikong senyales ng eksklusibong paggamit sa mga sitwasyon na hindi angkop ang natural na wika. Sa pangkalahatan, ang wika ay nahahati sa natural o impormal at artipisyal. Ang una ay ginagamit para sa mga karaniwang pang-araw-araw na sitwasyon. Samantala, ang artipisyal ay ginagamit sa mga tiyak na sitwasyon sa labas ng saklaw ng pang-araw-araw na buhay.

Sa ganitong paraan, ang pormal na wika ay bahagi ng pangkat ng mga artipisyal. Ginagamit ito, lalo na, sa pormal na agham (yaong ang larangan ng pagkilos ay hindi ang mga katotohanan ng pisikal na mundo kundi ng abstract na mundo). Ang ilan sa mga agham na ito ay kinabibilangan ng lohika, matematika, at computer programming.

Sa kahulugan na ito, ang ganitong uri ng wika ay gumagamit ng mga code ng linggwistiko na hindi natural (wala silang aplikasyon sa loob ng mga komunikasyon sa ordinaryong mundo). Sa larangan ng pormal na agham, isang pormal na wika ay isang hanay ng mga kadena ng mga simbolo na maaaring regulahin ng mga batas na tiyak sa bawat isa sa mga agham na ito.

Ngayon ang ganitong uri ng wika ay gumagamit ng isang hanay ng mga simbolo o titik bilang isang alpabeto. Mula dito nabuo ang "chain chain" (mga salita). Ang mga ito, kung sumunod sila sa mga patakaran, ay itinuturing na "mahusay na nabuo na mga salita" o "mahusay na nabuo na mga pormula."

katangian

Limitadong kapaligiran

Ang pormal na wika ay naglalayong makipagpalitan ng data sa ilalim ng mga kondisyon ng kapaligiran na naiiba sa ibang mga wika. Halimbawa, sa programming language, ang katapusan ay ang komunikasyon sa pagitan ng mga tao at computer o sa pagitan ng mga computer na aparato. Hindi ito isang komunikasyon sa pagitan ng mga tao.

Kaya, ito ay isang ad hoc wika, nilikha na may isang tiyak na layunin at upang gumana sa ilalim ng napaka-tiyak na mga konteksto. Gayundin, hindi ito malawak na ginagamit. Sa kabilang banda, ang paggamit nito ay limitado sa mga nakakaalam ng parehong layunin ng wika at sa partikular na konteksto nito.

Ang grammar ay namamahala sa isang priori

Ang pormal na wika ay nabuo mula sa pagtatatag ng isang panuntunan sa gramatika ng priori na nagbibigay ito ng batayan. Kaya, una ang hanay ng mga prinsipyo na mamamahala sa kumbinasyon ng mga elemento (syntax) ay dinisenyo at pagkatapos ay nabuo ang mga formula.

Sa kabilang banda, ang pag-unlad ng pormal na wika ay may malay. Nangangahulugan ito na ang patuloy na pagsisikap ay kinakailangan para sa kanilang pagkatuto. Sa parehong ugat, ang paggamit nito ay humahantong sa isang dalubhasa sa mga regulasyon at kombensiyon ng pang-agham na paggamit.

Minimal na bahagi ng semantiko

Ang sangkap na semantiko sa pormal na wika ay minimal. Ang isang naibigay na string na kabilang sa pormal na wika ay walang kahulugan sa kanyang sarili.

Ang semantikong pasanin na maaari nilang makuha ay mula sa bahagi mula sa mga operator at relasyon. Ang ilan sa mga ito ay: pagkakapantay-pantay, hindi pagkakapantay-pantay, lohikal na koneksyon, at mga operator ng aritmetika.

Sa natural na wika, ang pag-uulit ng kumbinasyon ng "p" at "a" sa salitang "papa" ay may semantikong halaga ng magulang. Gayunpaman, sa pormal na wika ay hindi. Sa praktikal na larangan, ang kahulugan o interpretasyon ng mga kadena ay nakatira sa teorya na sinusubukan ng isa na tukuyin sa pamamagitan ng pormal na wika na ito.

Kaya, kapag ginamit para sa mga linear system ng mga equation, mayroon itong teorya ng matrix bilang isa sa mga semantikong halaga nito. Sa kabilang banda, ang parehong system na ito ay may semantiko na pag-load ng mga disenyo ng lohika na circuit sa computing.

Sa konklusyon, ang mga kahulugan ng mga chain na ito ay nakasalalay sa lugar ng pormal na agham kung saan inilalapat ang mga ito.

Simbolikong wika

Ang pormal na wika ay lubos na sinasagisag. Ito ay ginawa mula sa mga elemento na ang misyon ay upang maipadala ang kaugnayan sa pagitan nila. Ang mga elementong ito ay pormal na mga palatandaan ng lingguwistika na, tulad ng nabanggit, ay hindi nakakagawa ng anumang semantikong halaga sa kanilang sarili.

Ang anyo ng pagtatayo ng simbolikong pormal na wika ay nagbibigay-daan sa mga kalkulasyon at pagtatag ng mga katotohanan depende sa mga katotohanan ngunit sa kanilang mga kaugnayan. Ang simbolismo na ito ay natatangi at malayo sa anumang konkretong sitwasyon sa materyal na mundo.

Unibersidad

Ang pormal na wika ay may pangkalahatang katangian. Hindi tulad ng likas na, na, na nag-udyok sa pagiging aktibo nito, ay nagbibigay-daan sa mga pagpapakahulugan at maraming mga dayalekto, ang pormal ay hindi mapapansin.

Sa katunayan, katulad ito sa iba't ibang uri ng mga pamayanan. Ang kanyang mga pahayag ay may parehong kahulugan para sa lahat ng mga siyentipiko anuman ang wika na kanilang sinasalita.

Katumpakan at pagpapahayag

Sa pangkalahatan, ang pormal na wika ay tumpak at hindi masyadong nagpapahayag. Ang mga panuntunan sa pagbuo nito ay pinipigilan ang mga nagsasalita nito na mag-coining ng mga bagong term o magbigay ng mga bagong kahulugan sa umiiral na mga termino. At, hindi ito maaaring magamit upang maiparating ang mga paniniwala, pakiramdam, at sikolohikal na sitwasyon.

Pagkalawak

Tulad ng pag-unlad ay ginawa sa pagtuklas ng mga aplikasyon para sa pormal na wika, ang pagpapaunlad nito ay naging kadampanan. Ang katotohanan na maaari itong patakbuhin nang wala nang pag-iisip tungkol sa nilalaman nito (ang mga kahulugan nito) ay nagbibigay-daan sa libreng pagsasama ng mga simbolo at mga operator nito.

Sa teorya, ang saklaw ng pagpapalawak ay walang hanggan. Halimbawa, ang kamakailang pananaliksik sa larangan ng computing at impormasyong nauugnay sa parehong wika (natural at pormal) para sa mga praktikal na layunin.

Partikular, ang mga pangkat ng mga siyentipiko ay nagtatrabaho sa mga paraan upang mapabuti ang pagkakapareho sa pagitan nila. Sa huli ang hinahangad ay lumikha ng katalinuhan na maaaring gumamit ng pormal na wika upang makabuo ng natural na wika.

Mga halimbawa

Lohika

Sa string: (p⋀q) ⋁ (r⋀t) => t, ang mga titik p, q, r, t ay sumisimbolo ng mga panukala nang walang anumang konkretong kahulugan. Sa kabilang banda, ang mga simbolo ⋀, ⋁, at => ay kumakatawan sa mga konektor na nag-uugnay sa mga panukala. Sa partikular na halimbawa na ito, ang mga konektor na ginamit ay "at" (⋀), "o" (⋁), "pagkatapos" (=>).

Ang pinakamalapit na pagsasalin sa string ay: kung anuman sa mga expression sa mga panaklong ay totoo o hindi, kung gayon t ay totoo o hindi. Ang mga konektor ay namamahala sa pagtatatag ng mga ugnayan sa pagitan ng mga panukala na maaaring kumatawan ng anuman.

Matematika

Sa ganitong matematikal na halimbawa A = ❴xx⦤3⋀x> 2❵, isang set na may pangalan na "A" na mayroong mga elemento ng pangalan na "x". Ang lahat ng mga elemento ng A ay nauugnay sa simbololohiya ology, -, ⦤, ⋀,>, ❵.

Ang lahat ng mga ito ay ginagamit dito upang tukuyin ang mga kondisyon na dapat tuparin ng mga elemento na "x" upang maaari silang maging mula sa set na "A".

Ang paliwanag ng kadena na ito ay ang mga elemento ng set na ito ay ang lahat na nakakatugon sa kondisyon na mas mababa kaysa o katumbas ng 3 at sa parehong oras na mas malaki kaysa sa 2. Sa madaling salita, ang chain na ito ay tumutukoy sa bilang 3, na ang tanging sangkap na nakakatugon sa mga kondisyon.

Pagprograma ng kompyuter

Ang programming line KUNG A = 0, THEN GOTO 30, 5 * Ang A + 1 ay may variable na "A" na sumailalim sa isang pagsusuri at proseso ng paggawa ng desisyon sa pamamagitan ng isang operator na kilala bilang "kung may kondisyon".

Ang mga expression na "KUNG", "THEN" at "GOTO" ay bahagi ng syntax ng operator. Samantala, ang natitirang bahagi ng mga elemento ay ang paghahambing at mga halaga ng pagkilos ng "A".

Ang kahulugan nito ay: ang computer ay hinilingang suriin ang kasalukuyang halaga ng "A". Kung ito ay katumbas ng zero, pupunta ito sa "30" (isa pang linya ng programming kung saan magkakaroon ng isa pang tagubilin). Kung sakaling naiiba ito sa zero, kung gayon ang variable na "A" ay dadami (*) sa pamamagitan ng halaga 5 at ang halaga 1 ay idadagdag (+) dito.

Mga Sanggunian

1. Diksyonaryo ng Collins. (s / f). Kahulugan ng 'pormal na wika'. Kinuha mula sa collinsdictionary.com.
2. University of Technology, Sydney. (s / f). Pormal at Di-pormal na Wika. Kinuha mula sa uts.edu.au.
3. Mga kahulugan. (s / f). Mga kahulugan para sa pormal na wika. Kinuha mula sa mga kahulugan.net.
4. Teknikal na Unibersidad ng Madrid. (s / f). Mga likas na wika at pormal na wika. Kinuha mula sa lorien.die.upm.es.
5. Munisipalidad ng Luján. (s / f). Ang pormal na wika. Kinuha mula sa lujan.magnaplus.org.
6. Corbin, JA (s / f). Ang 12 uri ng wika (at ang kanilang mga katangian). psychologyaymente.com.
7. Bel Enguix, G. at Jiménez López, MD (s / f). Symposium: Ang mga bagong aplikasyon ng teorya ng pormal na wika sa linggwistika. Kinuha mula sa elvira.lllf.uam.es.