ສິ່ງທີ່ພາສາຢ່າງເປັນທາງການສາມາດໄດ້ຮັບການສະ? ຕົວຢ່າງຂອງການນໍາໃຊ້

ແມ່ນຫຍັງທີ່ເປັນພາສາທາງການແລະເຮັດແນວໃດມັນມີຄວາມແຕກຕ່າງຈາກທໍາມະຊາດ? ເຮັດແນວໃດມັນໄດ້ສ້າງຕັ້ງຂຶ້ນ? ສິ່ງທີ່ພາສາຢ່າງເປັນທາງການສາມາດໄດ້ຮັບການສະ? ແລະມັນໄດ້ຖືກນໍາໃຊ້ເພື່ອກ່າວເຖິງພະອົງ?

ລັກສະນະຂອງພາສາຢ່າງເປັນທາງການ

ດັ່ງນັ້ນເປັນກຸ່ມຂອງ ພາສາປອມ, ຊຶ່ງສາມາດ characterized by ກົດລະບຽບທີ່ຊັດເຈນກ່ຽວກັບການສ້າງການສະແດງອອກ, ເຊັ່ນດຽວກັນກັບຄວາມເຂົ້າໃຈຂອງເຂົາເຈົ້າ. ລະບົບການນໍາໃຊ້ສໍາລັບຈຸດປະສົງອຸດສາຫະກໍາສາມາດໄດ້ຮັບການສະພາຢ່າງເປັນທາງການ. ເຂົາເຈົ້າໄດ້ຖືກສ້າງຂຶ້ນໃນປະຕິບັດຕາມກົດລະບຽບຈະແຈ້ງ, ໃຫ້ສອດຄ່ອງກະທັດລັດແລະຊັດເຈນສະແດງຄຸນສົມບັດແລະຄວາມສໍາພັນຂອງການສຶກສາໃນ ຂົງເຂດວິຊາ ຫຼືວັດຖຸສ້າງແບບຈໍາລອງ. ມູນຄ່າແລະຄວາມຫມາຍຂອງເຄື່ອງຫມາຍທີ່ບໍ່ສາມາດມີການປ່ຽນແປງລັກສະນະທາງປະຕິບັດໃດຫນຶ່ງ (ການນໍາໃຊ້ຂອງສະພາບການ). ນີ້ແມ່ນຍ້ອນຄວາມເປັນໄປຫາທີ່ປະທັບຢູ່ໃນພາສາຢ່າງເປັນທາງການຂອງກົດລະບຽບຂອງການປ່ຽນແປງໄວຍາກອນແລະ semantic ຕີລາຄາໄດ້. ເຂົາເຈົ້າໄດ້ຖືກສ້າງຂຶ້ນໂດຍໃຊ້ເປັນພື້ນຖານຂອງຄະນິດສາດໄດ້. ເນື່ອງຈາກຄວາມຈິງທີ່ວ່າມັນ, ໃນ span ທັງຫມົດຂອງການພັດທະນາ, ນໍາໃຊ້ແນວພັນຂອງການອອກແບບສັນຍາລັກໄດ້ຮັບການນໍາໃຊ້ກັບຊະນິດຂອງແນວຄວາມຄິດແລະຈຸດປະສົງ. ດັ່ງນັ້ນ, ສິ່ງທີ່ຕ້ອງການພາສາຢ່າງເປັນທາງການ. ພວກເຂົາເຈົ້າຢ່າງຫຼວງຫຼາຍສາມາດຫຼຸດຜ່ອນການຂໍ້ມູນ. ກ່ອນຫນ້ານີ້, ຄຽງຄູ່ກັບການພາສາເປັນທາງການແລະທໍາມະຊາດໄດ້ຮັບການນໍາໃຊ້, ແຕ່ມີພາວະແຊກຊ້ອນຄ່ອຍເປັນຄ່ອຍໄປຂອງວິຊາດັ່ງກ່າວແລະຄວາມຕ້ອງການເພື່ອເຮັດໃຫ້ເປັນການວິເຄາະຢ່າງມີເຫດຜົນທີ່ເຂັ້ມງວດຂອງສົມເຫດສົມຜົນທາງຄະນິດສາດ, ມັນໄດ້ຕັດສິນໃຈທີ່ຈະຖິ້ມຜ່ານມາ. ຂະບວນການນີ້ປານຈາກ XVII ໃນການສະຕະວັດທີ XX. ມັນແມ່ນສະຕະວັດທີ່ຜ່ານມາພິຈາລະນາຫມາກໄມ້ຫຼາຍທີ່ສຸດໃນຂໍ້ກໍານົດຂອງພາສາຢ່າງເປັນທາງການ. ສາຂາພິເສດຕ່າງໆໄດ້ຖືກສ້າງຕັ້ງຂື້ນ. ດັ່ງນັ້ນ, ສໍາລັບການວິທະຍາສາດຄອມພິວເຕີມີຂອງໂດຍສະເພາະພາສາການຂຽນໂປຣແກຣມສໍາຄັນແລະພຶດຊະຄະນິດຂອງຕາມເຫດຜົນ, ບໍ່ພຽງແຕ່ທາງທິດສະດີ, ແຕ່ຍັງຈາກຈຸດປະຕິບັດຂອງການເບິ່ງ.

