Çfarë duhet të gjuhëve zyrtare mund t'i atribuohet? shembuj të përdorimit

Çfarë është gjuha formale dhe se si ajo ndryshon nga natyrore? Si u formua? Çfarë duhet të gjuhëve zyrtare mund t'i atribuohet? Dhe është përdorur për t'iu referuar atij?

Karakteristikat e gjuhëve formale

Kështu që ne e quajmë një grup të gjuhëve artificiale, të cilat karakterizohen nga rregullat e sakta në lidhje me ndërtimin e shprehjeve, si dhe të kuptuarit e tyre. sisteme që përdoren për qëllime industriale mund t'i atribuohet në gjuhët zyrtare. Ato janë ndërtuar në përputhje me rregulla të qarta, të ofrojë shfaqje të qëndrueshëm, kompakt dhe të saktë të pronave dhe marrëdhënieve të studiuar lëndë ose objekte të modeluar. Vlera dhe kuptimi i shenjave nuk mund të ndryshohet nga ndonjë veçori pragmatike (përdorimi i kontekstit). Kjo është e mundur në sajë të pranisë në gjuhën formale të rregullave të konvertimit sintaksës dhe interpretimin semantik. Ato janë ndërtuar shpesh duke përdorur si një bazë të matematikës. Për shkak të faktit se ajo, në tërë hapësirë të zhvillimit, të përdorur një shumëllojshmëri të emërtimeve simbolike janë aplikuar në një shumëllojshmëri të koncepteve dhe objekteve. Kjo është ajo që ka nevojë për gjuhë formale. Ato mund të reduktojnë ndjeshëm dhënat. Më parë, së bashku me gjuhët zyrtare dhe natyrore janë përdorur, por me komplikim gradual të subjektit dhe nevojën për të bërë një analizë të rreptë logjike të arsyetimit matematikor, u vendos të braktisë të kaluarën. Ky proces zgjati nga XVII deri në shekullin e XX. Është e shekullit të kaluar është konsideruar më i frytshëm në drejtim të gjuhëve zyrtare. janë krijuar degë të ndryshme të veçantë. Pra, për shkencën kompjuterike janë të veçanta gjuhë programimi rëndësia dhe algjebër e logjikës, jo vetëm teorike, por edhe nga një këndvështrim praktik.

përcaktim

Çfarë duhet të gjuhëve zyrtare mund t'i atribuohet, ne kemi tashmë të shpjeguar shkurtimisht. Por çfarë mund të themi për ta? gjuha formale është dhënë një shumë prej definicioneve të ndryshme. Në listën e tyre të gjithë, ai do të largohet shumë kohë, kështu që të marrë një sy në më të popullarizuara:

1. Një listë e thjeshtë e fjalëve në gjuhën - zakonisht thonë kështu në lidhje me llojin e fundit të ndërtimit dhe për ato që kanë një strukturë të thjeshtë.
2. Fjalë të krijuara nga një gramatikë të caktuar formal.
3. Struktura krijuar nga shprehje të rregullta.
4. Fjalë të gjeneruara nga BPF-design.
5. Struktura, të njohur nga një automat fundme.

Le të shikojmë një shembull. Le të thonë se ne kemi alfabetin e tërë, duke pasur parasysh dy numrat 1 dhe 0. për të shfaqur shkronjën "O", ne përdorim një kombinim i 1010001. Kjo është përdorimi i një gjuhe formale. Është gjithashtu e mundur që të përdorin fjalë boshe (kur string ka zero gjatësi, dhe nuk ka asgjë) me një përcaktim të veçantë në formën e njohur për ne. Por më në detaje për të kuptuar se çfarë është një gjuhë formale, të ndihmojë 4 shembuj që do të jepen të ardhshëm. Çfarë do të bëni? Të kuptuarit e lexuesit ishte se një gjuhë zyrtare mund t'i atribuohet. Por, pak më shumë rreth asaj se si ata janë të krijuar.

Ndërtimi i gjuhëve zyrtare

Çdo gjuhë është një strukturë formale që është krijuar një herë dhe dikush. Ato janë ndërtuar zakonisht në të njëjtin model:

