プログラム理論(読み)プログラムりろん(英語表記)program theory

ブリタニカ国際大百科事典 小項目事典「プログラム理論」の解説

プログラム理論
プログラムりろん
program theory

コンピュータプログラムのもつ性質,特にその流れの構造に関する理論をいう。プログラムの同値性,停止性,正当性,複雑さの尺度,簡単化,並列・直列性,構造などに関して論じるもので,種々の性質が明らかになってきている。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

関連語をあわせて調べる

今日のキーワード

偽計業務妨害罪

虚偽の風説を流布し,または偽計を用いて人の業務を妨害する罪 (刑法 233) 。流布とは,犯人自身が公然と文書,口頭で伝達するほか,口伝えに噂として流す行為も含む。偽計とは人を欺罔,誘惑し,あるいは人...

続きを読む

コトバンク for iPhone

コトバンク for Android