Dè gu foirmeil cànain Faodaidh seo a bhith? eisimpleirean de chleachdadh

Dè an cànan foirmeil agus mar a bha e diofraichte bho nàdarra? Ciamar a chaidh a cruthachadh? Dè gu foirmeil cànain Faodaidh seo a bhith? Agus tha e air a chleachdadh airson iomradh a thoirt dha?

Characteristics of foirmeil cànain

Mar sin ris an can sinn buidheann de fuadain cànain, a tha air a chomharrachadh le cinnt riaghailtean a thaobh a 'togail abairtean, a thuilleadh air an tuigse. siostaman a chleachdadh airson adhbharan tionnsgalach Faodaidh seo a bhith gu foirmeil cànan. Tha iad air a thogail ann a 'gèilleadh ris na riaghailtean soilleir, a' toirt co-chòrdail, agus teann mionaideach taisbeanadh de na feartan agus dàimhean a 'sgrùdadh cuspair an sgìre no mhodaileadh rudan. Tha an luach agus brìgh na comharran nach urrainn a bhith air atharrachadh sam bith a pragmatach feartan (a 'cleachdadh an co-theacsa). 'S e seo ghabhas taing do làthair ann an cànan foirmeil de na riaghailtean atharrachadh agus sheantansan Semantic eadar-mhìneachadh. Tha iad air an togail gu tric a 'cleachdadh mar stèidh matamataig. Sgàth 's gu bheil e, air fad rèis a leasachadh, a' cleachdadh measgachadh de samhlachail sònrachaidhean a bhith air an cur gu diofar bhun-bheachdan agus nithean. Sin dè dh'fheumas foirmeil cànan. Faodaidh iad a lùghdachadh gu mòr dàta. Na bu tràithe, còmhla ri cànain foirmeil agus nàdarra air a bhith air a chleachdadh, ach le duilgheadas mean air mhean a 'chuspair agus am feum a dhèanamh teann loidsigeach mion-sgrùdadh air reusanachaidh matamataigeach, chaidh co-dhùnadh a thrèigsinn an àm a dh'fhalbh. Pròiseas seo a mhair bho na XVII gu XX linn. 'S e an linn mu dheireadh, thathar a' meas a 'chuid as soirbheachail ann a thaobh foirmeil cànan. diofar mheuran sònraichte a chruthachadh. Mar sin, airson saidheans coimpiutaireachd a tha gu sònraichte cudromach phrògraman cànain agus an ailseabra den loidsig, nach teòiridheach a-mhàin, ach cuideachd bho practaigeach sealladh.

definition

Dè gu foirmeil cànain Faodaidh seo a bhith, tha againn mar-thà greiseag a mhìneachadh. Ach ciod a their sinn mu dheidhinn? Foirmeil cànan air a thoirt seachad tòrr dhiofar mìneachaidhean. Airson liosta orra uile, bidh e a 'fàgail mòran ùine, mar sin, thoir sùil air a' chuid as mòr-chòrdte:

1. Tha liosta shìmplidh de fhacail sa chànan - mar as trice, sin a ràdh a thaobh a 'chuairt dheireannach an seòrsa togail agus mun fheadhainn aig a bheil structar sìmplidh.
2. Words a chruthachadh le cuid de foirmeil gràmar.
3. Tha an structar a chruthachadh le abairtean cunbhalach.
4. Words a chruthachadh leis an-BPF dealbhadh.
5. Tha structar, aithnichte le automaton crìochnach.

Nach coimhead eisimpleir. Nach can sinn a tha fad-aibidil, air a thoirt seachad dà àireamh 1 agus 0. a thaisbeanadh an litir "O", tha sinn a 'cleachdadh measgachadh de 1010001.' S e seo a 'cleachdadh cànan foirmeil. Tha e comasach cuideachd a 'cleachdadh faclan falamh (nuair a tha an t-sreang a tha neoni air fad, agus chan eil dad) le sònraichte sònrachadh ann an riochd eòlach dhuinn. Ach ann am barrachd mionaideachd a 'tuigsinn dè a tha ann an cànan foirmeil, a' cuideachadh 4 eisimpleirean a thèid a thoirt seachad an ath. Dè tha e a 'dèanamh? Gus an leughadair a 'tuigsinn gun robh foirmeil cànan Faodaidh seo a bhith. Ach beagan tuilleadh mu dheidhinn mar a tha iad a chruthachadh.

Togail foirmeil cànain

Tha gach cànan foirmeil a tha an structair a chaidh a chruthachadh uaireigin agus cuideigin. Tha iad mar as trice air an togail air an aon phàtran:

1. Airson rannsachaidh, tagh na h-aibidil, no cuid seata de charactaran sònraichte a thèid a thogail agus gnàthasan-cainnt a chleachdadh anns a 'chànan. Le foirmeil tha an cànan an dòigh sam bith phrògramadh gus a bhith a 'cleachdadh coimpiutair.
2. Tha e ag innse mu na sheantansan, 'se sin, feartan agus riaghailtean a tha a' togail brìoghmhor sentences.
3. Air riaghailtean àraidh airson faclan agus abairtean. An seo tha an riaghailt: sam bith sreath de litrichean a bhith comasach air a 'cunntadh faclan.

Le foirmeil cànan a 'buntainn do structair sam bith a tha soilleir riaghailtean - bu chòir dha a bhith a' cuimhneachadh. Nuair a bhios a 'togail air sin, tha cuid de na feartan. Mar sin, tha an teirm "caractar" 'S e fìor ioma-ghnìomhaich a thaobh brìgh, agus mar sin airson a' chuid as motha a 'cleachdadh an teirm mar "litir". Ach fòdhpa faodar a thuigsinn nach eil ach an àbhaist notation dhuinn, ach cuideachd na camagan, caractaran sònraichte, agus tuilleadh. Seo a 'buntainn a-mhàin ri foirmeil cànan.

EISIMPLEIR 1

Nach tòisich le 1 agus 0. Anns na cùisean sin, a 'cleachdadh an tuilleadh bun-bheachd "teirm" agus "foirmle." Tha a 'chiad obair mar analogue an nì agus ainm air a chleachdadh airson iomradh a thoirt air rud sònraichte. Chiad de na h-uile a 'tuigsinn an cunbhalachdan, agus caochladairean fa leth fo orra. Dhiubh sin, ann, a 'togail structaran nas iom-fhillte, a tha ga chleachdadh an cleachdadh ann an cuid de cànan gnìomh. Fo chumhachan a 'bhuidheann a' tuigsinn na foirmle, cleachdadh a tha ann an cuid de phrògraman cànain a tha comasach. Tha seo a "stiùireadh" Thèid dèiligeadh, agus an neach a gheibh a 'miannachadh a thoradh.

2 EISIMPLEIR

Beachdaich air mar eisimpleir loidsig anns a bheil an tionndadh (¬), disjunction (∧), an co-bhonn (∨) agus buaidh (⇒) agus grunn daoine eile. Ann an leithid sin a 'clàradh nan ìomhaighean a thoirt mar:

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

Mar na caractaran A, B, C, an àite na caochladairean agus a gheibh thu na loidsigeach obraichean. Far a chur a-steach foirmeil cànain seòrsa seo? Tha a 'tòiseachadh a' cleachdadh a leithid de dhòigh a lorg ann an phrògraman cànain, matamataig, dàimhean, rianail agus gnìomhan matamataigeach, no pàirtean a chaidh a mhìneachadh le phrogramaiche.

EISIMPLEIR 3

Nach coimhead nas iom-fhillte loidsigeach foirmlean:

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

Sin carson a dh'fheumas sinn foirmeil cànan. Smaoinich dè thachradh nam biodh e air a mhìneachadh ann am faclan? A-nis, stèidhichte air foirmle sinn a dhùnadh co-dhùnaidhean. Brìoghmhor abairtean a gheibhear ann an cànan foirmeil a-mhàin nuair a tha spèis àraidh riaghailtean ro-chruthachadh, atharrachadh agus a "tuigse" na foirmlean agus a thaobh a bheil iad a 'dèanamh:

1. Togail ùine foirmlean agus;
2. Sgrùd na Semantic taobh agus eadar-mhìneachadh;
3. Tha an sreath de aon de na foirmlean agus eile teirm.

Tha gach foirmeil cànan a bu chòir a chur air an deagh stèidheachadh riaghailtean.

EISIMPLEIR 4

Leis gu robh an làthair ann an riaghailtean a 'chànain sheantansan toradh airson teirmean agus foirmlean a dhèanamh isomorphic cruth-atharrachadh modailean. Mar sin bidh e air a dhèanamh chan ann a mhàin a 'meòrachadh (riochdachadh) sònraichte corp-eòlas sin mu thràth, ach' s dòcha a 'faighinn fiosrachadh ùr. A bharrachd air sin, tha an cruth-atharrachadh, ge-tà, agus a bhios a 'gabhail àite a rèir soilleir agus riaghailtean teann, faodar a dhèanamh fèin-ghluasadach. Cluicheadairean dòighean-obrach a tha air an cleachdadh ann an eòlaiche siostaman, eòlas buinn, agus bathar-bog co-dhùnadh taic bathar.

co-dhùnadh

Foirmeil cànanan a tha gan cleachdadh ann an saidheans, gu h-àraidh ann an ealain. Rè an rannsachadh saidheansail agus buileachadh de ghnìomhan practaigeach a dh'fhaodas iad coluadar ris an nàdarra, ann an sealladh de na mòr-meanmnach comasan mu dheireadh. Ach foirmeil cànain urrainn barrachd ceart an cèill eòlas agus a ghiùlan a-mach an amas a 'dèanamh iomlaid air fiosrachadh cruinnichte le bhith a' chinne-daonna.