תוכן עניינים
5 יחסים: אלפבית, שפה פורמלית, שפה תלוית הקשר, דקדוק, ההיררכיה של חומסקי.
אלפבית
אָלֶפְבֵּית הוא אוסף סדור של אותיות, שהן סימנים גרפיים המייצגים עיצורים ותנועות.
לִרְאוֹת דקדוק תלוי-הקשר ואלפבית
שפה פורמלית
במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים (או אותיות) מקבוצה סופית \Sigma.
לִרְאוֹת דקדוק תלוי-הקשר ושפה פורמלית
שפה תלוית הקשר
שפה תלוית הקשר היא שפה פורמלית אשר קיים דקדוק תלוי הקשר המגדיר אותה; כלומר, שפה L היא שפה תלוית הקשר אם קיים דקדוק תלוי הקשר G כך ש-L היא אוסף כל המילים שניתן לגזור מהסימן התחילי של G.
לִרְאוֹת דקדוק תלוי-הקשר ושפה תלוית הקשר
דקדוק
דִּקְדּוּק הוא אוסף הכללים המנחה את הדיבור והכתיבה בשפה מסוימת, טבעית או מלאכותית.
לִרְאוֹת דקדוק תלוי-הקשר ודקדוק
ההיררכיה של חומסקי
איור גרפי של קבוצות השפות הכלולות בהיררכיית חומסקי ההיררכיה של חומסקי, היא מיון משפחות של דקדוקים על פי כללי השכתוב שהם מתירים.
לִרְאוֹת דקדוק תלוי-הקשר וההיררכיה של חומסקי