אנחנו עובדים על שחזור אפליקציית Unionpedia ב-Google Play Store
יוֹצֵאנִכנָס
🌟פישטנו את העיצוב שלנו לניווט טוב יותר!
Instagram Facebook X LinkedIn

דקדוק תלוי-הקשר

מַדָד דקדוק תלוי-הקשר

בשפות פורמליות, דקדוק תלוי-הקשר הוא דקדוק אשר כל כלל יצירה בו הוא מהצורה \Alpha\rightarrow\Beta כאשר Α ו B הן מחרוזות כלשהן של משתנים דקדוקיים וסימנים טרמינליים כך ש|\Alpha|\leq|\Beta|. [1]

תוכן עניינים

  1. 5 יחסים: אלפבית, שפה פורמלית, שפה תלוית הקשר, דקדוק, ההיררכיה של חומסקי.

אלפבית

אָלֶפְבֵּית הוא אוסף סדור של אותיות, שהן סימנים גרפיים המייצגים עיצורים ותנועות.

לִרְאוֹת דקדוק תלוי-הקשר ואלפבית

שפה פורמלית

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

לִרְאוֹת דקדוק תלוי-הקשר ושפה פורמלית

שפה תלוית הקשר

שפה תלוית הקשר היא שפה פורמלית אשר קיים דקדוק תלוי הקשר המגדיר אותה; כלומר, שפה L היא שפה תלוית הקשר אם קיים דקדוק תלוי הקשר G כך ש-L היא אוסף כל המילים שניתן לגזור מהסימן התחילי של G.

לִרְאוֹת דקדוק תלוי-הקשר ושפה תלוית הקשר

דקדוק

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

לִרְאוֹת דקדוק תלוי-הקשר ודקדוק

ההיררכיה של חומסקי

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

לִרְאוֹת דקדוק תלוי-הקשר וההיררכיה של חומסקי

אזכור

[1] https://he.wikipedia.org/wiki/דקדוק_תלוי-הקשר