Mēs izskaidrojam, kas ir formālās valodas, to īpašības, piemēri un veidi. Arī tās atšķirības ar dabiskajām valodām.
Kas ir formālā valoda?
In skaitļošana un informācijas zinātne, kad mēs atsaucamies uz formālu valodu pretstatā dabiskajām valodām, mēs atsaucamies uz šīm sistēmām zīmes apveltīts ar primitīviem simboliem un formāli noteiktu lietošanas noteikumu sistēmu, tas ir, apveltīts ar alfabēts un no a gramatika (vai sintakse) formāls:
- Ar alfabētu saprot galīgu un netukšu primitīvu simbolu kopu.
- Formālā gramatika tiek saprasta kā noteikta alfabēta kombinācijas noteikumu kopa, lai izveidotu ierobežotas ķēdes ar noteiktu nozīmi.
Ar to tas atšķiras no dabiskajām valodām, kas rodas saistībā ar cilvēka vajadzību sazināties, kurās noteikumi ir sarežģīti un neskaidri, un nozīme ir atkarīga no valodas interpretācijas. lingvistiskās zīmes. Šī iemesla dēļ dabiskās valodas ir bezgalīgi sarežģītākas nekā formālās valodas lasīšana, kuras noteikumiem tie ir ierobežoti un noteikti iepriekš.
Formālās valodas ir svarīgas pasaulei matemātika un no skaitļošana, jo tie ļauj mums izveidot kodiem saziņa starp cilvēkiem un mašīnām, tas ir, programmēšana. Mums nevajadzētu jaukt formālās valodas ar valodas formālo līmeni vai ar formālā valoda, kas ir verbālās valodas formāls, pieklājīgs un formāls lietojums pretstatā tās lietojumam sarunvaloda, izspūrusi un neformāls.
Saskaņā ar amerikāņu valodnieka Noama Čomska (Noam Chomsky, 1928-) teikto, formālās valodas var iedalīt četros veidos:
- 3. tips: parastās valodas, kas apveltītas ar regulārām gramatikām, tas ir, ar noteikumu sistēmām, kuras var iegūt ar regulārām izteiksmēm un kas ļauj iegūt visas iespējamās simbolu virknes.
- 2. tips: nekontekstuālas valodas, kas apveltītas ar nekontekstuālām gramatikām, tas ir, ļauj iegūt visas iespējamās simbolu virknes, taču daudz augstākā sarežģītības līmenī nekā parastās.
- 1. tips: kontekstuālās valodas, kas apveltītas ar kontekstuālo gramatiku, tas ir, kas ļauj iegūt atkarīgo simbolu virknes, kā norāda to nosaukums. kontekstā.
- 0. tips: bezmaksas valodas, kas apveltītas ar bezmaksas gramatiku, bez ierobežojumiem, kas rada rekursīvi uzskaitāmas valodas.
Formālo valodu piemēri
Formālo valodu piemēri ir:
- The programmēšanas valodas ar kuru programmatūra.
- Šaha spēle, kuras figūriņas ir ierobežotas un kustības aprakstītas iepriekš.
- Morzes ābece, ko veido ar īsajām un garajām zīmēm vārdus Y veseli skaitļi.
- Pašu loģika simbolika veido formālu valodu.