ຄໍານິຍາມ

ສິ່ງທີ່ພາສາຢ່າງເປັນທາງການສາມາດໄດ້ຮັບການສະ, ພວກເຮົາມີແລ້ວໄລຍະສັ້ນໆ, ອະທິບາຍ. ແຕ່ສິ່ງທີ່ພວກເຮົາສາມາດເວົ້າວ່າກ່ຽວກັບພວກເຂົາ? ພາສາຢ່າງເປັນທາງການຈະໄດ້ຮັບຢ່າງຫຼາຍຂອງການຄໍານິຍາມທີ່ແຕກຕ່າງກັນໄດ້. ເພື່ອບອກໃຫ້ເຂົາເຈົ້າທັງຫມົດ, ມັນຈະອອກຈາກຫຼາຍຂອງທີ່ໃຊ້ເວລາເປັນ, ສະນັ້ນໃຊ້ເວລາເບິ່ງໃນທີ່ສຸດເປັນ:

1. ບັນຊີລາຍຊື່ທີ່ງ່າຍດາຍຂອງຄໍາສັບຕ່າງໆໃນພາສາ - ປົກກະຕິແລ້ວເວົ້າວ່າສະນັ້ນດ້ວຍຄວາມເຄົາລົບກັບປະເພດສຸດທ້າຍຂອງການກໍ່ສ້າງແລະກ່ຽວກັບການບໍ່ທີ່ມີໂຄງປະກອບການງ່າຍດາຍ.
2. ຄໍາສັບຕ່າງໆທີ່ສ້າງຂຶ້ນໂດຍມີຫຼັກໄວຍາກອນຢ່າງເປັນທາງການສະເພາະໃດຫນຶ່ງ.
3. ໂຄງສ້າງທີ່ສ້າງຂຶ້ນໂດຍການສະແດງອອກເປັນປົກກະຕິ.
4. ຄໍາສັບຕ່າງໆທີ່ສ້າງຂຶ້ນໂດຍການ BPF ການອອກແບບ.
5. ໂຄງປະກອບການ, recognizable ໂດຍອັດຕະໂນມັດ finite.

