Beth i'w ieithoedd ffurfiol y gellir eu priodoli? enghreifftiau o ddefnydd

Beth yw iaith ffurfiol a sut mae'n wahanol i'r naturiol? Sut y cafodd ei ffurfio? Beth i'w ieithoedd ffurfiol y gellir eu priodoli? Ac mae'n cael ei ddefnyddio i gyfeirio ato?

Nodweddion ieithoedd ffurfiol

Felly rydym yn galw grŵp o ieithoedd artiffisial, sy'n cael eu nodweddu gan reolau manwl ynglŷn â mynegiadau adeiladu, yn ogystal â'u dealltwriaeth. Gall systemau a ddefnyddir at ddibenion diwydiannol yn cael eu priodoli i ieithoedd ffurfiol. Maent yn cael eu hadeiladu yn unol â'r rheolau clir, yn darparu arddangosfa cyson, cryno a manwl o briodweddau a chysylltiadau yr astudiwyd maes pwnc neu wrthrychau modelu. Ni all y gwerth ac ystyr y marciau yn cael ei newid gan unrhyw nodweddion pragmatig (defnyddio cyd-destun). Mae hyn yn bosibl diolch i bresenoldeb yn yr iaith ffurfiol y rheolau trosi cystrawen a dehongli semantig. Maent yn aml yn cael eu hadeiladu gan ddefnyddio fel canolfan o fathemateg. Oherwydd y ffaith ei fod, ar y rhychwant cyfan o ddatblygu, defnyddio amrywiaeth o ddynodiadau symbolaidd wedi eu cymhwyso i amrywiaeth o gysyniadau a gwrthrychau. Dyna beth sydd angen ieithoedd ffurfiol. Gallant leihau data yn sylweddol. Yn gynharach, ynghyd â'r ieithoedd ffurfiol a naturiol wedi cael eu defnyddio, ond gyda'r cymhlethdod graddol y pwnc a'r angen i wneud dadansoddiad rhesymegol caeth o resymu mathemategol, penderfynwyd rhoi'r gorau i'r gorffennol. Mae'r broses hon yn para o'r XVII i'r unfed ganrif XX. Mae'n cael ei ystyried y mwyaf ffrwythlon o ran ieithoedd ffurfiol y ganrif ddiwethaf. amrywiol ganghennau arbennig yn cael eu creu. Felly, ar gyfer gwyddoniaeth gyfrifiadurol yn arbennig o ieithoedd rhaglennu pwysigrwydd a algebra rhesymeg, nid yn unig yn ddamcaniaethol, ond hefyd o safbwynt ymarferol.

diffiniad

Beth i'w ieithoedd ffurfiol y gellir ei briodoli, mae gennym eisoes esboniwyd yn fyr. Ond beth allwn ni ei ddweud amdanynt? iaith ffurfiol yn cael ei roi llawer o wahanol ddiffiniadau. Eu rhestru i gyd, bydd yn gadael llawer o amser, felly cymerwch olwg ar y mwyaf poblogaidd:

1. Mae rhestr syml o eiriau yn yr iaith - fel arfer yn dweud hynny o ran y math olaf o adeiladu ac am y rhai sydd â strwythur syml.
2. Geiriau a gynhyrchir gan ramadeg ffurfiol penodol.
3. Mae'r strwythur a grëwyd gan mynegiadau rheolaidd.
4. Geiriau a gynhyrchir gan y BPF-ddylunio.
5. Mae'r strwythur, adnabyddadwy gan automaton gyfyngedig.

Gadewch i ni edrych ar enghraifft. Lets 'ddeud bod gennym y wyddor cyfan, o ystyried dau rif 1 a 0. I ddangos y llythyren "O", rydym yn defnyddio cyfuniad o 1010001. Mae hyn yn y defnydd o iaith ffurfiol. Mae hefyd yn bosibl defnyddio geiriau gwag (pan fydd y llinyn wedi sero hyd, ac nid oes unrhyw beth) gyda dynodiad arbennig yn y ffurf sy'n gyfarwydd i ni. Ond yn fwy manwl i ddeall beth yw iaith ffurfiol, yn helpu 4 enghreifftiau a fydd yn cael ei roi nesaf. Beth mae'n ei wneud? At ddealltwriaeth y darllenydd yn y gall iaith ffurfiol eu priodoli. Ond ychydig mwy am sut y maent yn cael eu creu.

Adeiladu ieithoedd ffurfiol

Mae pob iaith yn strwythur ffurfiol a gafodd ei chreu unwaith a rhywun. Maent yn cael eu hadeiladu fel arfer ar yr un patrwm:

