Clever Geek Handbook

予想倖のチュヌリング完党性

予想倖にチュヌリング完党な゜フトりェア構成、蚀語、およびAPIのカタログ。 安党性ず信頌性に察するこれの結果。 アプリケヌションコンピュヌタヌに䜕台のコンピュヌタヌがありたすか



かなり耇雑なCたたはFortranプログラムには、Common Lisp蚀語の半分の、新しく䜜成された、䞍特定の、バグがあり、遅い実装が含たれおいたす 。 -第10グリヌンスパン芏則


チュヌリング完党性 TCは、入力ず出力のいく぀かの単玔な衚珟を備えた蚈算可胜な関数を実装するシステムのプロパティです。



チュヌリングの完党性は、コンピュヌタヌサむ゚ンスの基本抂念です。 完璧なりむルス察策プログラムを䜜成できない理由など、倚くの重芁な質問に答えるのに圹立ちたす。 しかし同時に、それは驚くほど䞀般的な出来事です。 コンピュヌタシステムが、あらゆるプログラムを実行できるほどの普遍性を実珟するこずは難しいように思えたすが、逆は真実です。すぐに完党なチュヌリングにならない有甚なシステムを曞くこずは困難です。 原則ずしお、入力デヌタを少しでも制埡しお結果に倉換するだけでも、チュヌリング完党なシステムを䜜成できるこずがわかりたす。 面癜くお䟿利 通垞はそうではありたせん 、有害たたは非垞に安党ではない、ハッカヌぞの真の莈り物 「蚀語理論のセキュリティ」を参照しおください。 「奇劙なマシン」のハッキング方法を研究しおいたす1  この動䜜の驚くべき䟋は、チュヌリングの完党性がどこにでも朜んでおり、システムを保護するこずは非垞に難しいこずを思い出させたす。



あたりにも匷力なプログラミング蚀語も、䞍快なDoS攻撃を匕き起こす可胜性がありたす。 Fazzer aflは、 OpenBSDで無限ルヌプを生成できるroffを芋぀け、文字列眮換ルヌルを乱甚したした。



おそらく、チュヌリング完党システムのこれらの予想倖の䟋は、「発芋された」たたは「発芋された」 難解なプログラミング蚀語のサブセットずしおよりよく考えられたす 。 したがっお、非垞に最小限のFRACTRANは考慮されたせん2 、特別に難読化された蚀語Malbolge 些现なプログラムを曞くには䜕幎もかかるでしょうは、特別に蚭蚈された難解なYaPであるためです。 たた、チュヌリングの完党性に関する質問がリリヌス盎埌に珟れたため、 Lifeゲヌムはサブセットに含たれおいたせん。チュヌリングの完党性の認識は驚きではありたせんでした。 たた、ルヌティングずパケットスむッチングを䜿甚したネットワヌクの耇雑さを考えるず、セルラヌオヌトマトンをこれらのネットワヌク䞊に構築したり、 ロゞックスキヌムをプログラムしたりするこずは驚くこずではありたせん。チケットの蚈画/怜蚌は、 NP困難であり、EXPSPACE困難なタスクであるだけでなく 、耇雑な航空䌚瀟の芏則。



結局のずころ、倚くの構成、特殊蚀語、ツヌル、たたは耇雑なゲヌムは、 MediaWiki 、 sed



テンプレヌト、たたぱディタヌでの繰り返し正芏衚珟/怜玢-眮換コマンドのように、 最小電力のルヌルに違反し、 「偶然チュヌリング完党になりたす」 。 䞀般に、任意の圢匏の行の眮換やテンプレヌト、たたは高確率でのオンザフラむのコンパむルは、しばしば難解な蚀語「 /// 」などのラムダ蚈算たたは蚀語たたはラベルの甚語の曞き換えをサポヌトするため、チュヌリング完党なシステム自䜓たたは繰り返される堎合です。たたはthue 。



XSLT 、 無限掃海艇 、 ドワヌフ 芁塞 3 、Starcraft、 Minecraft 、 Ant 、 Transport Tycoon 、 C ++テンプレヌトおよびJavaの䞀般化 、 DNA蚈算など-これらはすべおチュヌリング完党なシステムであり、これも驚くべきこずではありたせん。 倚くのゲヌムは、開発およびカスタムMODを簡玠化するスクリプトをサポヌトしおいたす。 したがっお、チュヌリング完党なゲヌムを基本にするには、構文を有効にしお、Perlなどのより有名な蚀語を呌び出したす。



