bn:02440762n
Noun Concept
Categories: 数学に関する記事, 計算モデル
JA
タグシステム
JA
タグシステム(英: Tag system)は、1943年にエミール・ポストが発表した決定性計算模型の一種であり、ポスト正準系のごく単純な形式のものである。 Wikipedia
Definitions
Relations
Sources
JA
タグシステム(英: Tag system)は、1943年にエミール・ポストが発表した決定性計算模型の一種であり、ポスト正準系のごく単純な形式のものである。 Wikipedia
Wikipedia
Wikidata