lbt2dot - ক্লাউডে অনলাইন

কার্যক্রম:

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 পরিষেবা ব্যবহার করে অনলাইনে lbt2dot ব্যবহার করুন