מה בשפות פורמליות ניתן לייחס? דוגמאות לשימוש

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

מאפייני בשפות פורמליות

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

הגדרה

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

1. רשימה פשוטה של מילים בשפה - בדרך כלל לומר זאת לגבי סוג הסופי של הבנייה על אלה שיש להם מבנה פשוט.
2. מילות שנוצרו על ידי דקדוק פורמלי מסוים.
3. המבנה נוצר על ידי ביטויים רגולריים.
4. מילות שנוצרו על ידי העיצוב-BPF.
5. המבנה, מוכר על ידי אוטומט סופי.

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

בניית בשפות פורמליות

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

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

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

דוגמא 1

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

דוגמא 2

קחו למשל את ההיגיון לדוגמה שבה קיים היפוך (¬), נתק (∧), בשילוב (∨) ואת המשמעות (⇒) ועוד כמה. בהקלטה של תמונות כאלה יכולים להינתן כמו:

1. A;
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

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

דוגמא 3

בואו נסתכל על נוסחות לוגיות מורכבות יותר:

¬ (A∨¬S) ⇔ ¬A∧S = 1

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

1. נוסחאות לטווח בנייה;
2. לחקר ההיבט והפרשנות הסמנטי;
3. רצף של אחד נוסחאות מונח אחר.

יש להקים להגדיר היטב של כללים כל שפה רשמית.

דוגמא 4

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

מסקנה

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