וואָס צו פאָרמאַל שפּראַכן קענען זיין אַטריביאַטאַד? יגזאַמפּאַלז פון נוצן

וואָס איז די פאָרמאַל שפּראַך און ווי עס דיפפערס פֿון די נאַטירלעך? ווי עס איז געגרינדעט? וואָס צו פאָרמאַל שפּראַכן קענען זיין אַטריביאַטאַד? און עס איז געניצט צו אָפּשיקן צו אים?

טשאַראַקטעריסטיקס פון פאָרמאַל שפּראַכן

אזוי מיר רופן אַ גרופּע פון קינסטלעך שפּראַכן, וואָס זענען קעראַקטערייזד דורך גענוי כּללים וועגן די קאַנסטראַקשאַן פון אויסדרוקן, ווי געזונט ווי זייער שכל. סיסטעמען געניצט פֿאַר אינדוסטריעלע צוועקן קענען זיין אַטריביאַטאַד צו פאָרמאַל שפּראַכן. זיי זענען געבויט אין העסקעם מיט די קלאָר כּללים, צושטעלן קאָנסיסטענט, סאָליד און גענוי אַרויסווייַזן פון די פּראָפּערטיעס און באַציונגען פון די געלערנט ונטערטעניק געגנט אָדער מאַדאַלד אַבדזשעקס. די ווערט און טייַטש פון די מאַרקס קענען ניט זיין געביטן דורך קיין פּראַגמאַטיק פֿעיִקייטן (נוצן פון דעם קאָנטעקסט). דאס איז מעגלעך דאַנק צו די בייַזייַן אין די פאָרמאַל שפּראַך פון די כּללים פון סינטאַקס קאַנווערזשאַן און סעמאַנטיק ינטערפּריטיישאַן. זיי זענען אָפֿט געבויט ניצן ווי אַ באַזע פון מאטעמאטיק. רעכט צו דער פאַקט אַז עס, אויף די גאנצע שפּאַן פון אַנטוויקלונג, געניצט אַ פאַרשיידנקייַט פון סימבאָליש דעזאַגניישאַנז האָבן שוין געווענדט צו אַ פאַרשיידנקייַט פון קאַנסעפּס און אַבדזשעקס. אַז ס וואָס דאַרף פאָרמאַל שפּראַכן. זיי קענען באטייטיק רעדוצירן דאַטן. פריער, צוזאמען מיט די פאָרמאַל און נאַטירלעך שפּראַכן האָבן שוין געניצט, אָבער מיט די גראַדזשואַל קאַמפּלאַקיישאַן פון די ונטערטעניק און די דאַרפֿן צו מאַכן אַ שטרענג לאַדזשיקאַל אַנאַליסיס פון מאַטאַמאַטיקאַל ריזאַנינג, עס איז באַשלאָסן צו פאַרלאָזן די פאַרגאַנגענהייַט. דעם פּראָצעס לאַסטיד פון די קסוויי צו די קסקס יאָרהונדערט. עס איז די לעצטע יאָרהונדערט איז געהאלטן די מערסט פרוכטיק אין טערמינען פון פאָרמאַל שפּראַכן. פאַרשידן ספּעציעל צווייגן זענען Created. אַזוי, פֿאַר קאָמפּיוטער וויסנשאַפֿט זענען פון באַזונדער וויכטיקייט פּראָגראַממינג שפּראַכן און די אַלגעבראַ פון לאָגיק, ניט בלויז טעאָרעטיש, אָבער אויך פון אַ פּראַקטיש פונט פון מיינונג.

דעפיניציע

וואָס צו פאָרמאַל שפּראַכן קענען זיין אַטריביאַטאַד, מיר האָבן שוין בעקיצער דערקלערט. אבער וואָס קענען מיר זאָגן וועגן זיי? פאָרמאַל שפּראַך איז געגעבן אַ פּלאַץ פון פאַרשידענע זוך. צו רשימה זיי אַלע, עס וועט לאָזן אַ פּלאַץ פון צייַט, אַזוי נעמען אַ קוק אין די מערסט פאָלקס:

