תוכן עניינים
14 יחסים: מצב (מדעי המחשב), מחסנית (מבנה נתונים), אוטומט סופי, אוטומט סופי דטרמיניסטי, פרס גדל, פלינדרום, שפה חופשית הקשר, תורת האוטומטים, תורת האוטומטים - מונחים, חישוב (מדעי המחשב), חישוביות, דקדוק חופשי-הקשר, הצורה הנורמלית של גרייבך, הומומורפיזם (שפות פורמליות).
מצב (מדעי המחשב)
במדעי המחשב ובתורת האוטומטים, מצב (באנגלית: state) הוא תצורה (קונפיגורציה) ייחודית של נתונים במעגל דיגיטלי או בתוכנה.
לִרְאוֹת אוטומט מחסנית ומצב (מדעי המחשב)
מחסנית (מבנה נתונים)
הצגה פשוטה של מחסנית מחסנית היא סוג של מבנה נתונים מופשט הפועל בצורה דומה לזו של מחסנית רובה: האיבר שנכנס ראשון למחסנית יוצא ממנה אחרון (תכונה זו מכונה נכנס אחרון יוצא ראשון - LIFO).
לִרְאוֹת אוטומט מחסנית ומחסנית (מבנה נתונים)
אוטומט סופי
נורה מתואר כאוטומט סופי (בייצוגו כגרף מכוון). בתורת החישוביות במדעי המחשב, אוטומט סופי (או מכונת מצבים) הוא מכונה מופשטת בעלת זיכרון מוגבל בגודלו, המגדירה שפה פורמלית רגולרית.
לִרְאוֹת אוטומט מחסנית ואוטומט סופי
אוטומט סופי דטרמיניסטי
בתורת החישוביות, אוטומט סופי דטרמיניסטי (להלן: אס"ד) הוא מודל מתמטי, המגדיר שפה פורמלית.
לִרְאוֹת אוטומט מחסנית ואוטומט סופי דטרמיניסטי
פרס גדל
פרס גֶדֶל (באנגלית: The Gödel Prize) הוא פרס המוענק אחת לשנה, החל משנת 1993, עבור מאמר בולט באיכותו בתחום מדעי המחשב.
לִרְאוֹת אוטומט מחסנית ופרס גדל
פלינדרום
מספר רכב פלינדרומי פָּלִינְדְרוֹם (מיוונית: πάλιν (פַּלִין - "שוב", "הפוך"), δρóμος (דרוֹמוֹס - "כיוון")) הוא מילה, מספר, משפט או כל רצף סמלים אחר, שקריאתו מימין לשמאל ומשמאל לימין היא זהה.
לִרְאוֹת אוטומט מחסנית ופלינדרום
שפה חופשית הקשר
במדעי המחשב, שפה חופשית הקשר (או שפה חסרת הקשר) היא שפה פורמלית אשר קיים דקדוק חסר הקשר המגדיר אותה; כלומר, שפה \ L היא שפה חופשית הקשר אם קיים דקדוק חסר הקשר \ G כך ש-\ L היא אוסף כל המילים שניתן לגזור מהסימן התחילי של \ G.
לִרְאוֹת אוטומט מחסנית ושפה חופשית הקשר
תורת האוטומטים
נורה כאוטומט סופי אוטומט סופי הוא מכונה מופשטת בתורת החישוביות במדעי המחשב, שהיא בעלת זיכרון מוגבל ומגדירה שפה פורמלית רגולרית.
לִרְאוֹת אוטומט מחסנית ותורת האוטומטים
תורת האוטומטים - מונחים
תורת האוטומטים היא ענף בחישוביות העוסק בחקר מודלים מתמטיים כדוגמת האוטומט הסופי ואוטומט המחסנית.
לִרְאוֹת אוטומט מחסנית ותורת האוטומטים - מונחים
חישוב (מדעי המחשב)
חישוב במשמעותו הרחבה של מושג זה המקובלת במדעי המחשב, הוא כל תהליך של עיבוד מידע שניתן לייצוג באופן מתמטי.
לִרְאוֹת אוטומט מחסנית וחישוב (מדעי המחשב)
חישוביות
תורת החישוביות היא הבסיס למדעי המחשב, והיא עוסקת במודלים לחישוב ובפונקציות הניתנות לחישוב במסגרתם.
לִרְאוֹת אוטומט מחסנית וחישוביות
דקדוק חופשי-הקשר
בשפות פורמליות, דקדוק חופשי-הקשר (גם: דקדוק חסר הקשר) הוא דקדוק אשר כל כלל יצירה בו הוא מהצורה \ A\to\alpha כאשר \ A הוא משתנה דקדוקי ואילו \ \alphaהיא מחרוזת כלשהי של משתנים דקדוקיים וסימנים טרמינליים.
לִרְאוֹת אוטומט מחסנית ודקדוק חופשי-הקשר
הצורה הנורמלית של גרייבך
בתורת השפות הפורמליות, אומרים כי דקדוק חסר הקשר מוצג בצורה הנורמלית של גרייבך (אותה הגתה שילה גרייבך) אם כל כללי הגזירה שלו הם מהצורה A \rightarrow \sigma\alpha, כאשר \sigma סימן טרמינלי, A משתנה שאינו טרמינלי, ו-\alpha מילה המורכבת מאפס משתנים או יותר.
לִרְאוֹת אוטומט מחסנית והצורה הנורמלית של גרייבך
הומומורפיזם (שפות פורמליות)
בתורת השפות הפורמליות, הומומורפיזם הוא פונקציה המעבירה אותיות מא"ב אחד למילים מעל א"ב אחר.
לִרְאוֹת אוטומט מחסנית והומומורפיזם (שפות פורמליות)