מונה תרגם נוסחאות לאוטומטה סופית-מדינה
הורד עכשיו

מונה דירוג וסיכום

מונה תגים

נוּסחָה לתרגם אוֹטוֹמָט לתרגם נוסחה פורמולה מתרגם נוסחה לאוטומטה

מונה תיאור

מתרגמת נוסחאות לאוטומטיות סופיות MONA הוא קוד פתוח כלי חינם אשר יאפשר לך לתרגם נוסחאות לאוטומטה סופית המדינה. נוסחאות עשויות לבטא דפוסי חיפוש, תכונות זמניות של מערכות תגובתי, אילוצים עץ לנתח, וכו 'מונה מנתח את האוטומטון הנובע מן האוסף והדפסים החוצה "תקף" או לדוגמה נגד דוגמה. של יורש אחד או שניים (WS1S / WS2S). התיאוריה של יורשו אחד, המכונה WS1S, היא שבר של אריתמטי augmented עם כימות הסדר השני על קבוצות סופיות של מספרים טבעיים. תנאי הסדר הראשון שלה מציינים רק מספרים טבעיים. לתיאוריה אין תוספת, שכן זה יעשה את זה לא ברור, אבל יש לו פעולה Unary +1, המכונה פונקציית יורשו. WS2S הוא הכללה לבניית עץ. מאז התיאוריות הן לוגיקה מונדיס השני, אנחנו קוראים הכלי שלנו מונה. מה חדש במהדורה זו: · באג קבוע באוטומטון בסיסי עבור x = y + 1% z

מונה תוכנה קשורה