タグシステム
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/01/27 09:31 UTC 版)
タグシステム(英: Tag system)は、1943年にエミール・ポストが発表した決定性計算模型の一種であり、ポスト正準系のごく単純な形式のものである。タグシステムを抽象機械とみなした場合、ポストタグ機械(Post Tag Machine、PTM)とも呼ぶ。大まかに言えば、無限長のFIFOキューとしてのテープ装置を持った有限状態機械であり、状態遷移のたびにテープのヘッド位置から記号を読み取り、ヘッド位置から固定個の記号を消去し、最後尾に記号を追加する。
- 1 タグシステムとは
- 2 タグシステムの概要
- 3 最初のタグシステムの定義
- 4 参考文献
- 5 外部リンク
「タグシステム」の例文・使い方・用例・文例
- タグシステムのページへのリンク