GoGPT Best VPN GoSearch

OnWorks favicon

lbt2dot - ອອນລາຍໃນຄລາວ

ແລ່ນ lbt2dot ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີຜ່ານ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator

ນີ້ແມ່ນຄໍາສັ່ງ lbt2dot ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator

ໂຄງການ:

NAME


lbt - LTL ກັບ Büchi Translator

ສະຫຼຸບສັງລວມ


lbt < formula.txt > automaton.txt
lbt2dot < automaton.txt > automaton.dot

ລາຍລະອຽດ


ຫນ້າຄູ່ມືນີ້ເອກະສານສັ້ນໆກ່ຽວກັບ lbt ແລະ lbt2dot ຄໍາສັ່ງ. ຫນ້າຄູ່ມືນີ້ແມ່ນ
ຂຽນສໍາລັບການແຈກຢາຍ Debian GNU/Linux ເພາະວ່າໂຄງການຕົ້ນສະບັບບໍ່ມີ
ຫນ້າຄູ່ມື. ແທນທີ່ຈະ, ມັນມີເອກະສານໃນຮູບແບບ HTML; ເບິ່ງຂ້າງລຸ່ມນີ້.

lbt ແມ່ນຕົວກອງທີ່ແປສູດຄຳນວນຕາມເຫດຜົນທາງເສັ້ນເສັ້ນຊື່ (LTL) ເປັນທີ່ສອດຄ້ອງກັນ
Büchi automaton ທົ່ວໄປ. ການແປແມ່ນອີງໃສ່ສູດການຄິດໄລ່ໂດຍ Gerth, Peled
ແລະ Vardi ນໍາສະເໜີຢູ່ PSTV'95, ງ່າຍດາຍ ສຸດບິນ ອັດຕະໂນມັດ ການຢັ້ງຢືນ of ເສັ້ນຊື່
ໂລກ ຕາມເຫດຜົນ. ເກືອບທຸກການເພີ່ມປະສິດທິພາບໄດ້ຖືກປະຕິບັດ, ແລະອັດຕະໂນມັດທີ່ຜະລິດແມ່ນ
ມັກຈະໃຫຍ່ກວ່າຄວາມຈໍາເປັນ. ແຕ່ໃນທາງກົງກັນຂ້າມ, ມັນຄວນຈະຖືກຕ້ອງສະ ເໝີ ໄປ.
ຕົວກອງ lbt2dot ສາມາດໃຊ້ເພື່ອແປ Büchi automata ຈາກ lbt ຮູບແບບຜົນຜະລິດເປັນ
ຮູບແບບ GraphViz ສໍາລັບການເບິ່ງເຫັນ.

EXAMPLE


echo G p0 | lbt | lbt2dot | ບໍ່ກ້າ -

ໃຊ້ lbt2dot ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net


ເຊີບເວີ ແລະສະຖານີເຮັດວຽກຟຣີ

ດາວໂຫຼດແອັບ Windows ແລະ Linux

Linux ຄຳ ສັ່ງ

Ad




×
ການ​ໂຄ​ສະ​ນາ
?ຊື້ເຄື່ອງ, ຈອງ, ຫຼືຊື້ທີ່ນີ້ — ບໍ່ມີຄ່າໃຊ້ຈ່າຍ, ຊ່ວຍໃຫ້ການບໍລິການຟຣີ.