タグシステム(英: Tag system)は、1943年にエミール・ポストが発表した決定性計算模型の一種であり、のごく単純な形式のものである。タグシステムを抽象機械とみなした場合、ポストタグ機械(Post Tag Machine、PTM)とも呼ぶ。大まかに言えば、無限長のFIFOキューとしてのテープ装置を持った有限状態機械であり、状態遷移のたびにテープのヘッド位置から記号を読み取り、ヘッド位置から固定個の記号を消去し、最後尾に記号を追加する。
タグシステム(英: Tag system)は、1943年にエミール・ポストが発表した決定性計算模型の一種であり、のごく単純な形式のものである。タグシステムを抽象機械とみなした場合、ポストタグ機械(Post Tag Machine、PTM)とも呼ぶ。大まかに言えば、無限長のFIFOキューとしてのテープ装置を持った有限状態機械であり、状態遷移のたびにテープのヘッド位置から記号を読み取り、ヘッド位置から固定個の記号を消去し、最後尾に記号を追加する。 (ja)
タグシステム(英: Tag system)は、1943年にエミール・ポストが発表した決定性計算模型の一種であり、のごく単純な形式のものである。タグシステムを抽象機械とみなした場合、ポストタグ機械(Post Tag Machine、PTM)とも呼ぶ。大まかに言えば、無限長のFIFOキューとしてのテープ装置を持った有限状態機械であり、状態遷移のたびにテープのヘッド位置から記号を読み取り、ヘッド位置から固定個の記号を消去し、最後尾に記号を追加する。 (ja)
タグシステム(英: Tag system)は、1943年にエミール・ポストが発表した決定性計算模型の一種であり、のごく単純な形式のものである。タグシステムを抽象機械とみなした場合、ポストタグ機械(Post Tag Machine、PTM)とも呼ぶ。大まかに言えば、無限長のFIFOキューとしてのテープ装置を持った有限状態機械であり、状態遷移のたびにテープのヘッド位置から記号を読み取り、ヘッド位置から固定個の記号を消去し、最後尾に記号を追加する。 (ja)
タグシステム(英: Tag system)は、1943年にエミール・ポストが発表した決定性計算模型の一種であり、のごく単純な形式のものである。タグシステムを抽象機械とみなした場合、ポストタグ機械(Post Tag Machine、PTM)とも呼ぶ。大まかに言えば、無限長のFIFOキューとしてのテープ装置を持った有限状態機械であり、状態遷移のたびにテープのヘッド位置から記号を読み取り、ヘッド位置から固定個の記号を消去し、最後尾に記号を追加する。 (ja)