מכונת מצבים תרגול מס' 4 Moshe Malka.

Slides:



Advertisements
Similar presentations
Completeness and Expressiveness. תזכורת למערכת ההוכחה של לוגיקה מסדר ראשון : אקסיומות 1. ) ) (( 2. )) ) (( )) ( ) ((( 3. ))) F( F( ( 4. ) v) ( ) v ((
Advertisements

Object Oriented 33 MCSD DORON AMIR
ממיבחניםC שאלות ++.
תוכנה 1 סמסטר א ' תשע " ב תרגול מס ' 7 * מנשקים, דיאגרמות וביטים * לא בהכרח בסדר הזה.
מבוא למדעי המחשב לתעשייה וניהול
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
1 זכרון 1 2 Q’ Q זכרון Q’ Q = = 1 קלט פלט קלט פלט 0.
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
מערכות זיכרון – Sequential Logic
שאלת חזרה בקר ומסלול נתונים – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
Presentation by Dudu Yanay and Elior Malul 1.  מה משותף לכל אלגוריתם המשתמש ב -Bucket Elimination: ◦ נתון מודל הסתברותי ורשת ביסיאנית מתאימה. ◦ נתונה.
Finite State Machines מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם יהודה אפק, נתן אינטרטור אוניברסיטת תל אביב.
מתמטיקה בדידה תרגול 3.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
משטר דינמי המשך – © Dima Elenbogen :55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
תרגול 5 רקורסיות. רקורסיה קריאה של פונקציה לעצמה –באופן ישיר או באופן עקיף היתרון : תכנות של דברים מסובכים נעשה ברור ונוח יותר, מכיוון שזו למעשה צורת.
תכנות תרגול 4 שבוע : לולאות while לולאות while while (condition) { loop body } במקרה של קיום התנאי מתבצע גוף הלולאה ברגע שהתנאי לא מתקיים נצא.
שערים לוגיים – © Dima Elenbogen Wired AND – © Dima Elenbogen 2009.
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
משטר סטטי שערים לוגיים Wired Drives – © Dima Elenbogen 2009, Moshe Malka :29.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
תירגול השלמה : Pipelined MIPS Single-cycle MIPS Retiming Mealy Criterion 09: © Dima Elenbogen 2010, Technion 1.
משטר דינמי – © Dima Elenbogen :00. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
שערים לוגיים – © Dima Elenbogen Wired AND – © Dima Elenbogen 2009.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
מבוא כללי למדעי המחשב תרגול 3. לולאות while לולאות while while (condition) { loop body } במקרה של קיום התנאי מתבצע גוף הלולאה ברגע שהתנאי לא מתקיים נצא.
מבני בקרה לולאות. שאלה #1 שאלה ב' – תכתוב תוכנה הכותבת את תפריט הבאה Type 1 to find the area of a circle Type 2 to find the circumference of a circle.
הקיבול איננו תלוי במטען ובפוטנציאל
1 תרגול : קודי קו בינאריים בסיסיים. 2 יצירת קוד קו יצירת הלמים לפי קוד קו מסנן בעל תגובה להלם h(t) ביטי כניסה X(t)Y(t) a1 a2 a3 a4 t Ts.
הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)
The Cyclic Multi-peg Tower of Hanoi מעגלי חד-כווני סבוכיות הפתרון בגרסאות עם יותר מ-3 עמודים.
Design and Analysis of Algorithms, Technion EE, Design and Analysis of Algorithms Recitation 10 Turing Machine 2010 Gal Tamir Based on recitations.
אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 11 Statecharts תכונות מתקדמות.
תכנות תרגול 5 שבוע : הגדרת פונקציות return-value-type function-name(parameter1, parameter2, …) הגדרת סוג הערכים שהפונקציה מחזירה שם הפונקציהרשימת.
Remember Remember The 5 th of November. תרגול 2 קובץ סדרתי.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
עקרון ההכלה וההדחה.
יחס סדר חלקי.
– © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT Tutorial #7 Preventing combinatorial loops.
מבוא למדעי המחשב תרגול 3 שעת קבלה : יום שני 11:00-12:00 דוא " ל :
מבוא למדעי המחשב, סמסטר א ', תשע " א תרגול מס ' 1 נושאים  הכרת הקורס  פסאודו - קוד / אלגוריתם 1.
משטר סטטי שערים לוגיים – © Dima Elenbogen 2009, Moshe Malka :59.
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
מבוא מורחב למדעי המחשב בשפת Scheme תרגול 10. אג'נדה שאלות מבחינות חזרה על מימוש stream אפשרי 2.
שאלה 9 – בקר ומסלול - נתונים נתונה המערכת הבאה של בקר ומסלול נתונים. כל הקווים העבים בשרטוט ה DP הם ברוחב n. ה -ADDER מחבר מודולו n 2. COMPARE הוא רכיב.
מתמטיקה בדידה תרגול 2.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
Points on a perimeter (Convex Hull) קורס – מבוא לעבוד מקבילי מבצעים – אריאל פנדלר יאיר ברעם.
11 Introduction to Programming in C - Fall 2010 – Erez Sharvit, Amir Menczel 1 Introduction to Programming in C תרגול
1 Space Complexity Non-Deterministic Space אליעזר מדבד
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site:
. Sequence Alignment Tutorial #3 © Ydo Wexler & Dan Geiger.
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
מבוא למדעי המחשב סיבוכיות.
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
אוגרים ומונים – Registers & Counters
תזכורת מתרגולים אחרונים
Engineering Programming A
Presentation transcript:

מכונת מצבים תרגול מס' 4 Moshe Malka

מכונת מצבים – מודל למערכת למערכת ספרתית Moshe Malka

מכונת מצבים – מודל למערכת למערכת ספרתית Moshe Malka

מכונות מילי ומור מכונת מור – הפלט תלוי רק במצב מכונת מילי – הפלט תלוי במצב ובקלט Moshe Malka

מילי או מור? Moshe Malka

מילי או מור? Moshe Malka

אותה מכונה בגרסת מילי Moshe Malka

בניית מערכת סיפרתית נתון: בעיה מילולית צ"ל: מערכת "בנה מערכת המקבלת קלט סדרתי המייצג מספר x (הביט הראשון בקלט הוא ה MSB) ופולטת y=x\3". צ"ל: מערכת Moshe Malka

שלבי בניית מכונת מצבים תיאור הבעיה בשפת אנוש שרטט מכונת מצבים צמצם את המכונה – בצע מיזוג מצבים (אופציונאלי) Moshe Malka

דוגמא 1 - קידוד ABC בנה מכונת מצבים המקבלת כקלט אותיות מעל הא"ב {A,B,C,D} ופולטת: Z אם שלושת האותיות האחרונות היו ABC. Y אם שתי האותיות האחרונות היו AB. X אחרת. שלב 1 – תיאור הבעיה באופן מילולי Moshe Malka

שלב 2- שרטט מכונת מצבים Moshe Malka

מכונה מצומצמת שתי מכונות שקולות אם עבור כל קלט (סדרה) אפשרי, הן מוציאות את אותו הפלט והן מאותו סוג (מילי או מור). מכונה מצומצמת אם יש לה מספר מינימלי של מצבים מבין כל המכונות השקולות לה. עבור כל מכונה, יש מכונה יחידה שהיא שקולה לה ומצוצמת. Moshe Malka

שלב 3 – צימצום המכונה. Moshe Malka

יישום מכונת מצבים ע"י מערכת ספרתית מכונת מור – הפלט תלוי רק במצב מכונת מילי – הפלט תלוי במצב ובקלט Moshe Malka

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

קודד את המכונה קידוד הקלט: קידוד הפלט: א"ב קלט קידוד A 00 B 01 C 10 D 11 קידוד הפלט: א"ב פלט קידוד X 00 Y 01 Z 10 Moshe Malka

שלב 5– תיאור פונקציית מעברים ופונקציית הפלט כטבלת אמת פונקציית הפלט: פונקציית מעבר בין מצבים: מצב output 00 00 (X) 01 01(Y) 10 10(Z) 11 00(X) מצב נוכחי קלט מצב הבא 00 01 10 11 Moshe Malka

שאלות ב-FSM יש n FF-ים. כמה מצבים יכולים להיות בה? 1 ≤ Nstates ≤ 2n Moshe Malka

תזכורת משטר סטטי משטר דינמי מאפשר לנו להתייחס לאותות בדידים (0,1) מאפשר לנו להתייחס לזמן בדיד בד''כ אנו מתעניינים מהם ערכי האותות בקטע C אם FF עומד להתעדכן אזי נדרש שבקטע C האות הנכנס אליו יהיה יציב Moshe Malka

מעבר לזמן בדיד מה משמעות הביטוי: Q(5) = 1? בקטע C של מחזור 5 הערך בנקודה Q הוא 1 Moshe Malka

דוגמא 2 – מחלק ב-3 בנה מכונה המבצעת חילוק סדרתי ב-3. קלט: מספר x המתקבל באופן סדרתי (ביט ביט). הביט הראשון המתקבל הוא ה MSB. פלט: מספר y הנפלט באופן סדרתי. בכל רגע נתון מתקיים x=3y+r כאשר r היא השארית. Moshe Malka

דוגמת הרצה (מכונת מילי) רגע t: 11 1001 מחלק רגע t+1: 10011 110 מחלק Moshe Malka

0. הבנת השאלה הקשר בין הקלט לפלט: בכל רגע נתון מתקיים: עבור כל שארית וקלט הפלט והשארית הבאה יחידים. Moshe Malka

1. מכונת מצבים נבחר לממש כמכונת מילי Moshe Malka

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

פונקצית המעברים כניסות שלא מופיעות בטבלה הן don’t care Moshe Malka

מימוש - פלט הפלט הוא 1 כאשר : המצב הוא 110 או (המצב הוא 010 וגם הקלט הוא 1) Moshe Malka

מימוש – פונקצית מעברים המצב הבא הוא 010 כאשר: המצב הקודם הוא 001 והקלט 1 או המצב הקודם הוא 110 והקלט הוא 0 Moshe Malka

מימוש - רכיבים נשתמש ברכיב MUX בוחר בין כניסות X Y 1 X Moshe Malka

המערכת Moshe Malka