1. Për të filluar, zgjidhni alfabetin, ose ndonjë grup të karaktereve të veçanta që do të ndërtohet dhe shprehjet e përdorura në gjuhën. Nga gjuha zyrtare është ndonjë mënyrë të programit duke përdorur një kompjuter.
2. Ajo përshkruan sintaksë, që është, karakteristikat dhe rregullat që do të ndërtojnë fjali kuptimplota.
3. Për rregullat e caktuara për fjalë dhe shprehje. Këtu ka një rregull: çdo rend i shkronjave duhet të jetë në gjendje për të numëruar fjalë.

Nga gjuha zyrtare i referohet çdo strukturë që ka rregulla të qarta - ajo duhet të mbahet mend. Kur ndërtimi, ka disa karakteristika. Kështu, termi "karakter" është shumë e multi-funksionale në aspektin e kuptimit, kështu që për pjesën më të përdorur termin si një "letër". Por nën to mund të kuptohet jo vetëm simbol të zakonshme për ne, por edhe kllapa, karaktere të veçanta, dhe më shumë. Kjo vlen vetëm për gjuhët zyrtare.

SHEMBULL 1

Le të fillojmë me 1 dhe 0. Në raste të tilla, përdorin më shumë konceptin e "termit" dhe "formula". E para vepron si një analog të objektit dhe emri që përdoret për t'iu referuar diçka të veçantë. Para së gjithash kuptojnë konstantet dhe variablat individuale nën to. Nga këto, nga ana tjetër, të ndërtuar struktura më komplekse, e cila është përdorur përdorur në disa funksion gjuhës. Sipas kushteve të grupit të kuptuar formulën, përdorimi i të cilave në një gjuhë të caktuar programimi është e mundur. Ky "udhëzim" do të jenë të përpunuara, dhe personi do të marrë rezultatin e dëshiruar.

SHEMBULL 2

Konsideroni logjikën shembull në të cilin ka një inversion (¬), ndarje (∧), lidhëza (∨) dhe implikimi (⇒) dhe disa të tjerë. Në regjistrimin e tillë e imazheve mund të jepet si:

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

Si personazhet A, B, C, zëvendësojë variablave dhe ju merrni operacionet logjike. Ku të aplikoni gjuhët zyrtare të këtij lloji? Përdorimi i gjerë i një mekanizmi të tillë është gjetur në gjuhët e programimit, matematika, marrëdhëniet, funksionet logjike dhe matematikore, ose pjesë të cilat janë përshkruar nga programues.

SHEMBULLI 3

Le të shikojmë në një formulat më komplekse logjike:

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

Kjo është arsyeja pse ne kemi nevojë për gjuhë formale. Paramendoni se çfarë do të kishte ndodhur në qoftë se ajo është përshkruar me fjalë? Tani, në bazë të një formule të kemi nxjerr një përfundim përfundime. shprehjet kuptimplota mund të merret në gjuhën zyrtare vetëm kur rregulla të caktuara janë respektuar para-formimin, ndryshimin dhe "të kuptuarit" të formulave dhe kushtet të cilat ata janë bërë:

1. formula termi ndërtimi dhe;
2. Studimi i aspektit semantik dhe interpretimit;
3. Sekuenca e njërit prej formulave dhe afat tjeter.

Çdo gjuhë formal duhet të jetë e themeluar dhe ngritur e rregullave.

SHEMBULL 4

Për shkak të pranisë në rregullat e prodhimit të sintaksës gjuhën për termat dhe formulat mund të bëhen modele isomorphic transformimit. Pra, kjo do të kryhet jo vetëm reflektimin (përfaqësimin e) një organ të veçantë të dijes që tashmë ekziston, por mund të marrin informacion të ri. Për më tepër, transformimi, edhe pse, dhe do të bëhet në bazë të rregullave të qarta dhe të rrepta, ajo mund të jetë i automatizuar. teknika të ngjashme janë përdorur në sistemet e ekspertëve, bazat e njohjes dhe produkte mbështetëse vendim software.

përfundim

Gjuhët zyrtare janë përdorur gjerësisht në shkencë, sidomos në art. Gjatë kërkimit shkencor dhe zbatimin e aktiviteteve praktike që mund të ndërveprojnë me natyrore, në funksion të aftësive të konsiderueshme shprehëse e këtij të fundit. Megjithatë gjuhë formale mund të përcjellë më të saktë njohuri dhe për të kryer një shkëmbim objektiv të informacionit të akumuluar nga njerëzimi.