1. א פּשוט רשימה פון ווערטער אין די שפּראַך - יוזשאַוואַלי זאָגן אַזוי מיט רעספּעקט צו די לעצט טיפּ פון קאַנסטראַקשאַן און וועגן די אָנעס אַז האָבן אַ פּשוט סטרוקטור.
2. ווערטער דזשענערייטאַד דורך אַ זיכער פאָרמאַל גראַמאַטיק.
3. די ביניען Created by רעגולער אויסדרוקן.
4. ווערטער דזשענערייטאַד דורך די בפּף-פּלאַן.
5. די ביניען, רעקאַגנייזאַבאַל דורך אַ ענדלעך אָטאַמאַטאַן.

זאל ס קוק אין אַ משל. זאל ס זאָגן מיר האָבן די גאנצע Alphabet, געגעבן צוויי נומערן 1 און 0. צו אַרויסווייַזן די בריוו "אָ", מיר נוצן אַ קאָמבינאַציע פון 1010001. דאס איז די נוצן פון אַ פאָרמאַל שפּראַך. עס איז אויך מעגלעך צו נוצן ליידיק ווערטער (ווען די שטריקל האט נול לענג, און עס איז גאָרנישט) מיט אַ ספּעציעל באַשטימונג אין די פאָרעם באַקאַנט צו אונדז. אבער אין מער דעטאַל צו פֿאַרשטיין וואָס איז אַ פאָרמאַל שפּראַך, העלפן 4 יגזאַמפּאַלז אַז וועט ווערן געגעבן ווייַטער. וואָס טוט עס טאָן? צו די לייענער ס שכל איז געווען אַז אַ פאָרמאַל שפּראַך קענען זיין אַטריביאַטאַד. אבער אַ ביסל מער וועגן ווי זיי זענען Created.

קאַנסטראַקשאַן פון פאָרמאַל שפּראַכן

יעדער שפּראַך איז אַ פאָרמאַל ביניען וואָס איז געווען Created אַמאָל און עמעצער. זיי זענען יוזשאַוואַלי געבויט אויף דער זעלביקער מוסטער:

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

דורך פאָרמאַל שפּראַך רעפערס צו קיין ביניען אַז האט קלאָר כּללים - עס זאָל זיין דערמאנט. ווען בנין, עס זענען עטלעכע פֿעיִקייטן. אזוי, דער טערמין "כאַראַקטער" איז זייער מאַלטי-פונקטיאָנאַל אין טערמינען פון טייַטש, אַזוי פֿאַר די רובֿ טייל געניצט דעם טערמין ווי אַ "בריוו". אבער ונטער זיי קענען זיין פֿאַרשטאַנען ניט בלויז די געוויינטלעך נאָוטיישאַן פֿאַר אונדז, אָבער אויך די בראַקאַץ, ספּעציעל אותיות, און מער. דעם אַפּלייז בלויז צו פאָרמאַל שפּראַכן.

לעמאָשל 1

זאל ס אָנהייבן מיט 1 און 0. אין אַזאַ קאַסעס, נוצן דעם מער דער באַגריף פון "טערמין" און "פאָרמולע." דער ערשטער אקטן ווי אַ אַנאַלאָג פון די כייפעץ און די נאָמען געניצט צו אָפּשיקן צו עפּעס ספּעציפיש. ערשטער פון אַלע פֿאַרשטיין די קאַנסטאַנץ און יחיד וועריאַבאַלז אונטער זיי. פון די, אין דרייען, בויען מער קאָמפּלעקס סטראַקטשערז, וואָס איז געניצט געניצט אין עטלעכע שפּראַך פֿונקציע. אונטער די ווערטער פון די גרופּע פֿאַרשטיין די פאָרמולע, די נוצן פון וואָס אין אַ זיכער פּראָגראַממינג שפּראַך איז מעגלעך. דעם "לימעד" וועט זיין פּראַסעסט, און דער מענטש וועט באַקומען די געבעטן רעזולטאַט.

לעמאָשל 2

