এটি হল lbt কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
lbt - LTL থেকে বুচি অনুবাদক
সাইনোপিসিস
এলবিটি < formula.txt > automaton.txt
lbt2dot < automaton.txt > automaton.dot
বর্ণনাঃ
এই ম্যানুয়াল পৃষ্ঠা সংক্ষিপ্তভাবে নথি এলবিটি এবং lbt2dot আদেশ এই ম্যানুয়াল পেজ ছিল
ডেবিয়ান জিএনইউ/লিনাক্স ডিস্ট্রিবিউশনের জন্য লিখিত কারণ মূল প্রোগ্রামটিতে একটি নেই
ম্যানুয়াল পৃষ্ঠা। পরিবর্তে, এটি HTML বিন্যাসে ডকুমেন্টেশন আছে; নিচে দেখ.
এলবিটি একটি ফিল্টার যা একটি লিনিয়ার টেম্পোরাল লজিক (LTL) সূত্রকে অনুরূপভাবে অনুবাদ করে
সাধারণীকৃত বুচি অটোমেটন। অনুবাদটি গার্থ, পেলেডের অ্যালগরিদমের উপর ভিত্তি করে
এবং ভার্ডি PSTV'95 এ উপস্থাপিত, সহজ অন-ফ্লাই স্বয়ংক্রিয় প্রতিপাদন of রৈখিক
সময়গত যুক্তিবিদ্যা. কমই কোনো অপ্টিমাইজেশান বাস্তবায়িত হয়, এবং উত্পন্ন স্বয়ংক্রিয় হয়
প্রায়ই প্রয়োজনের চেয়ে বড়। কিন্তু অন্যদিকে, এটি সর্বদা সঠিক হওয়া উচিত।
ফিল্টার lbt2dot থেকে Büchi automata অনুবাদ করতে ব্যবহার করা যেতে পারে এলবিটি থেকে আউটপুট বিন্যাস
ভিজ্যুয়ালাইজেশনের জন্য গ্রাফভিজ ফরম্যাট।
EXAMPLE টি
প্রতিধ্বনি G p0 | এলবিটি | lbt2dot | নোংরা -
onworks.net পরিষেবা ব্যবহার করে অনলাইনে এলবিটি ব্যবহার করুন