Ko oficiālas valodas var attiecināt? piemēri izmantošanai

Kas ir oficiāla valoda un kā tas atšķiras no dabas? Kā tas tika izveidots? Ko oficiālas valodas var attiecināt? Un tas tiek izmantots, lai atsauktos uz viņu?

Raksturojums formālās valodas

Tāpēc mēs saucam grupu mākslīgo valodu, ko raksturo precīzi noteikumi attiecībā uz būvniecības izpausmes, kā arī to izpratni. ko izmanto rūpnieciskiem mērķiem, sistēmu var attiecināt uz oficiālu valodu. Tie ir būvēti saskaņā ar skaidriem noteikumiem, nodrošināt konsekventu, kompaktu un precīzu attēlošanu īpašībām un attiecībām pētīja jomu vai modelētas objektiem. Vērtība un nozīme zīmju nevar mainīt ar jebkuru pragmatiskus funkcijas (lietošanas konteksta). Tas ir iespējams, pateicoties klātbūtni formālajā valodā noteikumus sintakses pārveidošanas un semantiskā interpretācija. Tos bieži būvēti, izmantojot kā bāzi matemātiku. Sakarā ar to, ka tas, par visu span attīstību, izmanto dažādus simbolisku apzīmējumu ir piemēroti dažādiem jēdzieniem un objektiem. Tas ir tas, ko vajag oficiālas valodas. Tās var ievērojami samazināt datus. Agrāk, kopā ar formālās un dabas valodā ir izmantoti, bet ar pakāpenisku komplikācija priekšmetu un nepieciešamību veikt stingru loģisku analīzi matemātisku argumentāciju, tika nolemts atteikties no pagātnes. Šis process ilga no XVII līdz XX gs. Tas ir pēdējais gadsimts tiek uzskatīts visauglīgākā ziņā oficiālu valodu. tika izveidoti dažādi īpašie zari. Tātad, datorzinībās, ir īpaši svarīgi, programmēšanas valodas un algebra loģikas, ne tikai teorētiskas, bet arī no praktiskā viedokļa.

definīcija

Ko oficiālas valodas var attiecināt, mēs jau īsumā paskaidroja. Bet ko mēs varam teikt par viņiem? Formāla valoda ir dota daudz dažādu definīciju. Uzskaitīt tos, tas atstās daudz laika, tāpēc ieskatieties populārākie:

1. Vienkāršu saraksts vārdiem valodā - parasti saka, lai attiecībā uz gala veida celtniecības un par tiem, kas ir vienkārša struktūra.
2. Vārdi par noteiktu formālu gramatiku radītie.
3. Struktūra, ko rada regulāras izteiksmes.
4. Vārdi, ko BPF-dizains radītie.
5. Struktūra, atpazīstams ar bezgalīgi automāts.

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. Ko tas dara? Lai lasītāja izpratni, bija, ka formāla valodu var attiecināt. Bet mazliet vairāk par to, kā tie ir izveidoti.

Būvniecība formālo valodu

Katrs valoda ir oficiāla struktūra, kas tika izveidota pēc tam, kad un kāds. Tie parasti veidota uz tās pašas modeli:

1. Lai sāktu, izvēlieties alfabētu, vai kādu konkrētu rakstzīmju kopu, kas tiks būvēts un izteiksmes izmanto valodā. Ar oficiālu valodu, ir kāds veids, lai programma, izmantojot datoru.
2. Tas raksturo sintaksi, kas ir, īpašības un noteikumi, kas būs veidot jēgpilnas teikumus.
3. Par konkrētiem noteikumiem vārdus un izteicienus. Šeit ir noteikums: jebkura secība burtiem ir jāspēj rēķināties vārdus.

Ar oficiālu valodu, attiecas uz jebkuru struktūru, kas ir skaidri noteikumi, - tas būtu jāatceras. Veidojot, ir dažas pazīmes. Tādējādi termins "raksturs", ir ļoti daudzfunkcionāls ziņā nozīmē, tāpēc lielākoties izmanto terminu kā "vēstules". Bet zem tiem var tikt saprasts ne tikai ierasto apzīmējumu mums, bet arī iekavās, speciālās rakstzīmes, un vairāk. Tas attiecas tikai uz oficiālu valodu.

Example 1

Sāksim ar 1 un 0. Šādos gadījumos, izmantot vairāk jēdzienu "termina" un "formula". Pirmais darbojas kā analoga objekta un vārdu izmanto, lai apzīmētu kaut ko konkrētu. Vispirms jāsaprot, konstantes un individuālos mainīgos zem tiem. No tiem, savukārt, veidot sarežģītākas struktūras, kas tiek lietots kādā valodas funkciju. Saskaņā ar grupas saprast formulu, kuru lietošana noteiktā programmēšanas valodā ir iespējama. Šī "norādījums" tiks apstrādāti, un persona saņems vēlamo rezultātu.

2. PIEMĒRS

Apsveriet piemērs loģiku, kas pastāv inversija (¬) atvienojums (∧), saiklis (∨), un saistība (⇒) un vairāki citi. Šādā ieraksta attēlus, var ievadīt:

1. A;
2. A∧V ⇒ ¬
3. ¬ (A∨¬S)

Kā burtiem A, B, C, aizstāt mainīgos un jūs saņemsiet arī loģiskās operācijas. Kur piemērot oficiālas valodas šāda veida? Plaši izmantot šāda mehānisma ir atrodama programmēšanas valodas, matemātikas, attiecības, loģiskās un matemātiskās funkcijas, vai tās daļu, kas ir aprakstītas programmētājs.

3. PIEMĒRS

Apskatīsim sarežģītāka loģiskās formulas:

¬ (A∨¬S) ⇔ ¬A∧S = 1

Tieši tāpēc mums ir nepieciešams oficiālas valodas. Iedomājieties, kas būtu noticis, ja tas tika aprakstīts vārdos? Tagad, balstoties uz formulu, mēs secināt secinājumus. Izsmeļošas izteiksmes var iegūt oficiālajā valodā tikai tad, ja daži noteikumi tiek ievēroti iepriekš veidošanos, izmaiņas un "izpratne" formulu un nosacījumiem, no kuriem tie ir izgatavoti:

1. Celtniecības ilgtermiņa formulas un;
2. Pētījums semantisko aspektu un interpretāciju;
3. Viena no formulām un cits termiņš secība.

Katrai oficiāla valoda būtu labi izveidota noteikumiem.

4. PIEMĒRS

Sakarā ar klātbūtni noteikumiem par valodas sintakses produkcijas noteikumiem un formulas var veikt isomorphic transformācijas modeļus. Tātad, tas tiks veikts ne tikai atstarojuma (pārstāvības) specifisku zināšanu kopumu, kas jau pastāv, bet var saņemt jaunu informāciju. Turklāt, pārveidošana, lai gan, un notiks saskaņā ar skaidriem un stingriem noteikumiem, to var automatizēt. Līdzīgas metodes tiek izmantotas ekspertu sistēmās, zināšanu bāzes un programmatūras lēmumu atbalsta produktiem.

secinājums

Formālās valodas plaši izmanto zinātnē, jo īpaši mākslā. zinātniskās pētniecības un īstenošanas praktiskās darbības laikā viņi var mijiedarboties ar dabas, ņemot vērā ievērojamās ekspresīvās spējām pēdējo. Tomēr oficiālas valodas, var precīzāk nodot zināšanas un veikt objektīvu informācijas apmaiņu uzkrāto cilvēcei.