border=0

Algoritme performer

By it bouwen fan in algoritmatyske teory wurdt de begryp fan in útfierder fan in algoritme net eksplisyt ynfierd. De útfieringsmechanisaasje wurdt allinich yn Turing- en Postmodellen foarsteld, om't it essinsje fan it model dêrmei ferbûn is. Yn 'e oare modellen binne allinich elemintêre stappen fan' e algoritme en regels foar it oanlizzen fan komplekse aksjes út elemintêre besprutsen. Neist de diskusje bliuwt de fraach: troch wa (of hoe) sil dit algoritme útfierd wurde. Mear genôch wurdt it standert oannommen dat as in algoritme yn in bepaald model te fieren, moatte jo de akseptearre foarm fan it record begripe en de nedige aksjes nimme.

Wy leare it konsept fan in formele útfiner:

In formele útfierder is in ûnderwerp of in apparaat dat it ynsjoch en analysearjen fan 'e ynstruksjes fan in algoritme, feroaret fan syn state yn oerienstimming mei dy, en ek in meganisme fan útfiering, dy't in stap foar stapke ferwurking fan ynformaasje útfiere kin.

De útfierer fan 'e algoritme wurdt beskôge as it ynsteld is:

System fan kommando's (elemintêre aksjes fan it algoritme dat de útfierder ynfierd kin);

Formulieren fan presintaasje fan ynput- en útfierynformaasje;

• Systeem fan tastienbere ynterne steaten;

Taalpresintaasje fan 'e algoritme.

Sa wurdt by it oplossen fan problemen fan 'e praktyk de primêre funksjes net de funksjes fan' e algoritme, mar de mooglikheden fan 'e útfierder. Benammen de elemintêre karakter fan 'e stappen wurdt net bepaald troch hokker modelle brûkt wurdt foar it algoritme, mar troch it systeem fan kommando's fan in bepaalde útfiner. De foarm fan presintaasje fan de boarne (ynput) gegevens foar elke algoritme moat ek rjochte wêze op in spesifike keunstner. Uteinlik moat gjin logyske struktuer fan 'e algoritme oersette fan' e fertsjinwurdiger yn in ferbeide steat (dus om fierder te gean nei de grinzen fan tastien steat).

Neist de direkte útfiering fan hannelingen draacht in spesifike útfierer kontrôle oer de justigens fan 'e algoritmeûntwikkeling. De redenen foar it mislearjen fan it algoritme mei in bepaalde set fan boarnegegevens (dat is, it docht gjin suksesfolle ôfdieling fan syn wurk) kinne wêze:

Syntaksofen, d. ferwûning fan formele regels foar it skriuwen fan it algoritme;

De útfier fan 'e begjinnende gegevens bûten it tastelbere set;

· It algoritme komt net oerien mei de mooglikheden fan 'e ferpletter.

As de útfierer de kompjûter is en de algoritme wurdt fertsjintwurdige as programma, wurdt de syntaktyske kontrôle útfierd op 'e kompilaasjestasjon, d. foardat it programma begjint. Yn it gefal as de flaters in semantysk (semantyske) karakter hawwe; foar har lokalisaasje en korrizjearjes rekkenje se om it programma te testen . Testjen bestiet út it ferifiearjen fan 'e operaasje fan' e algoritme (programma) op sokke wearden fan 'e begjinnende gegevens dy't alle mogels soargje kinne foar ferwurkjen fan ynformaasje. Yn 'e praktyk is it lykwols tige dreech om sa'n kontrôle foar komplekse algoritme út te fieren - tefolle feroaret it mooglik te wêzen. Meastentiids wurdt besocht om 't limyt (grutte en lytse) yntellingswearden ferwurkjen te ferwurkjen, ferwurkjen fan ûnjildige wearden (it yndeksearjen dus net ta in suksesfolle stoppe fan' e kontraktor; krekt it resultaat moat in berjocht wêze fan 'e kontraktor oer de ûnfermogen fan it dwaan fan aksjes of gewoanlikens fan' e ôfwêzigens fan in aksje). Om't it faak ûnmooglik is om alle kombinaasjes fan ynputgegevens te sortearjen, moat men bewust wêze dat de teste in flater beskaat, mar beweecht har folsleine ôfwêzigens.

Ut it boppesteande redenen kin men de yndruk krije dat yn 'e praktyk it wurding en de metoade fan presintaasje fan' e algoritme altyd ôfhinklik is fan 'e mooglikheden fan' e útfierders en dêrom moatte rjochte wêze op it taken fan dizze mooglikheden rekkenje. Dit is wier as wy in beskate algoritme beskôgje. As der lykwols in bepaalde set algoritme is, wurdt har unifoarmige fertsjintwurdiging allinich as ferplicht is as de útfierder unyk is - dit is krekt de situaasje op 'e begjinstapen fan' e ûntwikkeling fan computingtechnology - de oplossing foar eventuele problemen fereasket de presintaasje fan it algoritme as programma yn 'e ynputtaal fan' e komputer. De situaasje feroare mei de ûntwikkeling fan technology en spesjale software; Op dit stuit kinne wy ​​útskriuwe dat in kompjûter troch syn software de brûker hat mei in soad ynfloeders, wêrfan't it nedich is om de optimale te kiezen , d. meast passend foar de taak en algoritme.





Sjoch ek:

Foarbyld 7.5

Foarbyld 4.5

Berjocht konvertearje

Algoritme presintaasjemethoden

Haadstik 10. Models en systeem

Gean werom nei Tafel Ynhâld: Teoretyske Stiftingen fan Computer Science

2019 @ bibinar.info