גישה מהירה יותר מאשר בדפדפן!
30 יחסים: מפסק, מצב (מדעי המחשב), משפט מייהיל-נרוד, מחרוזת (מדעי המחשב), מחלקות שקילות, מדעי המחשב, מכונת טיורינג, אם ורק אם, אלפבית (שפה פורמלית), אוטומט מחסנית, אוטומט סופי לא דטרמיניסטי, אוטומט סופי דטרמיניסטי, נסים פרנסיז, נורה חשמלית, סגירות (אלגברה), קבוצה סופית, קונבנציה, שפה (מדעי המחשב), שפה פורמלית, שפה רקורסיבית, שפה רגולרית, שפה חופשית הקשר, תורת האוטומטים - מונחים, למת הניפוח לשפות רגולריות, חישוביות, חיתוך (מתמטיקה), גרף (תורת הגרפים), דקדוק רגולרי, דטרמיניזם, ההיררכיה של חומסקי.
מפסק
מַפְסֵק, בּוֹרֵר או מֶתֶג (חשמלי) הוא מנגנון מכני שיכול למַתֵּג (לפתוח ולסגור) מעגל חשמלי, לעיתים תוך הפסקת זרם חשמלי.
חָדָשׁ!!: אוטומט סופי ומפסק · ראה עוד »
מצב (מדעי המחשב)
במדעי המחשב ובתורת האוטומטים, מצב (באנגלית: state) הוא תצורה (קונפיגורציה) ייחודית של נתונים במעגל דיגיטלי או בתוכנה.
חָדָשׁ!!: אוטומט סופי ומצב (מדעי המחשב) · ראה עוד »
משפט מייהיל-נרוד
בתורת השפות הפורמליות, משפט מייהיל-נרוד הוא משפט אשר מספק אפיון של משפחת השפות הרגולריות ומסייע להבנת המבנה של האוטומט המינימלי אשר מקבל אותן.
חָדָשׁ!!: אוטומט סופי ומשפט מייהיל-נרוד · ראה עוד »
מחרוזת (מדעי המחשב)
בתאוריה של שפות פורמליות ובמדעי המחשב, מחרוזת (באנגלית: string) היא רצף של סימנים מתוך אלפבית נתון.
חָדָשׁ!!: אוטומט סופי ומחרוזת (מדעי המחשב) · ראה עוד »
מחלקות שקילות
#הפניה מחלקת שקילות.
חָדָשׁ!!: אוטומט סופי ומחלקות שקילות · ראה עוד »
מדעי המחשב
מדְעי המחשב הם ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב, ובמידה מסוימת, גם בשאלה של תכנון ובנייה של מערכות מחשב.
חָדָשׁ!!: אוטומט סופי ומדעי המחשב · ראה עוד »
מכונת טיורינג
הדמיה של מכונת טיורינג מכונת טיורינג (באנגלית: Turing machine) היא מודל חישובי מתמטי אשר באמצעותו ניתן לתאר באופן מופשט את פעולתו של מחשב (כולל מחשב מודרני).
חָדָשׁ!!: אוטומט סופי ומכונת טיורינג · ראה עוד »
אם ורק אם
אם ורק אם (ראשי תיבות: אמ"ם) או "אימוּם" (בלשון חז"ל: תנאי כפול, וסימונו בלוגיקה פורמלית: \Leftrightarrow, \leftrightarrow או ≡) בתחום הלוגיקה המתמטית הוא קַשָּׁר לוגי בין שתי טענות השקולות זו לזו במובן שכל אחת אמיתית כשהשנייה אמיתית, אך אם אחת אינה אמיתית גם השנייה שגויה.
חָדָשׁ!!: אוטומט סופי ואם ורק אם · ראה עוד »
אלפבית (שפה פורמלית)
בשפות פורמליות, אלפבית היא קבוצה לא ריקה של סמלים, הנחשבת בדרך כלל כמייצגת אותיות, תווים, או סְפָּרות אך ייתכן גם שה"סמלים" הללו יהיו קבוצת פונמות (צליל בודד).
חָדָשׁ!!: אוטומט סופי ואלפבית (שפה פורמלית) · ראה עוד »
אוטומט מחסנית
מצבים: שני מצבים מקבלים (מסומנים בעיגול כפול) ושני מצבים שאינם מקבלים (מסומנים בעיגול בודד). במדעי המחשב, אוטומט מחסנית (באנגלית: Pushdown automaton, ובראשי תיבות: PDA) הוא מודל חישובי, שמהווה הרחבה של מודל האוטומט הסופי (הדטרמיניסטי), על ידי הוספת מחסנית, שבה האוטומט מסוגל לאחסן מידע (משמע, לאוטומט יש יכולת זיכרון).
חָדָשׁ!!: אוטומט סופי ואוטומט מחסנית · ראה עוד »
אוטומט סופי לא דטרמיניסטי
מצב Q_1 ומגיעה הספרה 1 האוטומט יכול לעבור למצב Q_2 או למצב Q_4. אותו הדבר לגבי קליטת הספרה 0 - האוטומט יכול לבחור לעבור או למצב Q_6 או למצב Q_8. עצם כך שהאוטומט הוא אוטומט סופי לא מלא (אסל"מ) נובעת מכך שביתר המצבים, מלבד המצב ההתחלתי Q_0, אין התייחסות לכל אות קלט מא"ב האוטומט. לפיכך, אם נמצאים במצב Q_2 ומגיעה הספרה 0 האוטומט "לא יודע" לאין ללכת והוא נתקע. ההיתקעות משמעה שהמילה (הקלט) לא מתקבלת על ידי האוטומט. אותה מילה (10) הייתה מתקבלת לו היה קיים מסלול חישוב כלשהו שסיומו היה מוביל למצב מקבל אוטומט סופי לא דטרמיניסטי הוא מודל מתמטי המהווה הכללה של אוטומט סופי דטרמיניסטי בכך שהוא מאפשר בחירה בין מספר דרכי פעולה עבור קלט נתון, בניגוד לדרך הפעולה היחידה אליה מחויב אוטומט דטרמיניסטי.
חָדָשׁ!!: אוטומט סופי ואוטומט סופי לא דטרמיניסטי · ראה עוד »
אוטומט סופי דטרמיניסטי
בתורת החישוביות, אוטומט סופי דטרמיניסטי (להלן: אס"ד) הוא מודל מתמטי, המגדיר שפה פורמלית.
חָדָשׁ!!: אוטומט סופי ואוטומט סופי דטרמיניסטי · ראה עוד »
נסים פרנסיז
נסים פרנסיז (נולד ב-19 בינואר 1944) הוא פרופסור אמריטוס בפקולטה למדעי המחשב בטכניון ולשעבר ראש המעבדה לבלשנות חישובית בפקולטה.
חָדָשׁ!!: אוטומט סופי ונסים פרנסיז · ראה עוד »
נורה חשמלית
נורת להט נורה חשמלית היא אביזר שמשמש לתאורה באמצעות חשמל.
חָדָשׁ!!: אוטומט סופי ונורה חשמלית · ראה עוד »
סגירות (אלגברה)
באלגברה, קבוצה נקראת סגורה תחת פעולה מסוימת המוגדרת עליה, כאשר הפעלת הפעולה על איברי הקבוצה נותנת איבר הנכלל אף הוא בקבוצה.
חָדָשׁ!!: אוטומט סופי וסגירות (אלגברה) · ראה עוד »
קבוצה סופית
בתורת הקבוצות, קבוצה סופית היא קבוצה שיש לה מספר סופי של איברים.
חָדָשׁ!!: אוטומט סופי וקבוצה סופית · ראה עוד »
קונבנציה
#הפניה מוסכמה.
חָדָשׁ!!: אוטומט סופי וקונבנציה · ראה עוד »
שפה (מדעי המחשב)
#הפניה שפה פורמלית.
חָדָשׁ!!: אוטומט סופי ושפה (מדעי המחשב) · ראה עוד »
שפה פורמלית
במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים (או אותיות) מקבוצה סופית \Sigma.
חָדָשׁ!!: אוטומט סופי ושפה פורמלית · ראה עוד »
שפה רקורסיבית
שפה רקורסיבית, או שפה כריעה היא מונח במתמטיקה, לוגיקה ומדעי המחשב, המתאר שפה פורמלית (קבוצה של רצפים סופיים של סמלים שנלקחו מאלף-בית מסוים) המהווה תת קבוצה רקורסיבית של הקבוצה של כל הרצפים הסופיים מעל האלפבית של השפה.
חָדָשׁ!!: אוטומט סופי ושפה רקורסיבית · ראה עוד »
שפה רגולרית
בתורת השפות הפורמליות, שפה רגולרית היא שפה פורמלית שאפשר לתאר על ידי אוטומט סופי, האמור לקבוע לגבי מילה נתונה אם היא שייכת לשפה אם לאו.
חָדָשׁ!!: אוטומט סופי ושפה רגולרית · ראה עוד »
שפה חופשית הקשר
במדעי המחשב, שפה חופשית הקשר (או שפה חסרת הקשר) היא שפה פורמלית אשר קיים דקדוק חסר הקשר המגדיר אותה; כלומר, שפה \ L היא שפה חופשית הקשר אם קיים דקדוק חסר הקשר \ G כך ש-\ L היא אוסף כל המילים שניתן לגזור מהסימן התחילי של \ G. ניתן להוכיח, ששפה היא חופשית הקשר אם ורק אם קיים אוטומט מחסנית לא דטרמניסטי המקבל אותה.
חָדָשׁ!!: אוטומט סופי ושפה חופשית הקשר · ראה עוד »
תורת האוטומטים - מונחים
תורת האוטומטים היא ענף בחישוביות העוסק בחקר מודלים מתמטיים כדוגמת האוטומט הסופי ואוטומט המחסנית.
חָדָשׁ!!: אוטומט סופי ותורת האוטומטים - מונחים · ראה עוד »
למת הניפוח לשפות רגולריות
למת הניפוח נועדה להוכיח ששפה L כלשהי איננה שפה רגולרית.
חָדָשׁ!!: אוטומט סופי ולמת הניפוח לשפות רגולריות · ראה עוד »
חישוביות
תורת החישוביות היא הבסיס למדעי המחשב, והיא עוסקת במודלים לחישוב ובפונקציות הניתנות לחישוב במסגרתם.
חָדָשׁ!!: אוטומט סופי וחישוביות · ראה עוד »
חיתוך (מתמטיקה)
בתורת הקבוצות ובענפים אחרים במתמטיקה, החיתוך של שתי קבוצות A ו-B הוא הקבוצה המכילה את כל האיברים ב-A ששייכים גם ל-B (או באופן שקול, כל האיברים ב-B ששייכים גם ל-A), ורק אותם.
חָדָשׁ!!: אוטומט סופי וחיתוך (מתמטיקה) · ראה עוד »
גרף (תורת הגרפים)
גרף לא מכוון בעל 6 קודקודים ו-7 קשתות גרף מכוון בעל 4 קודקודים ו-5 קשתות בתורת הגרפים, גרף הוא ייצוג מופשט של קבוצה של אובייקטים, כאשר כל זוג אובייקטים בקבוצה עשויים להיות מקושרים זה לזה.
חָדָשׁ!!: אוטומט סופי וגרף (תורת הגרפים) · ראה עוד »
דקדוק רגולרי
בשפות פורמליות דקדוק רגולרי הוא דקדוק המתאר שפה רגולרית.
חָדָשׁ!!: אוטומט סופי ודקדוק רגולרי · ראה עוד »
דטרמיניזם
דֵּטֶרְמִינִיזְם או כּוֹרְחָנוּת היא השקפה פילוסופית לפיה כל מאורע בעולם, פעולות, החלטות או מחשבות אנושיות נקבעים באופן בלעדי על ידי אירועים קודמים.
חָדָשׁ!!: אוטומט סופי ודטרמיניזם · ראה עוד »
ההיררכיה של חומסקי
איור גרפי של קבוצות השפות הכלולות בהיררכיית חומסקי ההיררכיה של חומסקי, היא מיון משפחות של דקדוקים על פי כללי השכתוב שהם מתירים.
חָדָשׁ!!: אוטומט סופי וההיררכיה של חומסקי · ראה עוד »
מפנה מחדש כאן:
אזכור
[1] https://he.wikipedia.org/wiki/אוטומט_סופי