ໃຫ້ເບິ່ງຢູ່ໃນຕົວຢ່າງ. ໃຫ້ຂອງເວົ້າວ່າພວກເຮົາມີຫນັງສືທັງຫມົດ, ໃຫ້ທັງສອງຈໍານວນ 1 ແລະ 0 ເພື່ອສະແດງຕົວອັກສອນ "O", ພວກເຮົານໍາໃຊ້ປະສົມປະສານຂອງ 1010001. ນີ້ແມ່ນການນໍາໃຊ້ພາສາຢ່າງເປັນທາງການ. ມັນກໍເປັນໄປໄດ້ທີ່ຈະນໍາໃຊ້ຄໍາສັບຕ່າງໆເປົ່າ (ໃນເວລາທີ່ສາຍອັກຂະລະມີສູນຄວາມຍາວ, ແລະບໍ່ມີຫຍັງ) ທີ່ມີການອອກແບບພິເສດໃນຮູບແບບທີ່ຄຸ້ນເຄີຍກັບພວກເຮົາ. ແຕ່ໃນລາຍລະອຽດເພີ່ມເຕີມທີ່ຈະເຂົ້າໃຈສິ່ງທີ່ເປັນພາສາຢ່າງເປັນທາງການ, ການຊ່ວຍເຫຼືອ 4 ຕົວຢ່າງທີ່ຈະໄດ້ຮັບການໃຫ້ຕໍ່ໄປ. ມັນຈະເປັນແນວໃດເຮັດແນວໃດ? ເພື່ອໃຫ້ເຂົ້າໃຈຜູ້ອ່ານຂອງແມ່ນວ່າມີພາສາຢ່າງເປັນທາງການສາມາດໄດ້ຮັບການສະ. ແຕ່ເປັນພຽງເລັກນ້ອຍເພີ່ມເຕີມກ່ຽວກັບວິທີເຂົາເຈົ້າໄດ້ຖືກສ້າງຕັ້ງຂື້ນ.

ການກໍ່ສ້າງຂອງພາສາຢ່າງເປັນທາງການ

ແຕ່ລະພາສາເປັນໂຄງສ້າງຢ່າງເປັນທາງການໄດ້ສ້າງຕັ້ງຂື້ນທັນທີແລະຄົນ. ພວກເຂົາເຈົ້າປົກກະຕິແລ້ວສາມາດສ້າງສຸດຮູບແບບດຽວກັນ:

1. ເພື່ອເລີ່ມຕົ້ນການ, ເລືອກເອົາຕົວອັກສອນ, ຫຼືທີ່ກໍານົດໄວ້ບາງສ່ວນຂອງຕົວອັກສອນສະເພາະໃດຫນຶ່ງທີ່ຈະໄດ້ຮັບການສ້າງຂຶ້ນແລະການສະແດງອອກຖືກນໍາໃຊ້ໃນພາສາ. ໂດຍພາສາຢ່າງເປັນທາງການແມ່ນວິທີການດໍາເນີນໂຄງການການນໍາໃຊ້ຄອມພິວເຕີເປັນຢ່າງໃດ.
2. ມັນອະທິບາຍໄວຢາກອນ, ທີ່ເປັນ, ລັກສະນະແລະລະບຽບການທີ່ຈະສ້າງປະໂຫຍກທີ່ມີຄວາມຫມາຍ.
3. ກ່ຽວກັບກົດລະບຽບສະເພາະໃດຫນຶ່ງສໍາລັບຄໍາສັບຕ່າງໆແລະການສະແດງອອກ. ຕໍ່ໄປນີ້ແມ່ນກົດລະບຽບເປັນ: ລໍາດັບຂອງຕົວອັກສອນໃດໆຈະຕ້ອງສາມາດທີ່ຈະນັບຄໍາສັບຕ່າງໆ.

ໂດຍພາສາຢ່າງເປັນທາງການຫມາຍເຖິງໂຄງສ້າງທີ່ມີກົດລະບຽບຈະແຈ້ງ - ມັນຄວນຈະຈົດຈໍາ. ໃນເວລາທີ່ການກໍ່ສ້າງ, ມີຄຸນສົມບັດຈໍານວນຫນຶ່ງ. ດັ່ງນັ້ນ, ຄໍາວ່າ "ມີລັກສະນະ" ແມ່ນຫຼາຍຫຼາຍທີ່ເປັນປະໂຫຍດໃນຂໍ້ກໍານົດຂອງຄວາມຫມາຍ, ສະນັ້ນສໍາລັບພາກສ່ວນທີ່ສຸດທີ່ໃຊ້ຄໍາວ່າເປັນ "ຈົດຫມາຍສະບັບ". ແຕ່ underneath ໃຫ້ເຂົາເຈົ້າສາມາດເຂົ້າໃຈບໍ່ພຽງແຕ່ໄດ້ notation ປົກກະຕິສໍາລັບພວກເຮົາ, ແຕ່ຍັງວົງເລັບ, ອັກສອນພິເສດແລະອື່ນໆອີກ. ນີ້ນໍາໃຊ້ພຽງແຕ່ພາສາຢ່າງເປັນທາງການ.