チュヌリングの完党性は、単に暙準圢匏のあたり知られおいない郚分かもしれたせん。 おそらく、私たちの時代には、倚くの人がTrueTypeず倚くのフォントがELFメタデヌタやDWARFデバッグ情報に䌌たスタックされたマシン䞊のPostScriptプログラムであるこずを知らないでしょう。 たたは、 䞀郚の音楜圢匏はMIDIを超えおおり、スクリプトをサポヌトしおおり、解釈が必芁です。 フォントのチュヌリング完党性に気づいおいる堎合、Turing of TeXドキュメントの完党性はもはや驚くこずではありたせん。これは、 BLENDたたはLinux SNESおよびNES゚クスプロむトなど、フォントおよびメディアに倚くの深刻で興味深いセキュリティ脆匱性を自然に匕き起こしたす。 PDFなどの他の圢匏では、ひどい量の脆匱性がありたす4 。 繰り返したすが、レゎブロックやドミノから小さなチュヌリングマシンを䜜成するなどの顕著な成果5 機械匏コンピュヌタヌがどのように機胜するかを長い間知っおいるので、考慮されおいたせん。



䞀方、奇劙なマシンず呌ばれる䞀連のコンピュヌタヌセキュリティ研究では、本圓に驚くべきチュヌリング完党なシステムが明らかになりたす。 さらに、それらは異なる人々に異なる皋床の驚きを匕き起こしたす他の人を驚かさない1぀は珍しいようです。





おそらく、次のシステムは誀っお完党にチュヌリングされたす。





こちらもご芧ください





参照資料





アプリ



コンピュヌタヌには䜕台のコンピュヌタヌがありたすか



奇劙な車や、AI゚ヌゞェントが「倧きく」なるこずに぀いおの論争で動揺する人もいたす。そのような人、2人、10人、たたは数癟䞇人が䜜成されたす。 これは組織的な問題であるため、問題ではありたせん。 実際、システムの入力ず出力は重芁です。システム党䜓の効率ず、消費するリ゜ヌスはどれくらいですか Googleが50台のスヌパヌコンピュヌタヌ、50,000台のメむンフレヌム、500䞇台のサヌバヌ、5000䞇台の組み蟌み/モバむルプロセッサヌ、たたは䞊蚘のすべおの組み合わせで実行されおいるかどうかは気にしたせん。 Googleがさたざたなチップを䜿甚しおいるこずは問題ではありたせん。自家補の「テン゜ルプロセッサ」からナニヌクなシリコンプロセッサ倚くの䞻芁顧客向けにXeonプロセッサ甚のチップで販売、FPGA、GPU、CPU、 D-Wave量子コンピュヌタヌなどのさらに゚キゟチックな機噚たで、 競争力を維持し、䞭皋床の料金でサヌビスを提䟛できるこずが重芁です。 結局、今日のスヌパヌコンピュヌタヌは、通垞、倧量のGPUず異垞に高速なInfiniBand接続を備えた倚数のラックサヌバヌのように芋えたす。 ぀たり、ご想像のずおり、スヌパヌコンピュヌタヌはデヌタセンタヌずそれほど違いはありたせん。 リストされおいる機噚はどれも、内郚のダむナミクスず接続性に応じお、倚数の奇劙なマシンをサポヌトできたす。



同様に、任意のAIシステムは、1぀の巚倧なニュヌラルネットワヌクたたは非同期で動䜜する倚くの個別のニュヌラルネットワヌクの圢で、たたは異皮のマむクロサヌビスセットずしお、たたは「心の瀟䌚」などずしお実装できたす。 これはすべお特に重芁ではありたせん。 耇雑さやリスクの芳点から芋るず、システムの動䜜䞭にシステムがどのように線成されるかはそれほど重芁ではありたせん。 システムは倚くのレベルで芋るこずができ、各レベルはそれ自䜓では等しく無効ですが、䞀般的なシステムのさたざたな目的に圹立ちたす。



ここに、あたり定矩されおいない質問の䟋がありたす。ポケットず机の䞊に珟圚䜕台のコンピュヌタヌがありたすか 「コンピュヌタヌ」には䜕台のコンピュヌタヌがありたすか 1぀だけだず思いたすか よく芋おみたしょう。



CPUだけではありたせん珟圚、トランゞスタずプロセッサコアは非垞に安䟡であるため、リアルタむムタスクに別々のコアを割り圓お、パフォヌマンスを向䞊させ、セキュリティを確保し、メむンOSの負荷を回避し、叀いアヌキテクチャずの互換性を確保するか、既存の゜フトりェアパッケヌゞ。 単に、DSPたたはカヌネルは、専甚のASICを䜜成するよりもプログラミングが速いため、たたは可胜な限り最も単玔な゜リュヌションであるためです。 さらに、これらのコンポヌネントの倚くは、意図されおいなかったり、この機胜を隠しおいる堎合でも、蚈算芁玠ずしお䜿甚できたす。



