রৈখিক-সময় নির্দিষ্ট পয়েন্ট সূত্রগুলির গঠনমূলক সমতুল্যতা (যুক্তিকে কিছু লোকের দ্বারা টিএল বলা হয়) এবং বুয়েচি অটোমেটা 1992 থেকে ম্যাডস ড্যামের একটি গবেষণাপত্রে দেওয়া হয়েছিল।ν
বুচি অটোমাতা , এফএসটি এবং টিসিএস 1992 এর নির্দিষ্ট পয়েন্টস ।
বুয়েচি অটোমেটনের একটি টিএল সূত্র তৈরির জন্য পৃষ্ঠা 4 দেখুন । একটি থেকে একটি Buechi যন্ত্রমানব নির্মাণের ν টি এল সূত্র আরো জটিল ও কাগজের বাকি নেয়।νν
এই উত্তরটির বাকী অংশটি একটি সংক্ষিপ্ত যুক্তি যে এই ফলটি সাহিত্যে খুব কম প্রত্যক্ষ আকারে বিদ্যমান ছিল। পিয়ের ওল্পার দেখিয়েছেন যে ওমেগা-নিয়মিত বৈশিষ্ট্যগুলি ছিল যা এলটিএল-নির্ধারণযোগ্য নয় এবং এলটিএল (ইটিএল নামে পরিচিত) এর এক্সটেনশন দিয়েছিল যা ওমেগা-নিয়মিত বৈশিষ্ট্য প্রকাশ করতে পারে।
টেম্পোরাল লজিক আরও অভিব্যক্তিপূর্ণ হতে পারে , পিয়ের ওলপার, তথ্য ও গণনা, 1983।
এটি আরও জানা যায় যে কেউ ইটিএল সূত্রগুলিকে টিএল সূত্রে অনুবাদ করতে পারে, সুতরাং এই ফলাফলগুলির সংমিশ্রণের মাধ্যমে আপনি বুয়েচি অটোমেটার অনুবাদটি ν টিএল- তে পড়তে পারবেন । অন্য দিকে, এটি বুয়েচির কাজ থেকে জানা যায় যে এস 1 এস (এক উত্তরসূরীর দ্বিতীয় ক্রম তত্ত্ব) সূত্রগুলি বুয়েচি অটোমাতার মধ্যে সংকলন করা যায় এবং ν টিএল সূত্রগুলি এস 1 এস-তে অনুবাদ করে, আমরা বুয়েচি অটোমেটাতে ν টিএল এর অনুবাদ পাই। আপনি যদি এই বিষয়গুলির আরও গভীরতার সাথে পরিচিতি চান তবে আমি ম্যাডস ড্যামের বক্তৃতা নোটগুলি, বা রূপ কাইভোলার কাজটি (দুঃখজনকভাবে এতটা সম্পর্কিত কাজ হিসাবে ব্যাপকভাবে পরিচিত না) প্রস্তাব দিই।νννν
টেম্পোরাল লজিকস, অটোমাতা এবং ক্লাসিকাল তত্ত্ব - একটি ভূমিকা , ম্যাডস ড্যাম, ইএসএসএলআই 1994।
ফিক্সড পয়েন্ট টেম্পোরাল লজিকস, রুপ কাইভোলা বৈশিষ্ট্যযুক্ত করতে অটোমাতা ব্যবহার