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