שיחה:שפה רגולרית

מהערך לא ברור שמדובר במונח מתחום החישוביות והשפות הפורמליות. משתמש תמים שייכנס לערך יחטוף שבץ. Harel 15:59, 2 אפר' 2005 (UTC)

הערך צריך ויקיזציה דחופה (לינקים פנימיים) וכן שכתוב. הערך מאוד לא ברור וצריך להסביר יותר את המונחים המקצועיים ואת הרעיון שמאחוריהם. MathKnight 16:15, 2 אפר' 2005 (UTC)

אני אדאג לזה. יובל מדר

ראיתי את השינויים שעשית. כמה הערות:

1. יש להסביר את הרעיונות של "שפה", "אוטומט" ו"מקבל" גם למי שלא בקיא בתחום מודלים חישוביים.
2. לא הבנתי את הדוגמה השנייה - מה היא השפה אפסילון?
3. אני מציע שתצא מנקודת הנחה שלא כל המושגים כאן ברורים לכולם.

MathKnight 18:00, 2 אפר' 2005 (UTC)

זו עלולה להיות בעיה מסוימת, האם צריך להסביר בכל ערך וערך בנושא את כל המושגים? (חשבתי שלשם כך קיים לנושא מונחון) זה עשוי להיות ארוך...

השפה היא השפה המכילה את המילה הריקה בלבד. (מילה חסרת אותיות) כפי שמצוין במונחון, מילה זו מסומנת על ידי אפסילון.

כן, זה היה ברור מההודעות הקודמות. :-) אשתדל. (אולי גם ויני יצטרף על אף שחטפתי ממנו את הערך בצורה ברברית קודם לכן?) יובל מדר

"זו עלולה להיות בעיה מסוימת, האם צריך להסביר בכל ערך וערך בנושא את כל המושגים? (חשבתי שלשם כך קיים לנושא מונחון) זה עשוי להיות ארוך..." במובן מסוים, אתה צודק. אבל מצד שני, במאמרים ראשיים - שמיועדים במידה רבה גם להל הרחב ולמשכילים הכלליים, מומלץ להסביר כמה שיותר מושגים ואילו במאמרים הפרטניים יותר להניח שלקורא יש יותר ידע מוקדם או בקיאות בנושא. MathKnight 18:36, 2 אפר' 2005 (UTC)

להסביר בערך כמו זה מחדש מהי "שפה" זה כמו להסביר מחדש בכל ערך ראשי בפיזיקה מהי "תאוצה". גם אם כבר מסבירים, עדיף לעשות זאת כחלק ממבוא רחב יותר שמסביר דברים בצורה כללית, ולא כהערות אגב בסוגריים. גדי אלכסנדרוביץ' 22:52, 5 באוקטובר 2006 (IST)

נראה לי שיש טעות בערך

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

אני חולק על משפט זה. ידוע שהשפות שמתקבלות ע"י איחוד, שרשור ומשלים הם תת קבוצה של השפות הרגולריות. לעומת זאת, השפות שאפשר לתאר באופן פורמלי ע"י שפה מסדר ראשון אינם בהכרח רגולריות, מכיוון שהשפה שמכילה את כל הריבועים (מילים שמורכבות ע"י שרשור שני מילים זהות) ורק אותם אינה רגולרית, אך היא ניתנת לתאור במסגרת שפה מסדר ראשון:

נסמן את השפה של הריבועים $L$. $L$ יכולה להיות מוגדרת כך:

$w\in L\Leftrightarrow \exists t:\left(w=t\cdot t\right)$

וזאת דוגמה לשפה שניתן לתאר אותה בשפה מסדר ראשון אך היא לא רגולרית. לכן לא ייתכן ששתי המחלקות האלו של השפות שוות.

האם אני מפספס משהו? --כרוז • שיחה • חידות 13:18, 22 ביולי 2009 (IDT)

חסרה שם מלה. תיקנתי. עוזי ו. - שיחה 20:45, 22 ביולי 2009 (IDT)

שאלה

אם נתונות לי שתי שפות רגולריות האם בהכרח החיתוך והאיחוד שלהן תיהיה שפה רגולרית גם כן? בתודה מראש 89.138.201.134 21:31, 23 בנובמבר 2010 (IST)

נסה בערך שפה רגולרית. עוזי ו. - שיחה 21:35, 23 בנובמבר 2010 (IST)