מיטגליד : לאָגין |פאַרשרייַבונג |פאָרלייגן קשיא
זוכן
[מאָדיפיקאַטיאָן ] טעאָריע פון ​​קאַמפּיאַטיישאַן
אין טעאָרעטיש קאָמפּיוטער וויסנשאַפֿט און מאטעמאטיק, די טעאָריע פון ​​קאַמפּיאַטיישאַן איז דער צווייַג וואָס דילז מיט ווי יפישאַנטלי פּראָבלעמס קענען זיין סאַלווד אויף אַ מאָדעל פון קאַמפּיוטינג, ניצן אַ אַלגערידאַם. די פעלד איז צעטיילט אין דרייַ הויפּט צווייגן: אָטאַמאַטאַ טעאָריע און שפּראַך, קאָמפּוטאַביליטי טעאָריע, און קאַמפּיאַטיישאַנאַל קאַמפּלעקסיטי טעאָריע, וואָס זענען לינגקט דורך די קשיא: "וואָס זענען די פונדאַמענטאַל קייפּאַבילאַטיז און לימיטיישאַנז פון קאָמפּיוטערס?".
אין סדר צו דורכפירן אַ שטרענג לערנען פון קאַמפּיאַטינג, קאָמפּיוטער סייאַנטיס אַרבעט מיט אַ מאַטאַמאַטיקאַל אַבסטראַקציע פון ​​קאָמפּיוטערס גערופן אַ מאָדעל פון קאַמפּיאַטיישאַן. עס זענען עטלעכע מאָדעלס אין נוצן, אָבער די מערסט קאַמאַנלי יגזאַמאַנד איז די טורינג מאַשין. קאמפיוטער סייאַנטיס לערנען די טורינג מאַשין ווייַל עס איז פּשוט צו פאָרמולירן, קענען זיין אַנאַלייזד און געוויינט צו באַווייַזן רעזולטאַטן, און ווייַל עס רעפּראַזענץ וואָס פילע באַטראַכטן די מערסט שטאַרק מעגלעך "גלייַך" מאָדעל פון קאַמפּיאַטיישאַן (זען טשורטש-טורינג טעזיס). עס קען ויסקומען אַז די פּאַטענשאַלי ינפאַנאַט זכּרון קאַפּאַציטעט איז אַ אַנרילאַבאַבאַל אַטריביוט, אָבער קיין דעסיזאַבאַל פּראָבלעם סאַלווד דורך אַ טורינג מאַשין וועט שטענדיק דאַרפן בלויז אַ גאַנץ סומע פון ​​זכּרון. אַזוי אין פּרינציפּ, קיין פּראָבלעם וואָס איז סאַלווד (באַשלאָסן) דורך אַ טורינג מאַשין קענען זיין סאַלווד דורך אַ קאָמפּיוטער וואָס האט אַ ענדיק סומע פון ​​זכּרון.
[קאָמפּאַטאַטיאָנאַל קאַמפּלעקסיטי טעאָריע]
געשיכטע.1
בראַנטשעס.2
Automata theory.1.2
פאָרמאַל שפּראַך טעאָריע.1.1.2
Computability theory.2.2
קאָמפּאַטאַטיאָנאַל קאַמפּלעקסיטי טעאָריע.3.2
מאָדעלס פון קאַמפּיאַטיישאַן.3
[ופּלאָאַד מער ינהאַלט ]

Lxjkh 2018@ קאַפּירייט