Ko var attiecināt uz formālajām valodām? Lietošanas piemēri

Izglītība:

Kas ir formāla valoda un kā tā atšķiras no dabiskās valodas? Kā tas tika izveidots? Ko var attiecināt uz formālajām valodām? Un ko izmanto, lai to apzīmētu?

Formālo valodu raksturojums

oficiālajām valodām
Tas ir mākslīgo valodu grupas nosaukumsir raksturīgi precīzi noteikumi par izteicienu veidošanu, kā arī to izpratni. Oficiālās valodas ietver sistēmas, kas tiek izmantotas lietojuma mērķiem. Tie ir veidoti saskaņā ar skaidriem noteikumiem, nodrošina konsekventu, kompaktu un precīzu pētāmā domēna attiecību un īpašību vai simulēto objektu kartēšanu. Izmantoto apzīmējumu nozīme un nozīme nevar mainīties no dažām pragmatiskām iezīmēm (lietošanas kontekstā). Tas ir iespējams, pateicoties oficiālo valodu sintakses pārveides un semantiskās interpretācijas noteikumiem. Bieži vien tie tiek būvēti, kad tiek izmantoti kā matemātikas pamats. Sakarā ar to, ka tajā visā attīstības posmā tika izmantoti dažādi simboli simboli, kas izmantoti dažādiem jēdzieniem un objektiem. Šī ir oficiālo valodu lietošana. Tie ļauj ievērojami samazināt datus. Iepriekš tika izmantotas formālās, dabiskās valodas, bet ar pakāpenisku priekšmeta komplikāciju un nepieciešamību veikt stingru loģisku matemātisko spriedumu analīzi tika nolemts atteikties no pēdējās. Šis process bija izstiepts no XVII līdz XX gs. Tas ir pagājušais gadsimts, kas tiek uzskatīts par visproduktīvāko formālo valodu attīstības stadijā. Tika izveidotas dažādas speciālās filiāles. Piemēram, datorzinātnēs, programmēšanas valodās un loģikas algebrā ir īpaša nozīme ne tikai no teorētiskā viedokļa, bet arī no praktiskā viedokļa.

Definīcija

oficiālajām valodām ir
Attiecībā uz oficiālajām valodām mēs jau esamīsi paskaidrots. Bet ko par viņiem pašiem? Formālajām valodām tiek dota daudz dažādu definīciju. Lai uzskaitītu visus, tas aizņems daudz laika, tāpēc mēs iepazināmies ar vispopulārāko:

  1. Vienkāršs saraksts ar vārdiem, kas ir iekļauti konkrētā valodā - parasti tā runā par ierobežotu konstrukcijas tipu un par tiem, kuriem ir vienkārša struktūra.
  2. Vārdi, kas radīti ar noteiktu formālas gramatikas palīdzību.
  3. Struktūra, kas izveidota ar regulārām izteiksmēm.
  4. BNF-konstrukcijas radītie vārdi.
  5. Struktūra, ko atzinusi galīgā valsts mašīna.

Apskatīsim piemēru. Pieņemsim, ka mums ir viss alfabētu, ņemot vērā divus numurus 1 un 0. Lai parādītu burtu "O", mēs izmantot par 1010001. Šī kombinācija ir izmantošana oficiālu valodu. Tāpat ir iespējams izmantot tukši vārdi (kad virkne ir nulle garums, un nekas), ar speciālu apzīmējumu veidā pazīstams mums. Bet sīkāk, lai saprastu, kas ir formāla valoda, palīdzēt 4 piemērus, kas tiks dota nākamo. Kas tas ir? Lai lasītāja izpratni, bija, ka formāla valodu var attiecināt. Bet mazliet vairāk par to, kā tie ir izveidoti.

Formālo valodu uzbūve

par kurām oficiālajām valodām ir vajadzīgas
Katra formāla valoda ir konstrukcija, kuru kādreiz radījis kāds cilvēks. Tās parasti tiek veidotas pēc vienas shēmas:

  1. Lai sāktu, izvēlieties alfabētu vai dažusnoteiktu rakstzīmju kopums, no kura tiks veidoti šajā valodā izmantotie izteicieni. Oficiālās valodās ir iekļauta jebkura programmēšanas metode, izmantojot datoru.
  2. Apraksta sintaksi, tas ir, funkcijas un noteikumus, ar kuru palīdzību tiks veidoti nozīmīgi teikumi.
  3. Saskaņā ar noteiktiem noteikumiem tiek veidoti vārdi un frāzes. Šeit ir likums: jebkura burtu secība ir jāuzskata par vārdu.

