גישה מהירה יותר מאשר בדפדפן!
18 יחסים: RP, מתמטיקה, מדעי המחשב, מודל חישובי, מכונת טיורינג, מכונת טיורינג לא-דטרמיניסטית, אלפבית (שפה פורמלית), סגירות (אלגברה), קבוצה (מתמטיקה), קבוצה רקורסיבית, שפה פורמלית, שפה רגולרית, שפה תלוית הקשר, שפה חופשית הקשר, לוגיקה, ההיררכיה של חומסקי, הומומורפיזם, כריעות.
RP
במדעי המחשב, RP (ראשי תיבות של Randomized Polynomial time) היא מחלקת הסיבוכיות של כל הבעיות הניתנות להכרעה הסתברותית בזמן פולינומי ביחס לגודל הקלט באופן הבא.
חָדָשׁ!!: שפה רקורסיבית וRP · ראה עוד »
מתמטיקה
שיעור באלגברה ליניארית באוניברסיטת הלסינקי ילדות פותרות תרגיל במתמטיקה מָתֵמָטִיקָה היא תחום דעת העוסק במושגים כגון כמות, מבנה, מרחב ושינוי.
חָדָשׁ!!: שפה רקורסיבית ומתמטיקה · ראה עוד »
מדעי המחשב
מדְעי המחשב הם ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב, ובמידה מסוימת, גם בשאלה של תכנון ובנייה של מערכות מחשב.
חָדָשׁ!!: שפה רקורסיבית ומדעי המחשב · ראה עוד »
מודל חישובי
מכונת טיורינג, המודל החישובי השקול למחשב בתורת הסיבוכיות ובתורת הרקורסיה, מודל חישובי הוא אוסף של פעולות המותרות בחישוב והעלות שלהן.
חָדָשׁ!!: שפה רקורסיבית ומודל חישובי · ראה עוד »
מכונת טיורינג
הדמיה של מכונת טיורינג מכונת טיורינג (באנגלית: Turing machine) היא מודל חישובי מתמטי אשר באמצעותו ניתן לתאר באופן מופשט את פעולתו של מחשב (כולל מחשב מודרני).
חָדָשׁ!!: שפה רקורסיבית ומכונת טיורינג · ראה עוד »
מכונת טיורינג לא-דטרמיניסטית
כל אלגוריתם ניתן לתיאור על ידי מודל מתמטי מופשט המכונה מכונת טיורינג.
חָדָשׁ!!: שפה רקורסיבית ומכונת טיורינג לא-דטרמיניסטית · ראה עוד »
אלפבית (שפה פורמלית)
בשפות פורמליות, אלפבית היא קבוצה לא ריקה של סמלים, הנחשבת בדרך כלל כמייצגת אותיות, תווים, או סְפָּרות אך ייתכן גם שה"סמלים" הללו יהיו קבוצת פונמות (צליל בודד).
חָדָשׁ!!: שפה רקורסיבית ואלפבית (שפה פורמלית) · ראה עוד »
סגירות (אלגברה)
באלגברה, קבוצה נקראת סגורה תחת פעולה מסוימת המוגדרת עליה, כאשר הפעלת הפעולה על איברי הקבוצה נותנת איבר הנכלל אף הוא בקבוצה.
חָדָשׁ!!: שפה רקורסיבית וסגירות (אלגברה) · ראה עוד »
קבוצה (מתמטיקה)
קבוצה היא מושג יסודי במתמטיקה.
חָדָשׁ!!: שפה רקורסיבית וקבוצה (מתמטיקה) · ראה עוד »
קבוצה רקורסיבית
בחישוביות, קבוצה בת מנייה נקראת רקורסיבית או כריעה אם ניתן לבנות אלגוריתם המסתיים לאחר מספר סופי של צעדים הקובע האם איבר מסוים שייך לקבוצה או לא.
חָדָשׁ!!: שפה רקורסיבית וקבוצה רקורסיבית · ראה עוד »
שפה פורמלית
במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים (או אותיות) מקבוצה סופית \Sigma.
חָדָשׁ!!: שפה רקורסיבית ושפה פורמלית · ראה עוד »
שפה רגולרית
בתורת השפות הפורמליות, שפה רגולרית היא שפה פורמלית שאפשר לתאר על ידי אוטומט סופי, האמור לקבוע לגבי מילה נתונה אם היא שייכת לשפה אם לאו.
חָדָשׁ!!: שפה רקורסיבית ושפה רגולרית · ראה עוד »
שפה תלוית הקשר
שפה תלוית הקשר היא שפה פורמלית אשר קיים דקדוק תלוי הקשר המגדיר אותה; כלומר, שפה L היא שפה תלוית הקשר אם קיים דקדוק תלוי הקשר G כך ש-L היא אוסף כל המילים שניתן לגזור מהסימן התחילי של G. ניתן להוכיח, ששפה היא תלוית הקשר אם קיימת מכונת טיורינג חסומה ליניארית המקבלת אותה.
חָדָשׁ!!: שפה רקורסיבית ושפה תלוית הקשר · ראה עוד »
שפה חופשית הקשר
במדעי המחשב, שפה חופשית הקשר (או שפה חסרת הקשר) היא שפה פורמלית אשר קיים דקדוק חסר הקשר המגדיר אותה; כלומר, שפה \ L היא שפה חופשית הקשר אם קיים דקדוק חסר הקשר \ G כך ש-\ L היא אוסף כל המילים שניתן לגזור מהסימן התחילי של \ G. ניתן להוכיח, ששפה היא חופשית הקשר אם ורק אם קיים אוטומט מחסנית לא דטרמניסטי המקבל אותה.
חָדָשׁ!!: שפה רקורסיבית ושפה חופשית הקשר · ראה עוד »
לוגיקה
לוֹגִיקָה (מיוונית: λογική. בעברית: תּוֹרַת הַהִגָּיוֹן) היא שם כולל לתורות הבוחנות קשרי היסק בין טענות תוך התבססות על אקסיומות.
חָדָשׁ!!: שפה רקורסיבית ולוגיקה · ראה עוד »
ההיררכיה של חומסקי
איור גרפי של קבוצות השפות הכלולות בהיררכיית חומסקי ההיררכיה של חומסקי, היא מיון משפחות של דקדוקים על פי כללי השכתוב שהם מתירים.
חָדָשׁ!!: שפה רקורסיבית וההיררכיה של חומסקי · ראה עוד »
הומומורפיזם
באלגברה, הומומורפיזם הוא פונקציה בין מבנים אלגבריים מאותו טיפוס, המשמר את כל המבנה (לרבות הפעולות, היחסים והקבועים).
חָדָשׁ!!: שפה רקורסיבית והומומורפיזם · ראה עוד »
כריעות
בלוגיקה, בעיית הכרעה (בעיה שבה בהינתן קלט יש לתת תשובה של כן או לא) נקראת כריעה אם קיים אלגוריתם שקובע מה התשובה עבור קלט נתון.
חָדָשׁ!!: שפה רקורסיבית וכריעות · ראה עוד »