1. I ddechrau, dewiswch y wyddor, neu ryw set o gymeriadau penodol a fydd yn cael eu hadeiladu ac ymadroddion a ddefnyddir yn yr iaith. Erbyn yr iaith ffurfiol unrhyw ffordd i raglennu ddefnyddio cyfrifiadur.
2. Mae'n disgrifio'r gystrawen, hynny yw, nodweddion a rheolau a fydd yn adeiladu brawddegau ystyrlon.
3. Ar reolau penodol ar gyfer geiriau ac ymadroddion. Yma, mae rheol: rhaid i unrhyw dilyniant o lythyrau yn gallu cyfrif geiriau.

Drwy iaith ffurfiol yn cyfeirio at unrhyw strwythur sydd â rheolau clir - dylid cofio. Wrth adeiladu, mae rhai nodweddion. Felly, mae'r term "cymeriad" yn iawn aml-swyddogaethol o ran ystyr, felly ar gyfer y rhan fwyaf yn defnyddio'r term fel "llythyren". Ond oddi tanynt gellir ei ddeall, nid yn unig y nodiant arferol i ni, ond hefyd y cromfachau, nodau arbennig, a mwy. Mae hyn yn berthnasol yn unig i ieithoedd ffurfiol.

ENGHRAIFFT 1

Gadewch i ni ddechrau gyda 1 a 0. Mewn achosion o'r fath, defnyddiwch y mwy y cysyniad o "term" a "fformiwla." Mae'r cyntaf yn gweithredu fel analog y gwrthrych a'r enw a ddefnyddir i gyfeirio at rywbeth penodol. Yn gyntaf oll yn deall y cysonion a newidynnau unigol oddi tanynt. O'r rhain, yn eu tro, yn adeiladu strwythurau mwy cymhleth, sy'n cael ei a ddefnyddir a ddefnyddir mewn rhai swyddogaeth iaith. O dan delerau y grŵp yn deall y fformiwla, y mae'r defnydd ohono mewn iaith raglennu benodol yn bosibl. Mae hyn yn "cyfarwyddyd" yn cael ei brosesu, a bydd y person yn cael y canlyniad a ddymunir.

ENGHRAIFFT 2

Ystyriwch yr enghraifft rhesymeg lle mae gwrthdroad (¬), datgysylltiad (∧), y cyd (∨) a'r goblygiadau (⇒) a sawl un arall. Mewn gofnodi fath o ddelweddau y gellir ei roi fel:

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

Wrth i'r cymeriadau A, B, C, rhodder y newidynnau a byddwch yn cael y gweithrediadau rhesymegol. Ble i wneud cais ieithoedd ffurfiol o'r math hwn? Mae'r defnydd eang o dull o'r fath i'w gael mewn ieithoedd rhaglennu, mathemateg, perthnasoedd, swyddogaethau rhesymegol a mathemategol, neu rannau ohonynt wedi cael eu disgrifio gan y rhaglennydd.

ENGHRAIFFT 3

Gadewch i ni edrych ar fformiwlâu rhesymegol mwy cymhleth:

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

Dyna pam mae angen ieithoedd ffurfiol. Dychmygwch beth fyddai wedi digwydd pe fe'i disgrifiwyd mewn geiriau? Yn awr, yn seiliedig ar fformiwla ni ddyfalu casgliadau. Gellir ymadroddion ystyrlon ar gael yn yr iaith ffurfiol yn unig pan fydd rheolau penodol yn cael eu parchu cyn-ffurfio, newid a "deall" y fformiwlâu a thelerau y maent yn cael eu gwneud:

1. fformiwlâu tymor Adeiladu ac;
2. Astudiaeth o agwedd semantig a dehongli;
3. Mae'r dilyniant o un o'r fformiwlâu a'r tymor arall.

Dylai pob iaith ffurfiol yn cael yn dda sefydlwyd set o reolau.

ENGHRAIFFT 4

Oherwydd y presenoldeb yn y rheolau y cynnyrch cystrawen iaith ar gyfer termau a fformiwlâu gellir gwneud modelau trawsnewid isomorffig. Felly, bydd yn cael ei gynnal nid yn unig y adlewyrchiad (cynrychiolaeth) corff penodol o wybodaeth sy'n bodoli eisoes, ond gall dderbyn gwybodaeth newydd. Ar ben hynny, y trawsnewid, fodd bynnag, a bydd yn digwydd yn unol â rheolau clir a llym, gellir ei awtomataidd. technegau tebyg yn cael eu defnyddio mewn systemau arbenigol, canolfannau gwybodaeth, a chynhyrchion meddalwedd cefnogi penderfyniadau.

casgliad

ieithoedd Ffurfiol yn cael eu defnyddio'n eang mewn gwyddoniaeth, yn enwedig yn y grefft. Yn ystod yr ymchwil wyddonol a'r o weithgareddau ymarferol ar waith y gallant ryngweithio â'r naturiol, yn wyneb y galluoedd mynegiannol sylweddol yr olaf. Eto gall ieithoedd ffurfiol gyfleu gwybodaeth fwy cywir ac i gynnal cyfnewid gwrthrychol o wybodaeth a gasglwyd gan ddynoliaeth.