Inona no fiteny ofisialy dia azo lazaina? ohatra ny fampiasana

Inona no fiteny ofisialy sy ny fomba mitovy amin'ny voajanahary? Ahoana no nisy namorona? Inona no fiteny ofisialy dia azo lazaina? Ary dia ampiasaina hilazana azy?

Toetra mampiavaka ny ara-teny

Noho izany dia miantso ny vondrona ny solon-teny, izay mampiavaka ny fitsipika marina mikasika ny fanorenana ny fitenenana, ary koa ny fahatakarany. rafitra ampiasaina ho an'ny tanjona indostrialy dia azo lazaina ho ara-dalàna teny. Izy ireo ka miorina amin'ny fanajana ny fitsipika mazava, manome tapaka sy voalamina tsara sy marina maneho ny fananana sy ny fifandraisana ny nianatra foto-kevitra faritra na zavatra nalaina tahaka. Ny zava-dehibe sy ny dikan'ny marika tsy azo takarina sy niova misy lafiny (fampiasana ny teny manodidina). Izany no azo atao noho ny fisian'ny amin'ny fiteny ofisialy ny fitsipi-Syntaxe fiovam-po sy ny zotran heviny. Matetika izy ireo nanorina ny fijerena hoe lehilahy iray tena ratsy ny matematika. Noho ny zava-misy izany, eo amin'ny androm ny fampandrosoana rehetra, isan-karazany ampiasaina an'ohatra fanondroana no ampiharina amin'ny foto-kevitra isan-karazany sy ny zavatra. Izany no mila fiteny ofisialy. Afaka mampihena ny antontan-kevitra be. Vao maraina, miaraka amin'ny fiteny ofisialy, ary voajanahary no ampiasaina, fa amin'ny tsikelikely olana anefa ny foto-kevitra sy ny tokony hanaovana ny fanadihadiana hentitra ny matematika lojika Fandresen-dahatra, dia nanapa-kevitra ny handao ny lasa. Izany dingana naharitra hatramin'ny XVII ho any amin'ny taonjato XX. Izany no taonjato farany dia heverina indrindra mahavokatra eo amin'ny lafiny ara-dalàna fiteny. isan-karazany dia nohariana sampana manokana. Noho izany, fa ny siansa dia ny solosaina manokana fiteny fandaharana zava-dehibe sy ny alijebra ny lojika, tsy teorika, fa koa avy amin'ny fomba fijery azo ampiharina.

famaritana

Inona no fiteny ofisialy dia azo lazaina, Efa nanazava fohifohy. Inona anefa no azo lazaina momba azy ireo? Fiteny ofisialy nomena be dia be ny famaritana hafa. Lisitra izy rehetra, dia hamela fotoana be dia be, ka hojerentsika ny malaza indrindra:

1. Ny tsotra lisitry ny teny ao amin'ny fiteny - Matetika manao izany, amin'ny fanajana ny farany ny fanorenana sy ny karazana mikasika ireo izay manana rafitra tsotra.
2. Teny niteraka ny anankiray ôfisialy fitsipi-pitenenana.
3. Ny rafitra noforonin'ny teny tsy tapaka.
4. Teny niteraka ny BPF-famolavolana.
5. Ny rafitra, fantatra amin'ny alalan'ny automaton voafetra.

Andeha isika hijery ohatra. Andeha isika hoe manana ny abidy rehetra, nomena roa isa 1 sy 0. Mba maneho ny taratasy "O", mampiasa ny fitambaran'ny 1010001. Izao no fampiasana ny fiteny ôfisialy. Azo atao koa ny mampiasa teny foana (raha tsy ahitako ny kofehy lavany, ary tsy misy na inona na inona) miaraka amin'ny fanendrena manokana amin'ny endrika nahazatra antsika. Fa amin'ny an-tsipiriany mba hahatakatra inona no fiteny ofisialy, hanampy 4 ohatra izay homena manaraka. Inona no atao? Ho an'ny mpamaky ny fahalalana dia hoe ny teny ofisialy dia azo lazaina. Fa kely kokoa ny fomba namoronana izy ireo.

Fanorenana ny fiteny ofisialy

Fiteny tsirairay dia rafitra ofisialy izay noforonina sy ny olona iray indray mandeha. Izy ireo matetika miorina eo amin'ny lamina mitovy:

1. Aloha, misafidy ny abidy, na ny sasany napetraka ny litera manokana izay hamboarina sy hatao fomba fiteny ampiasaina ao amin'ny teny. Ny teny ofisialy dia misy fomba fandaharana mampiasa ordinatera.
2. Izany dia mamaritra ny Syntaxe, izany hoe toetra sy ny fitsipika izay manan-danja hanorina fehezanteny.
3. Ao amin'ny fitsipika sasany ho an'ny teny sy ny fomba fiteny. Indreto misy fitsipika: misy filaharan'ireo taratasy dia tsy maintsy ho afaka hanisa teny.