באַטראַכטן די משל לאָגיק אין וואָס עס איז אַ ינווערזשאַן (¬), דיסדזשונקטיאָן (∧), די קאַנדזשאַנגקשאַן (∨) און די ימפּלאַקיישאַן (⇒) און עטלעכע אנדערע. אין אַזאַ רעקאָרדירונג פון בילדער קענען זיין געגעבן ווי:

1. א;
2. אַ∧וו ⇒ ¬אַ
3. ¬ (אַ∨¬ס)

ווי די אותיות א, א, ב, C, פאַרטרעטער די וועריאַבאַלז און איר באַקומען די לאַדזשיקאַל אַפּעריישאַנז. ווו צו צולייגן פאָרמאַל שפּראַכן פון דעם טיפּ? די וויידספּרעד נוצן פון אַזאַ אַ מעקאַניזאַם איז געפֿונען אין פּראָגראַממינג שפּראַכן, מאטעמאטיק, באציונגען, לאַדזשיקאַל און מאַטאַמאַטיקאַל פֿעיִקייטן, אָדער פּאַרץ פון וואָס האָבן שוין דיסקרייבד דורך די פּראָגראַמיסט.

לעמאָשל 3

זאל ס קוק אין אַ מער קאָמפּליצירט לאַדזשיקאַל פאָרמולאַס:

¬ (אַ∨¬ס) ⇔ ¬אַ∧ס = 1

אַז ס וואָס מיר דאַרפֿן פאָרמאַל שפּראַכן. ימאַדזשאַן וואָס וואָלט האָבן געשען אויב עס איז געווען דיסקרייבד אין ווערטער? איצט, באזירט אויף אַ פאָרמולע מיר אַרויסדרינגען קאַנקלוזשאַנז. מעאַנינגפול אויסדרוקן קענען ווערן דערגרייכט אין די פאָרמאַל שפּראַך נאָר ווען זיכער כּללים זענען רעספּעקטעד פֿאַר-פאָרמירונג, טוישן און "שכל" פון די פאָרמולאַס און טערמינען פון וואָס זיי זענען געמאכט:

1. קאַנסטראַקשאַן טערמין פאָרמולאַס און;
2. לערנען פון די סעמאַנטיק אַספּעקט און ינטערפּריטיישאַן;
3. די סיקוואַנס פון איינער פון די פאָרמולאַס און אנדערע טערמין.

יעדער פאָרמאַל שפּראַך זאָל זיין געזונט געגרינדעט שטעלן פון כּללים.

לעמאָשל 4

רעכט צו דער בייַזייַן אין די כּללים פון די שפּראַך סינטאַקס רעזולטאַט פֿאַר טערמינען און פאָרמולאַס קענען ווערן געמאכט יסאָמאָרפיק טראַנספאָרמאַציע מאָדעלס. אַזוי עס וועט זיין געטראגן אויס ניט בלויז די אָפּשפּיגלונג (פאַרטרעטונג פון) $ אַ ספּעציפיש גוף פון וויסן אַז שוין יגזיסץ, אָבער קען באַקומען נייַ אינפֿאָרמאַציע. דערצו, די טראַנספאָרמאַציע, כאָטש, און וועט נעמען אָרט לויט צו קלאָר און שטרענג כּללים, עס קענען זיין אָטאַמייטיד. ענלעך טעקניקס זענען געניצט אין מומחה סיסטעמען, וויסן באַסעס, און ווייכווארג באַשלוס שטיצן פּראָדוקטן.

סאָף

פאָרמאַל שפּראַכן זענען וויידלי געניצט אין וויסנשאַפֿט, ספּעציעל אין די קונסט. בעשאַס די SCIENTIFIC פאָרשונג און די ימפּלאַמענטיישאַן פון פּראַקטיש אַקטיוויטעטן זיי קענען ינטעראַקט מיט די נאַטירלעך, אין מיינונג פון די היפּש יקספּרעסיוו אַבילאַטיז פון די יענער. נאָך פאָרמאַל שפּראַכן קענען מער אַקיעראַטלי קאַנוויי וויסן און צו פירן אויס אַן אָביעקטיוו וועקסל פון אינפֿאָרמאַציע אַקיומיאַלייטיד דורך מענטשהייַט.