Oficiālās valodās ir jebkura konstrukcijakuram ir skaidri noteikumi - tas ir jāatceras. Ēkai ir dažas funkcijas. Tādējādi jēdziens "simbols" ir ļoti daudzfunkcionāls no semantiskās slodzes viedokļa, tāpēc lielākoties tiek lietots tāds termins kā "burts". Bet zem tiem var saprast ne tikai parasto apzīmējumu mums, bet arī iekavās, īpašās rakstzīmes un daudz ko citu. Tas attiecas tikai uz formālajām valodām.

1. piemērs

Sāksim ar 1 un 0. Šādos gadījumos lietojiet terminu "termins" un "formula". Pirmais darbojas kā objekta nosaukuma analogs un tiek izmantots, lai apzīmētu kaut ko īpašu. Pirmkārt, viņi saprot konstantes un mainīgos lielumus. No tiem, savukārt, tiek veidotas sarežģītākas struktūras, kurām tiek izmantota kādā valodā lietota funkcija. Formula ir terminu grupa, kuras izmantošana noteiktā programmēšanas valodā ir iespējama. Šis "norādījums" tiks apstrādāts, un persona saņems vēlamo rezultātu.

2. piemērs

kur tiek izmantotas oficiālas valodas
Apsveriet loģikas piemēru, kurā ir inversija (¬), disjunction (), savienojums (∨) un implikācija (⇒) un vairāki citi. Kā attēlus jūs varat iesniegt šādus ierakstus:

  1. A;
  2. А∧В ⇒ ¬А
  3. ¬ (А¬¬С)

Kā rakstzīmes A, B, C aizstājēju mainīgieun jums ir loģiskas darbības. Kur tiek piemērotas šāda veida oficiālās valodas? Līdzīgs mehānisms ir plaši izmantots programmēšanas valodās, matemātikā, attiecībās, loģiskās un matemātiskās funkcijās vai atsevišķās daļās, kuras pats programmētājs ir aprakstījis.

3. piemērs

Apskatīsim sarežģītāku loģisko formulu:

¬ (А∨¬С) ⇔ ¬А∧îЅ = 1

Tāpēc ir nepieciešamas oficiālas valodas. Iedomājieties, kas tas būtu, ja tas būtu aprakstīts vārdos? Un tagad, pamatojoties uz formulu, mēs izdarīsim secinājumus. Nozīmīgas izteicienas var iegūt formālajā valodā tikai tad, ja tiek ievēroti iepriekš noteiktie izglītības noteikumi, izmaiņas un "izpratne" par formulām un termiņiem, no kuriem tie ir sastādīti.

  1. Termina un formulu konstruēšana;
  2. Semantikas aspekta un interpretācijas izstrāde;
  3. Dažu formulu secība un pārējo termins.

Katrai oficiālajai valodai vajadzētu būt labi izstrādātam šiem noteikumiem.

4. piemērs

Sakarā ar valodas noteikumu sintaksiizejas termiņiem un formulas var veikt isomorphic transformācijas modeļiem. Tātad tiks veikta ne tikai atspoguļojums (pārstāvība) par noteiktu zināšanu kopumu, kas jau ir, bet, iespējams, jauna informācijas saņemšana. Turklāt pārveidošana, kaut arī tā notiks saskaņā ar skaidriem un stingriem noteikumiem, var tikt pilnībā automatizēta. Šādas tehnoloģijas tiek izmantotas ekspertu sistēmās, zināšanu bāzēs un lēmumu atbalsta programmatūrā.

Secinājums

kāpēc mums ir vajadzīgas oficiālas valodas
Oficiālajā valodā tiek plaši izmantotaszinātne, it īpaši inženierzinātnē. Zinātniskā pētījuma vai praktisko darbību īstenošanas laikā viņi var sadarboties ar dabu, ņemot vērā pēdējo izteiktās spējas. Tomēr formālās valodas tomēr ļauj precīzāk pārnest zināšanas un objektīvi apmainīties ar cilvēku uzkrāto informāciju.

Komentāri (0)
Pievienot komentāru