Iaaiey iho hiki ke huikau. E hoʻomaka me ka, mea e e ka pela mai a pau ka hana a ka anu u ma ka anu u. Akā, me ia i ka pilikia, malaila i kekahi mau hiʻona i me ka nui loa kōkua i ka piʻi like ana o na hana e pono ai i? Ia? Aiiu ( "Pascal", "C", "assembler" -ʻaʻohe mea i 'ōlelo ua hoʻohana' ia). I kekahi o kēia mau mea paahana mea e ho okumu ana i ka pōʻaiapuni.
I ka nui o ka iaaiey pōʻaiapuni
He aha mea he pōʻaiapuni? No ke aha ka mea, ua pono ai a me ka mea i ka pomaikai o ka i kekahi programmer ka wā e hana ia? Ka pōʻaiapuni mea he nui mall ke keʻena o ka polokalamu, a leie aku oe e automate i ka hooko ana o kekahi mau helu o nā hana, nae i kaʻaeʻana me ka hoʻokumu kiko'î. No laila, i ka simplest laʻana o ka hana kalapona - podnesenie kekahi mau helu i ka mana. Aohe mea pono e hoakaka ia lalani mai a e e lawa ole, no ka mea, na machines hiki a pau e hana 'akomi' me ia. Ma ka hana o ka pōʻaiapuni no hoi ke hoola i ka puu o ka manawa a me ka hana, no laila ia mea i pono i na manawa a pau o nāʻanuʻu, e? Aaeno i ke karaima ma ka pōʻaiapuni. Aloha komo i ka lolilua aiaiiuo, a hoʻomaka manaʻo. Akā, e like me ka mea i kukulu-kalapona noaia? A i 'ole e oi? Lakou iho i nā kinolau o ka pōʻaiapuni loa o ka hailona ana - i ka 'ike ma luna o ka puke e pili ana i iaaiey, "Pascal," mākou e noʻonoʻo' ole "assembler". No laila, hoʻokahi wale nō no ka informational hana disassemble kaumaha akuʻimi naʻauao noaia o ka mau loa hanohano ana:
- Kalapona me ka postcondition.
- Loop me ka precondition.
A pau 'ē aʻe a pau i ka mea i nui o ko lākou mau likeʻole a me ka hana hihia, no laila, e pono e noonoo ma ka pōʻaiapili, a ma ka hoʻokō' ana aku kekahi pahu hopu. I ka manawa, e huli mai i ka loa mahaloia. O kekahi mau pōʻaiapuni me preconditions a me postconditions? Eia ka ka loop me ka precondition:
ana «ano» hana «kuhi»
Generalʻimi naʻauao? Iaeoii i kalapona me ka postcondition
Kēiaʻano o ke kākau 'ana kivila ka wā o ka Aʻole kalapona me ka postcondition manaʻo na koina o ka kino. Ma mua kilohi ia i mea malihini: maoli, no ke aha la kau i ka 'ole ma hope o ka hooko ana o ke kuhi? Akā, aohe mea kupanaha ma laila: i ka hiʻona o kēia palapala ka mea ua hana nānā 'ole no paha na hana hea e halawai paha i lawelawe i ke karaima. Akā, wale 1 manawa. A laila, ma hope, e ka hōʻike, ina pau ia, e like me ka mea e e, a me ka ole. A i loko o ka wa e kaawale aku o ka pono kino kūlana o ka pōʻaiapuni e e AOON. Kēia mea He mea nui a me ka mea pono keia mau hiʻona, a i ka pōʻaiapuni me postcondition. Ma ke kumu o ka mea ia i haiia mai, a ma kahi au e ike i ka mea hiki manaʻo pena 'aneʻi? Eia he laʻana o ka pōʻaiapuni me ka postcondition:
hou
"Ka pā'ālua"
a «Nā kūlana»
Generalʻimi naʻauao kalapona kumu me ka precondition
Akā, i ka loa hanohano koho i kēia nui keia. Kona peculiarity waiho i loko o ka mea ia no ka hooko ana i kupono ana, me keia kuhi ua loa ia'ku. Nō kāu, ke kuhi ka loa me ka unahiʻole, a ho'ā 'ia paha kona huina hopena maikaʻi' ole ma kamepiula lawelawe. No laila, hoʻohana 'ia nō ka hana maalea: ka hapanui o nā'āpana poʻohiwi o ka kivila mai waiho i loko o nā puka lou ole i kanaka papa i hoopii mai pono i na minute akau. A pau i ke koena o ka manawa keia kivila mea, akā, mai hana i ke kamepiula. Kēia noaia apono 'oe, e hoola aaioee ka mana e hooko i ka polokalamu a me nā papahana.
Mea hiki manaʻo i loko o kekahi iaaiey 'ōlelo
A mau olelo e pili ana i ka mea hiki laulā o nā pōʻaiapuni. It E e kaulana mua o nā mea a pau hoola manawa, o ka mea hoʻohana a me ka programmer. Ma ka lua o ka ua, ua olelo mai, no ke aha, no ke aha la i kekahi mau olelo e olelo aku e pili ana i ka Customer. Ka mea i ka mahae i kaawale māhele e leie aku lako polokalamu i koke kiʻi, a holo, a pela, i ka mea hoʻohana e e waleʻoi aku ka olioli, e hoʻohana i ka lako polokalamu. Eia hoʻi, i kēia hoʻokokoke, i ka wa a ke kuhi waiho i loko o ka pōʻaiapuni a me ka hookaawale papa (i ua pinepine ke kumu mai o ke kino), a ua leie aku ka hana ka hoʻokōʻana. Oe e hoi e lawe mai i ka mämä holo mooolelo i loko o ke kanaka iaiyoe keena. No laila, ina mea a pau i ia e hana hana lima, ka mea makemake i ke kiʻi kēlā, a he mea e komo ai he kūpono. A loop apono 'mau manawa a kēia ōlaʻi o emi i ka pono, e hana nā mea a pau ia oe iho. A e lawe aku oe i na kanaka ololi, a hiki alakai i ka hola pono e nana problematic kivila.
ka hopena
No laila, summing i nā mea a pau i kākau, ua hiki ke olelo aku i ka pōʻaiapuni me ka postcondition a me ka mālama 'mau hiʻohiʻona nō kupono ala, e hoola i ke kālā me e kaumaha e like ai. A i ka wā kākau huikau nā papa hana, ka mea, o kekahi o ka maikaʻi programmer makamaka, e kōkua ana iā ia, e hana i ke karaima hiki pono, e lawe mai a me ka heluhelu. Nolaila, i ka wa a kākau lākou kivila mai, aole ia i hoʻowahāwahā maila i ka hoʻohana i ka pōʻaiapuni me ka postcondition paha precondition - ka mea, e hōʻike hewa hoʻololi i mea e kōkua ai i ke kaʻina hana o ka lako polokalamu hanaia, a me ka mea e hana ku e ia ia -ʻaʻole i lawe ka lanakila o keia wa pono.