Wat te formeel talen kinne wurde taskreaun? foarbylden fan gebrûk

Wat is de formele taal en hoe't it ôfwykt fan 'e natuerlike? Hoe't it wie foarme? Wat te formeel talen kinne wurde taskreaun? En it wurdt brûkt om te ferwizen nei him ta?

Skaaimerken fan formele talen

Sa neame wy in groep keunstmjittige talen, dy't wurde karakterisearre troch sekuere regels oangeande de oanlis fan uteringen, likegoed as har begryp. systemen brûkt foar yndustriële doelen kinne wurde taskreaun oan formele talen. Se binne boud mei achtslaan fan de heldere regels, soargje konsistinte, kompakt en sekuere werjefte fan 'e eigenskippen en relaasjes fan' e ûndersochte ûnderwerp gebiet of model: foarwerpen. De wearde en betsjutting fan de tekens kin net feroare wurde troch eltse pragmatyske skaaimerken (gebrûk fan de kontekst). Dit is mooglik tanksij de oanwêzichheid yn 'e formele taal fan' e regels fan syntaks ombou en semantyske ynterpretaasje. se faak boud mei help as basis fan de wiskunde. Fanwege it feit dat it, op 'e hiele span fan ûntwikkeling, brûkten in ferskaat oan symboalyske designations binne tapast op in ferskaat oan begripen en foarwerpen. Dat is wat moat formele talen. Se kinne ferlytsje gegevens. Earder, tegearre mei de formele en de natuerlike talen binne brûkt, mar mei de stadige complication fan it ûnderwerp en de needsaak om in strang logyske analyze fan de wiskundige ferstân, waard besletten om ferlitte it ferline. Dat proses duorre fan 'e XVII oan' e XX ieu. It is de lêste ieu wurdt beskôge as it meast fruchtber kwa formele talen. ferskate bysûndere tûken waarden makke. Dus, foar computer wittenskip binne fan bysûnder belang programmearring talen en de algebra fan 'e logika, net allinne teoretyske, mar ek út in praktysk eachpunt.

definysje

Wat te formeel talen kinne wurde taskreaun, wy hawwe al koart taljochte. Mar wat kinne wy sizze oer har? Formele taal wurdt jûn in soad ferskate definysjes. Om list se allegearre, gean fuort soad tiid, dus ris efkes yn de meast populêre:

1. In ienfâldige list fan wurden yn 'e taal - almeast om't se sizze oangeande de finale soarte fan gebou en oer it dyjingen dy't hawwe in ienfâldige struktuer.
2. Wurden opwekt troch in bepaalde formele grammatika.
3. De struktuer makke troch reguliere útdrukkings.
4. Wurden oanmakke wurdt troch de BPF-design.
5. De struktuer, werkenber troch in einich automaat.

Litte we ris in foarbyld. Litte we sizze wy hawwe de hiele alfabet, jûn twa nûmers 1 en 0. Om werjaan de letter "O", wy brûke in kombinaasje fan 1010001. Dit is it brûken fan in formele taal. It is ek mooglik om te brûken lege wurden (as de tekenrige hat nul lingte, en der is neat) mei in spesjale oantsjutting yn de foarm dêr't se bekend mei ús. Mar yn mear detail te begripen wat is in formele taal, help 4 foarbylden dy't sil jûn wurde neist. Wat docht it? Om de lêzer syn begryp wie dat in formele taal kin wurde taskreaun. Mar in bytsje mear oer hoe't se wurde makke.

De bou fan de formele talen

Eltse taal is in formele struktuer dat waard makke ien kear en immen. Se wurde meastentiids boud op itselde patroan:

1. Om te begjinnen, kieze it alfabet, of in set fan spesifike karakters dy't sil wurde boud en útdrukkings brûkt wurde yn de taal. Tsjin de formele taal is gjin manier om programmearje mei help fan in kompjûter.
2. It beskriuwt de syntaksis, dat wol sizze, funksjes en regels dy't sil bouwe betsjuttingsfolle sentences.
3. Op bepaalde regels foar wurden en útdrukkings. Hjir is der in regel: alle opienfolging fan brieven moatte wêze kinne rekkenje wurden.

Troch formeel taal ferwiist nei eltse struktuer dat hat dúdlike regels - dat moat betocht wurde. By de bou, der binne guon funksjes. Sa, de term "karakter" is hiel multi-funksjoneel kwa betsjutting, dus foar it grutste part brûkt de term as in "letter". Mar ûnder harren kin opfette wurde net allinnich de wenstige notaasje foar ús, mar ek de beugels, spesjale karakters, en mear. Dat jildt allinne foar formele talen.

foarbyld 1

Litte wy begjinne mei 1 en 0. Yn sokke gefallen, brûk hoe mear it begryp "term" en "formule." De earste fungearret as analoog fan it foarwerp en de namme brûkt om te ferwizen nei wat spesifyk. Earst fan alle begripe de konstanten en yndividuele fariabelen ûnder harren. Dêrfan binne, in beurt, bouwe mear komplekse struktueren, dy't brûkt wurdt brûkt yn guon taal funksje. Under de betingsten fan de groep begripe de formule, it brûken fan hokker yn in bepaalde programmeartaal is mooglik. Dat "instruction" wurdt ferwurke, en de persoan sil krije it winske resultaat.

foarbyld 2

Tink oan it foarbyld logika dêr't der in omkearing (¬), disjunction (∧), de konjunksje (∨) en de oanbefelingen (⇒) en ferskate oaren. Yn sa'n opname fan ôfbyldings kinne jûn wurde as:

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

As de tekens A, B, C, ferfangen de fariabelen en jo krije de logyske operaasjes. Wêr te passen formele talen fan dit type? De wiidfersprate gebrûk fan sa'n meganisme is fûn yn programmearring talen, wiskunde, relaasjes, logika en wiskundige funksjes, of parten dêrfan binne beskreaun troch de programmeur.

foarbyld 3

Litte we ris nei in mear komplekse logyske formules:

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

Dêrom wy nedich formele talen. Stel wat soe bard as it waard beskreaun yn wurden? No, basearre op in formule wy ôfliede konklúzjes. Meaningful ekspresjes kinne jo krije yn de formele taal allinnich as bepaalde regels wurde respektearre pre-formaasje, en feroarings "ferstân" fan 'e formules en betingsten dêr't se wurde makke:

1. Bou termyn formules en;
2. Stúdzje fan 'e semantyske aspekt en ynterpretaasje;
3. De searje fan ien fan 'e formules en oare term.

Eltse formele taal moatte wurde goed fondearje set fan de regels.

foarbyld 4

Troch de oanwêzigens yn 'e regels fan de taal syntaksis útfier foar termen en formules kinne wurde makke isomorphic transformaasje modellen. Sa sil it wêze útfierd net allinne de refleksje (represintaasje fan) in spesifike lichem fan kennis dy't bestiet al, mar kin krije nije ynformaasje. Boppedat, de metamorfoaze, al, en sil plakfine neffens heldere en strange regels, dan kin automatisearre. Similar techniken wurde brûkt yn saakkundige systemen, kennis klippen, en software beslút stipe produkten.

konklúzje

Formele talen wurde in protte brûkt yn de wittenskip, benammen yn 'e keunst. Tidens it wittenskiplik ûndersyk en it útfieren fan praktyske aktiviteiten kinne se ynteraksje mei de natuerlike, mei it each op 'e oansjenlike ekspressive kapasiteiten fan' e lêste. Dochs formeel talen kinne krekter oerdrage kennis en te fieren út in objektive útwikseling fan ynformaasje boeking troch it minskdom.