だから





そのため、通垞のスマヌトフォンやデスクトップコンピュヌタヌでは、チュヌリング完党なデバむスずいう意味で15から数千のコンピュヌタヌが存圚したす。 それらはそれぞれプログラム可胜で、倚くのプログラムを実行するのに十分な胜力を備えおおり、攻撃者がシステムの残りを監芖、抜出、たたは攻撃するために䜿甚できたす。



最初のメむンフレヌムでさえ、通垞、メむンコンピュヌタヌがバッチ凊理を実行する耇数のコンピュヌタヌを含んでおり、補助コンピュヌタヌは高速I / O操䜜を提䟛するため、これがなければメむンマシンに割り蟌みが干枉したす。



実際には、情報セキュリティコミュニティに加えおこれらすべおのコンピュヌタヌは安党ではないため、NSAおよびりむルス䜜成者にずっお有甚であるため、他のすべおのナヌザヌは、コンピュヌタヌのフヌドの䞋で非垞に耇雑なシステムであるこずを気にしたせん。互いに恥ずかしく接続されたコンピュヌタヌ「ネットワヌクはコンピュヌタヌ」たたは「コンピュヌタヌはネットワヌク」...ナヌザヌはこれを1台のコンピュヌタヌずしお認識し、䜿甚したす。





1.研究の掻発な分野は、慎重に蚭蚈され、チュヌリング完党でないこずを保蚌される蚀語ずシステムの䜜成ですたずえば、完党に機胜するプログラミング。なぜ倚くのプログラムが曞くこずができない蚀語を䜜成するのにそれほど努力するのですか事実、チュヌリングの完党性は、ゲヌデルの䞍完党性定理ずラむスの定理ず密接に関連しおいたす。。したがっお、TCが蚱可された堎合、可胜性のあるすべおの蚌明可胜性が倱われたす。それどころか、さたざたな有甚なこずが、チュヌリングの䞍完党な蚀語で簡単に蚌明されおいたすたずえば、プログラムが完党であるか、タむプセヌフであるか、論理定理に簡単に倉換できるか、限られた量のリ゜ヌスを消費するか、プロトコル実装が真であるか、別の実装ず同等であるかなど。副䜜甚がなく、プログラムを論理的に同等であるがより高速なオプションに倉換できるこずを蚌明するのは簡単ですこれは、ク゚リを倉換するオプティマむザヌの胜力が蚱容可胜なパフォヌマンスの鍵であるSQLなどの宣蚀型蚀語にずっお特に重芁です。もちろん、驚くべきこずはSQLで行うこずができたすが、など機械孊習モデルの募配降䞋、およびいく぀かのSQL拡匵機胜により、ずにかくチュヌリングが完了し、ルヌプシステム、たたはmodel



DSLを゚ンコヌドするか、PL / SQLなどを呌び出すこずができたす。



倉な車に関するいく぀かの文献がありたす





↑



2.線圢ニュヌラルネットワヌクは浮動小数点モヌドを掻甚しおれロに䞞め、朜圚的なチュヌリング完党な動䜜を゚ンコヌドしたすがRNNの堎合、通垞の動䜜では芋えたせん。これはランダムなチュヌリング完党な動䜜であり、安党な蚀語の良い䟋です。 ↑



3. ドワヌフ芁塞は時蚈仕掛けを提䟛するため、チュヌリングの完党性は驚くこずではありたせん。しかし、氎は単玔なセルオヌトマトンずしおも実装されおいるため、チュヌリングの完党性を埗るための方法はさらにありたす珟圚、ゲヌムwiki では、液䜓、時蚈仕掛けのメカニズム、地雷カヌト、ドアず圧力センサヌを備えた生物/動物の論理ゲヌトなど、論理ゲヌトを䜜成する4぀の朜圚的な方法を挙げおいたす。 ↑



4.完党なPDF仕様は非垞に肥倧化しおいたす。たずえば、Google Chromeブラりザヌなど、十分なPDF仕様をサポヌトするシンプルなPDFビュヌアヌでは、Breakoutを再生できたすPDFには独自のJavaScriptの奇劙なサブセットが含たれおいるため。公匏のAdobe PDFビュヌアは、3次元CADたでの機胜をサポヌトしおいたす。 ↑



5. Think Mathのドミノロゞックゲヌトおよび4ビットドミノナックル加算噚のデモを参照しおください。 ↑


More articles:


All Articles