مونا يترجم الصيغ إلى أوتوماتا محددة
التحميل الان

مونا الترتيب والملخص

مونا العلامات

معادلة ترجمة Automata. ترجمة الصيغة المترجم الفورمولا صيغة إلى Automata.

مونا وصف

يترجم الصيغ إلى السيارات المحدودة Mona هي أداة مفتوحة ومجموعة مجانية تسمح لك بترجمة الصيغ إلى Automata المحدود. قد تعبر الصيغ أن أنماط البحث، والخصائص الزمنية للأنظمة التفاعلية، أو تقييد الأشجار تحليل، إلخ. يحلل منى Automaton الناتجة عن الترجمة ويطبع "صالح" أو مثال على سبيل المثال. من واحد أو اثنين من الخلفاء (WS1S / WS2S). إن نظرية أحد الخلف، المعروف باسم WS1، هي جزء من الحساب المعزز مع كمية الترتيب الثاني من مجموعات محدودة من الأرقام الطبيعية. تشير شروط الطلب الأول إلى الأرقام الطبيعية فقط. ليس له النظرية أي إضافة، نظرا لأن ذلك من شأنه أن يجعله غير قابل للكشف، ولكن لديه عملية غير مجزية +1، والمعروفة باسم وظيفة الخلف. WS2S هو تعميم لهياكل الأشجار. نظرا لأن النظريات هي منطق الترتيب الثاني لعناديك، فإننا نسمي الأداة الخاصة بنا. ما الجديد في هذا الإصدار: علة ثابتة في automaton الأساسية ل x = y + 1 z

مونا برامج ذات صلة