Ny fiteny ofisialy dia manondro izay rafitra manana fitsipika mazava - dia tokony ho tsaroana. Rehefa fanorenana, misy endri-javatra. Noho izany, ny teny hoe "toetra" Tena multi-Functional eo amin'ny ny heviny, dia toy izany avokoa ny ankamaroan'ny nampiasa ny teny hoe ho toy ny "taratasy". Fa ao ambaniny izy ireo tsy nahafantatra izany dia azo ihany ny mahazatra tarehimarika ho antsika, fa koa ny fononteny mahitsy, tarehin-tsoratra manokana, sy ny maro hafa. Mihatra amin'ny ara-dalàna ihany no fiteny.

OHATRA 1

Aoka isika hanomboka amin'ny 1 sy 0. Amin'ny toe-javatra toy izany, ny mampiasa bebe kokoa ny hevitry ny hoe "teny hoe" sy ny "raikipohy." Ny voalohany dia miasa toy ny analogue ny zavatra sy ny anarana ampiasaina mba hilazana zavatra voafaritra tsara. Voalohany indrindra hahatakatra ny constants sy ny olona hiovaova eo ambany ireo. Ireo, kosa, hanorina rafitra sarotra kokoa, izay ampiasaina ampiasaina amin'ny fiteny sasany miasa. Eo ambany ny teny ny vondrona hahatakatra ny raiki-pohy, ny fampiasana izay ao amin'ny fandaharana sasany teny azo atao. Io "fampianarana" ho tsinjaraina, ary ny olona dia hahazo ny vokatra irina.

OHATRA 2

Diniho ny ohatra lojika fa amin'izany dia misy ny inversion (¬), disjunction (∧), ilay teny mpampitohy (∨) sy ny tian'ny (⇒) sy ny maro hafa. Ao amin'ny firaketana ny sary toy izany azo omena toy ny:

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

Toy ny tarehintsoratra A, B, C, solointsika amin'ny hiovaova, ary azonao ny lojika asa. Where to hampihatra fiteny ofisialy io karazana? Ny miely patrana fampiasana rafitra toy izany dia hita ao amin'ny fandaharana amin'ny fiteny, matematika, ny fifandraisana, ny matematika lojika sy ny asa, na ny ampahany izay efa voalaza ny rindrambaiko.

OHATRA 3

Andeha isika hijery sarotra kokoa lojika rijan:

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

Izany no antony ilantsika fiteny ofisialy. Sary an-tsaina ny zavatra mety ho nitranga raha toa ka ny teny voalaza ao? Ankehitriny, mifototra amin'ny raikipohy dia tsoahana fanatsoahan-kevitra. Teny manan-danja azo azo amin'ny fiteny ofisialy raha tsy rehefa fitsipika sasany dia hajaina mialoha ny fananganana, fiovana sy "fahiratan-tsaina" ny raiki-pohy sy ny fepetra izay natao:

1. Construction teny rijan sy;
2. Fianarana ny zotran endrika sy ny heviny;
3. Ny filaharan'ireo iray amin'ireo rijan-teny sy ny hafa.

Tsirairay dia tokony ho teny ofisialy orina tsara ny fitsipika napetraka.

OHATRA 4

Noho ny fanatrehany ao amin'ny fitsipiky ny fiteny Syntaxe Output ny teny sy ny raiki-pohy azo atao modely isomorphic fiovana. Dia ho toy izany tsy nentina nivoaka ny taratry (fanehoana ny) manokana vatana ny fahalalana izay efa misy, fa mety hahazo fanazavana vaovao. Ankoatra izany, ny fanodinana, anefa, ary hatao araka ny fitsipika mazava sy hentitra, dia azo automated. Similar teknika ampiasaina amin'ny manam-pahaizana rafitra, fahalalana faladiany, ary ny fanapahan-kevitra rindrambaiko fanohanana vokatra.

famaranana

Fiteny ofisialy dia be ampiasaina amin'ny siansa, indrindra fa any amin'ny zavakanto. Nandritra ny fikarohana siantifika sy ny fanatanterahana ny asa mahasoa dia afaka mifandray amin'ny ara-nofo, rehefa jerena ny fahaizana maneho fihetseham be ny farany. Nefa fiteny ofisialy afaka mampita fahalalana araka ny marina kokoa sy hanao ho tanjona fifanakalozan-torohay voangony ny olombelona.