מה חדש

ל-DFA, NFA ו-PDA יש כעת לשונית מעברים לצד עורך התצורה: הקלידו את פונקציית המעברים ישירות (למשל q0, a -> q1), עם בדיקת תקינות לכל שורה והדיאגרמה מתעדכנת בזמן אמת. מצבים חדשים נוצרים אוטומטית, ומצבים שאינם בשימוש מוסרים.

ייצאו דיאגרמה כ-LaTeX — ההגדרה הפורמלית יחד עם ציור tikz-automata — העתיקו אותה או הורידו קובץ ‎.tex. אפשר גם להציג את פונקציית המעברים כמשוואות δ פורמליות במקום טבלה, ולבחור את הסמל עבור ε כשאינו במקלדת.

הוספת מעברים מודרכת עכשיו: ב־NFA/DFA רשימת מצבי היעד מצטמצמת למצבים שעדיין פנויים עבור הסמל שנבחר, וסמל שכל יעדיו כבר מחוברים נעלם לגמרי. אפשר גם לנעול קשת או לולאה עצמית במקומה מתפריט ה־⋯ שלה — או לשחרר אותה כדי להחזיר את הפריסה לניתוב אוטומטי.

כעת אפשר להוסיף ולהסיר מעברים של מכונת טיורינג ישירות על הדיאגרמה — באמצעות אותם כפתורי +/⋯ כמו בשאר האוטומטים — במקום רק דרך עריכת תצורת ה־YAML.

כל מעבר של PDA מוציא כעת את ראש המחסנית (או ε) ודוחף סמל מחסנית יחיד (או ε) — ההגדרה מספרי הלימוד, ללא קיצור דרך של דחיפת מחרוזת (כדי לדחוף יותר, שרשרו מעברים דרך מצבים נוספים). הוסיפו מעברים מהדיאגרמה עם תפריטים נפתחים, והתצורה דוחה כל סמל שאינו באלפבית הקלט או המחסנית.

הוסיפו מעברים באמצעות ה־+ שעל מצב, או הסירו אותם מתפריט ה־⋯ שעל קשת — ישירות על דיאגרמות DFA, NFA, PDA ומכונת טיורינג. כל שינוי נכתב מיד בחזרה לתצורה.

ייצאו כל אוטומט כקובץ PDF: את הדיאגרמה, הגדרה פורמלית (השלישייה שלו עם טבלת מעברים), או שניהם.

מציגי האלגוריתמים מותאמים כעת למסכים קטנים — פאנל המידע מוצג מעל הדיאגרמה ובקרות ההפעלה מסתדרות מחדש כדי להתאים.

בעבר מערכת הדגשת הקשתות הייתה שבורה והדגישה את כל הקשתות המחוברות למצב הפעיל במקום את הקשת שנבחרה.

חקרו את ההיררכיה של קריטריוני הכיסוי וראו מתי קיום אחד מבטיח את השני. בחרו קריטריון כדי לעקוב אחר מה שהוא מבטיח ומה שמבטיח אותו.

בנו גרפי זרימת בקרה מקוד JavaScript או Java וקראו את הסיבוכיות הציקלומטית, לכל פונקציה ולמודול כולו.

כל האתר זמין כעת בעברית, עם פריסה מלאה מימין לשמאל. ניתן להחליף שפה מהתפריט.

שתי האפשרויות נעדרו מתפריט המובייל וכעת הן נמצאות באזור ההעדפות שלו. בנוסף, תפריט הניווט נפתח מהצד הנכון בעברית.

אזור חדש העוסק בבדיקות קומבינטוריות — AETG, IPO ומערכים אורתוגונליים — עם מודלי פרמטרים הניתנים לעריכה.

האלגוריתמים עברו תחת /algorithms, וכל קישור ישן מפנה כעת לכתובת החדשה.

מעבר בין שלבים בדיאגרמה מותאמת אישית איפס את רמת הזום. כעת היא נשארת כפי שהגדרתם.

המירו DFA לביטוי רגולרי שקול, צעד אחר צעד של סילוק מצבים.

חישוביות וסיבוכיות, כולל רדוקציות מפורטות בין בעיות קלאסיות.

בנו והריצו אוטומטי מחסנית, וצפו במחסנית משתנה תוך כדי קריאת הקלט.

המירו דקדוק חסר הקשר לצורה נורמלית של חומסקי, צעד טרנספורמציה אחד בכל פעם.

תשובות לשאלות נפוצות על ההדמיות ועל אופן השימוש בהן.

בנו דקדוקים חסרי הקשר וגזרו מחרוזות צעד אחר צעד, עם עץ הגזירה שנבנה תוך כדי.

בנו אוטומטים סופיים, הריצו קלט סימן אחר סימן וצפו במצבים הפעילים נדלקים.

ערכות נושא בהירה וכהה בכל האתר, נשמרות בין ביקורים.

עמוד המפרט אילו נתונים האתר אוסף ולשם מה.

הגדירו מכונה ב-YAML ועברו בין שלבי הריצה, במעקב אחר הראש שקורא וכותב על הסרט.

ניתן כעת לגרור את פאנל הצד בכל הדמיה לרוחב שמתאים למסך שלכם.

מגדלי הנוי, זוג הנקודות הקרוב ביותר, תת-מערך מקסימלי, וחציון של שתי רשימות ממוינות.

תרמיל הגב, תת-סדרה משותפת ארוכה ביותר, ותת-מערך מקסימלי, עם הטבלה שמתמלאת תא אחר תא.

חיפוש בינארי, חיפוש לינארי, וחציון של שני מערכים ממוינים.

מיון בועות, הכנסה, דליים, מיזוג ומהיר, מונפשים כתרשימי עמודות עם כל השוואה והחלפה.

למה נועד האתר ומי בונה אותו.

BFS, DFS, דייקסטרה, בלמן-פורד ופורד-פלקרסון, על גרפים שניתן לערוך ולסדר מחדש.

הגרסה הראשונה של האתר, עם קנבס הגרפים האינטראקטיבי שעליו בנויות ההדמיות.