ຕົວຢ່າງ 1

ໃຫ້ຂອງເລີ່ມຈາກ 1 ແລະ 0 ໃນກໍລະນີດັ່ງກ່າວ, ການນໍາໃຊ້ແນວຄວາມຄິດຂອງ "ໄລຍະ" ແລະໄດ້ເພີ່ມເຕີມ "ສູດ." ທໍາອິດເຮັດຫນ້າທີ່ເປັນອະນາລັອກຂອງວັດຖຸແລະຊື່ທີ່ໃຊ້ໃນການອ້າງເຖິງບາງສິ່ງບາງຢ່າງສະເພາະໃດຫນຶ່ງໄດ້. ຫນ້າທໍາອິດຂອງທຸກຄົນເຂົ້າໃຈຄົງແລະການປ່ຽນແປງສ່ວນບຸກຄົນພາຍໃຕ້ການໃຫ້ເຂົາເຈົ້າ. ຂອງເຫຼົ່ານີ້, ແລະເຮັດໃຫ້ການກໍ່ສ້າງໂຄງສ້າງສະລັບສັບຊ້ອນຫຼາຍຂຶ້ນ, ເຊິ່ງໄດ້ຖືກນໍາໃຊ້ທີ່ໃຊ້ໃນການທໍາງານຂອງພາສາຈໍານວນຫນຶ່ງ. ພາຍໃຕ້ຂໍ້ກໍານົດຂອງກຸ່ມດັ່ງກ່າວເຂົ້າໃຈສູດ, ການນໍາໃຊ້ທີ່ເປັນພາສາການຂຽນໂປຣແກຣມສະເພາະໃດຫນຶ່ງເປັນໄປໄດ້. ນີ້ "ການສິດສອນ" ຈະໄດ້ຮັບການປະມວນຜົນ, ແລະບຸກຄົນທີ່ຈະໄດ້ຮັບຜົນໄດ້ຮັບທີ່ຕ້ອງການ.

ຕົວຢ່າງ 2

ພິຈາລະນາຕາມເຫດຜົນຕົວຢ່າງທີ່ມີເປັນການຮັກຮ່ວມເພດ (¬), disjunction (∧), ຮ່ວມໄດ້ (∨) ແລະສົ່ງຜົນສະທ້ອນ (⇒) ແລະອີກຫຼາຍໆຄົນ. ໃນການບັນທຶກດັ່ງກ່າວຂອງຮູບພາບຕ່າງໆທີ່ສາມາດໄດ້ຮັບການໃຫ້ເປັນ:

1. A;
2. A∧V⇒ໃຊ້ '
3. ¬ (A∨¬S)

ໃນຖານະເປັນຕົວອັກສອນ A, B, C, ປ່ຽນແທນການປ່ຽນແປງແລະທ່ານໄດ້ຮັບ ການປະຕິບັດງານຢ່າງມີເຫດຜົນ. ບ່ອນທີ່ຈະສະຫມັກຂໍເອົາພາສາຢ່າງເປັນທາງການຂອງປະເພດນີ້? ການນໍາໃຊ້ຢ່າງແຜ່ຫຼາຍຂອງກົນໄກດັ່ງກ່າວແມ່ນພົບເຫັນຢູ່ໃນພາສາການຂຽນໂປຣແກຣມ, ຄະນິດສາດ, ສາຍພົວພັນ, ປະຕິບັດຫນ້າຢ່າງມີເຫດຜົນແລະທາງຄະນິດສາດ, ຫຼືພາກສ່ວນທີ່ໄດ້ຮັບການອະທິບາຍໂດຍ programmer ໄດ້.

ຕົວຢ່າງ 3

ໃຫ້ເບິ່ງຢູ່ໃນສະລັບສັບຊ້ອນຫຼາຍສູດຢ່າງມີເຫດຜົນ:

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

