תכונות שפה פורמליות ודוגמאות

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

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

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

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

אינדקס

• 1 מאפיינים
  • 1.1 סביבה מוגבלת
  • 1.2 כללי דקדוק קודמים
  • 1.3 רכיב סמנטי מינימלי
  • 1.4 שפה סימבולית
  • 1.5 אוניברסאליות
  • 1.6 דיוק וביטוי
  • 1.7 כושר הרחבה
• 2 דוגמאות
  • 2.1 לוגיקה
  • 2.2 מתמטיקה
  • 2.3 תכנות מחשבים
• 3 הפניות

תכונות

סביבה מוגבלת

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

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

דקדוק שולט מראש

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

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

מרכיב סמנטי מינימלי

המרכיב הסמנטי בשפה הרשמית הוא מינימלי. שרשרת מסוימת השייכת לשפה הפורמלית אינה בעלת משמעות בפני עצמה.

עומס סמנטי הם עשויים לבוא בחלקו מפעילי מערכות יחסים. חלקן הן: שוויון, אי-שוויון, חיבורים לוגיים ומפעילי אריתמטיקה.

בלשון טבעית, החזרה על השילוב של "p" ו- "a" במילה "אבא" היא בעלת הערך הסמנטיקאי של ההורה. עם זאת, בשפה פורמלית זה לא. במישור המעשי, המשמעות או הפרשנות של השרשראות נמצאות בתיאוריה שניסתה להגדיר באמצעות השפה הרשמית.

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

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

שפה סימבולית

השפה הרשמית היא סמלית לחלוטין. זה מורכב מ אלמנטים שמטרתם להעביר את היחסים ביניהם. אלמנטים אלה הם הסימנים הלשוניים הפורמליים, אשר כאמור אינם מייצרים כל ערך סמנטי כשלעצמם.

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

אוניברסאליות

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

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

דיוק והבעה

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

יכולת הרחבה

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

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

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

דוגמאות

לוגיקה

שרשרת: (p⋀q) ⋁ (r⋀t) => t, האותיות p, q, r, t לסמל הצעות ללא כל משמעות ספציפית. מצד שני, הסמלים ⋀, ⋁ ו- => מייצגים את המחברים המחברים את ההנחות. בדוגמה זו בפרט, המחברים משמשים "ו" (⋀) "או" (⋁), "אז" (=>).

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

מתמטיקה

בדוגמה מתמטית זו A = ❴x | x⦤3⋀x> 2❵, קבוצה עם שם "A" עם אלמנטים בשם "x" מתערבבת. כל האלמנטים של A קשורים על ידי הסימבולוגיה ❴, |, ⦤, ⋀,>, ❵.

כולם משמשים כאן כדי להגדיר את התנאים כי האלמנטים "x" צריך למלא כדי שיוכלו להיות של קבוצה "A".

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

תכנות מחשבים

קו התכנות אם A = 0, אז GOTO 30, 5 * A + 1 יש משתנה "A" שהוגש לתהליך של ביקורת וקבלת החלטות באמצעות מפעיל המכונה "אם מותנה".

הביטויים "IF", "THEN" ו- "GOTO" הם חלק מתחביר המפעיל. בינתיים, שאר האלמנטים הם ההשוואה ואת ערכי הפעולה של "A".

משמעותו היא: המחשב מתבקש להעריך את הערך הנוכחי של "A". אם זה שווה לאפס, זה ילך "30" (עוד שורה של תכנות שבו תהיה הוראה אחרת). במקרה שהוא שונה מאפס, אזי יוכפל המשתנה "A" (*) על ידי הערך 5 ויוסיף (+) את הערך 1.

הפניות

1. מילון קולינס. (s / f). הגדרה של "שפה פורמלית". נלקח מ.
2. אוניברסיטת טכנולוגיה, סידני. (s / f). השפה הפורמלית והבלתי פורמלית. לקוח מתוך uts.edu.au.
3. הגדרות (s / f). הגדרות לשפה רשמית. נלקח מתוך.
4. האוניברסיטה הטכנית של מדריד. (s / f). שפות טבעיות ושפות רשמיות. נלקח מתוך.
5. עיריית לוג'אן. (s / f). השפה הרשמית לקוח מתוך lujan.magnaplus.org.
6. קורבין, ג 'יי A. (s / f). 12 סוגי השפה (ומאפייניהם). psicologiaymente.com.
7. Bel Enguix, ג 'ו Jiménez López, מ' ד (s / f). סימפוזיון: יישומים חדשים של התיאוריה של שפות רשמיות לבלשנות. נלקח מ elvira.lllf.uam.es.