ສະ​ມາ​ຊິກ : ເຂົ້າ​ສູ່​ລະ​ບົບ |ຫມັກ​ສະ​ມາ​ຊິກ |ຄວາມ​ຮູ້ Upload
ຄົ້ນ​ຫາ​ສໍາ​ລັບ
ຄໍາທີ່ຊ້ອນກັນ [ປັບ​ປຸງ​ແກ້​ໄຂ ]
ໃນວິທະຍາສາດຄອມພິວເຕີ, ຫຼາຍໂດຍສະເພາະໃນອັດຕະໂນມັດແລະທິດສະດີພາສາທີ່ເປັນທາງການ, ຄໍາເວົ້າທີ່ຖືກຕ້ອງແມ່ນແນວຄວາມຄິດທີ່ສະເຫນີໂດຍ Alur ແລະ Madhusudan ເປັນຄໍາທົ່ວໄປຮ່ວມກັນຂອງຄໍາສັບຕ່າງໆ, ເປັນແບບປະເພນີສໍາລັບການສ້າງແບບຈໍາລອງໂຄງສ້າງຕາມລໍາດັບແລະຕົ້ນໄມ້ທີ່ບໍ່ໄດ້ຖືກສັ່ງໃຫ້ເປັນແບບເດີມ ໂຄງສ້າງຊັ້ນສູງ. ຜູ້ຍອມຮັບລັດຖະບານສໍາລັບຄໍາສັບຕ່າງໆ, ເຊິ່ງເອີ້ນວ່າ automata ຄໍາທີ່ຊ້ອນກັນ, ຫຼັງຈາກນັ້ນໃຫ້ການສະຫຼຸບໂດຍທົ່ວໄປຂອງ automata ຈໍາກັດໃນຄໍາສັບຕ່າງໆ. ການເຂົ້າລະຫັດແບບເລິ່ມຂອງພາສາທີ່ໄດ້ຮັບການຍອມຮັບໂດຍອັດຕະໂນມັດຄໍາສັບອັດຕະໂນມັດໃຫ້ພາສາຂອງພາສາ pushdown ຢ່າງຊັດເຈນ. ຊັ້ນຮຽນພາສາທີສອງຢູ່ໃນລະດັບທີ່ເຫມາະສົມລະຫວ່າງພາສາປົກກະຕິແລະພາສາທີ່ບໍ່ມີເງື່ອນໄຂທີ່ຖືກກໍານົດ. ນັບຕັ້ງແຕ່ການນໍາສະເຫນີຂອງພວກເຂົາໃນປີ 2004, ແນວຄວາມຄິດເຫຼົ່ານີ້ໄດ້ກະຕຸ້ນການຄົ້ນຄ້ວາຫຼາຍໃນເຂດນັ້ນ.
[ວິ​ທະ​ຍາ​ສາດ​ຄອມ​ພິວ​ເຕີ][ທິດສະດີ automata][ເຄື່ອງອັດຕະໂນມັດທີ່ບໍ່ຈໍາກັດ][ພາສາທີ່ບໍ່ມີເງື່ອນໄຂການກວດສອບ]
1.ຄໍານິຍາມແບບຟອມ
2.ການເຂົ້າລະຫັດຄໍາສັບພາຍໃນເຂົ້າໄປໃນຄໍາສັບຕ່າງໆທົ່ວໄປ
2.1.ຕົວຢ່າງ
3.Automata
3.1.ເຄື່ອງອັດຕະໂນມັດຮວມກັນ
3.2.ອັດຕະໂນມັດ pushdown ອັດຕະໂນມັດ
3.3.Nondeterministic visually pushdown automata
4.ບັນຫາການຕັດສິນໃຈ
5.ພາສາ
5.1.ຄຸນສົມບັດປິດ
5.2.ການພົວພັນກັບຊັ້ນຮຽນພາສາອື່ນໆ
6.ແບບຂອງລາຍລະອຽດອື່ນໆ
6.1.grammars ເບິ່ງການສະກົດຈິດເບິ່ງເຫັນ
6.2.Uniform Boolean circuits
6.3.ຄໍາອະທິບາຍຕາມເຫດຜົນ
[ອັບ​ໂຫຼດ ເພີ່ມ​ເຕີມ ເນື້ອ​ໃນ ]


ລິ​ຂະ​ສິດ @2018 Lxjkh