ດັ່ງນັ້ນ, ວ່າເປັນຫຍັງພວກເຮົາຈໍາເປັນຕ້ອງໄດ້ພາສາຢ່າງເປັນທາງການ. ຈິນຕະນາການສິ່ງທີ່ຈະເກີດຂຶ້ນຖ້າຫາກວ່າມັນໄດ້ຖືກອະທິບາຍໃນຄໍາສັບຕ່າງໆ? ໃນປັດຈຸບັນ, ອີງໃສ່ຫຼັກເກນພວກເຮົາອະນຸມານສະຫຼຸບ. ການສະແດງອອກມີຄວາມຫມາຍສາມາດໄດ້ຮັບໃນພາສາຢ່າງເປັນທາງການເທົ່ານັ້ນໃນເວລາທີ່ກົດລະບຽບສະເພາະໃດຫນຶ່ງແມ່ນການນັບຖືທາງສ່ວນຫນ້າຂອງການສ້າງຕັ້ງ, ການປ່ຽນແປງແລະ "ຄວາມເຂົ້າໃຈ" ຂອງສູດແລະຂໍ້ກໍານົດຂອງເຂົາເຈົ້າໄດ້ຖືກເຮັດ:

1. ສູດໄລຍະການກໍ່ສ້າງແລະ;
2. ສຶກສາກ່ຽວກັບລັກສະນະຂອງຄໍາແລະການຕີລາຄາ;
3. ລໍາດັບຂອງຫນຶ່ງໃນສູດແລະໃນໄລຍະອື່ນໆ.

ແຕ່ລະພາສາທາງການຄວນໄດ້ຮັບການສ້າງຕັ້ງຂຶ້ນໄດ້ດີກໍານົດຂອງກົດລະບຽບ.

ຕົວຢ່າງ 4

ເນື່ອງຈາກທີ່ປະທັບຢູ່ໃນກົດລະບຽບຂອງຜົນຜະລິດໄວຢາກອນພາສາສໍາລັບຂໍ້ກໍານົດແລະສູດໄດ້ສາມາດເຮັດໄດ້ແບບຫັນ isomorphic. ດັ່ງນັ້ນມັນຈະໄດ້ຮັບການປະຕິບັດບໍ່ພຽງແຕ່ສະທ້ອນ (ເປັນຕົວແທນຂອງ) ເປັນຮ່າງກາຍສະເພາະໃດຫນຶ່ງຂອງຄວາມຮູ້ທີ່ມີຢູ່ແລ້ວ, ແຕ່ອາດຈະໄດ້ຮັບຂໍ້ມູນຂ່າວສານໃຫມ່. ນອກຈາກນີ້, ການຫັນເປັນ, ເຖິງແມ່ນວ່າ, ແລະຈະໃຊ້ເວລາສະຖານທີ່ຕາມກົດລະບຽບທີ່ຊັດເຈນແລະເຂັ້ມງວດ, ມັນສາມາດອັດຕະໂນມັດ. ເຕັກນິກທີ່ຄ້າຍຄືກັນໄດ້ຖືກນໍາໃຊ້ໃນ ລະບົບຜູ້ຊ່ຽວຊານ, ຖານຄວາມຮູ້, ແລະຜະລິດຕະພັນສະຫນັບສະຫນຸນການຕັດສິນໃຈຊອບແວ.

ສະຫຼຸບ

ພາສາຢ່າງເປັນທາງການໄດ້ຖືກນໍາໃຊ້ຢ່າງກວ້າງຂວາງໃນວິທະຍາສາດ, ໂດຍສະເພາະໃນສິນລະປະການ. ໃນລະຫວ່າງການຄົ້ນຄ້ວາ, ຫຼືໃນການປະຕິບັດກິດຈະກໍາປະຕິບັດໄດ້ພວກເຂົາເຈົ້າສາມາດໂຕ້ຕອບກັບທໍາມະຊາດ້ໍາຂອງທີ່ສໍາຄັນຄວາມສາມາດການສະແດງອອກຂອງກໍ. ທັນພາສາຢ່າງເປັນທາງການຫຼາຍຢ່າງຊັດເຈນສາມາດບົ່ງບອກຄວາມຮູ້ແລະການປະຕິບັດການແລກປ່ຽນວັດຖຸປະສົງຂອງຂໍ້ມູນຂ່າວສານສະສົມໂດຍມະນຸດຊາດ.