様式９ +-------------------------------------+----------------+----------------------+ | ｼｽﾃﾑ名(ｺｰﾄﾞ): ALGOPAK | | システム報告書概要 | +-------------------------------------+ +----------------------+ | ﾓｼﾞｭｰﾙ名(ｺｰﾄﾞ): TM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者･学生番号: 南和子 30SS1145 | 文書作成者･学生番号: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/10/ ー 61/02/ | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | 親モジュール: | 子モジュール: | +-------------------------------------+---------------------------------------+ | 講義名・課題名: | 参考文献(著者名、書名、出版社、発行年)| +-------------------------------------+ | | 開発形態: 新規 | J.ウルマン,オートマトン言語理論.計算 | +-------------------------------------+ | | 形式: サブルーチン | 論１,サイエンス社,1984 | +-------------------------------------+---------------------------------------+ | 利用対象者: 一般 | 格納ﾒﾃﾞｨｱ形式: フロッピーディスク | +-------------------------------------+---------------------------------------+ | 目的（問題解説、機能解説−制限事項）| 格納ﾒﾃﾞｨｱ番号、ﾌｧｲﾙ名: 85-5080,TM | | チューリング・マシン +---------------------------------------+ | | 記述言語・走行ＯＳ: TURBO PASCAL | | +---------------------------------------+ | | 走行条件（ハードウェア、ソフトウェア）| | | PC-9801,MS-DOS | | | | | | | +-------------------------------------+---------------------------------------+ | キーワード（適用分野、手法など） ： | 分類コード（ＣＲコードを使用） ： | | チューリング・マシン | | +-------------------------------------+---------------------------------------+ | 呼び出し法: TM | | | +-----------------------------------------------------------------------------+ | 操作手順(ｺﾝﾌﾟﾘｰﾄﾌﾟﾛｸﾞﾗﾑ(ﾒｲﾝﾌﾟﾛｸﾞﾗﾑ)の場合:1.システム起動手順､2.データ入出力 | | 手順と形式､3.終了手順) | | (ｻﾌﾞﾙｰﾁﾝの場合:1.呼び出し形式-引き数の並べ方-､2.親ルーチン､3.子ルー | | チン､4.その他) | | | | | | 1.呼び出し形式 | | | | TM | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 注. システム１つにつき１枚作成 必要な場合モジュール１つにつき１枚作成(ｲﾝﾀｰﾌｪｰｽ仕様書-様式１-に追加) 様式７ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | 問題解説 | +-------------------------------------+ +----------------------+ | モジュール名: TM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | M=(Q,I,T,D,Q0,2,F) | | | | Q={Q0,Q1,Q2,Q3,Q4} | | | | I={0,1} | | | | T={0,1,2} | | | | F={Q0} | | | | D: D(Q0,0)=(Q0,0,R), | | | | D(Q0,1)=(Q1,1,R), | | | | D(Q0,2)=(Q0,2,R) | | | | この例では、上のようなチューリング機械で受理されるかどうかを | | | | 表している。 | | | | ここで、Ｑ：状態の集合 | | | | Ｉ：入力記号の集合 | | | | Ｔ：テープ記号の集合 | | | | Ｄ：動作関数 | | | | Ｑ０：初期状態 | | | | ２：空白記号 | | | | Ｆ：受理状態の集合 である。 | | | | ユーザーは、この例のQ,I,T範囲内で、D,QO,Fを指定して、自分の | | | | 好きなチューリング機械をつくり、入力列も好きなものを入れてよい。 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: TM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | ++-------++ +-----+ +-------+ | | ||program|| +paramet+ +input , + | | +-|| tm ||-+--+ er +----|output | | | | || || | + + + + | | | ++-------++ | +-----+ +-------+ | | | | | | | | +-----+ ++-------++ +---------+ | | | | +const + ||tape_le|| |20 | | | | +--+ +----||n ||----| | | | | | + + || || | | | | | | +-----+ ++-------++ +---------+ | | | | | | | | +-----+ ++-------++ +---------+ | | | | +type + ||k || |0 .. 4 | | | | +--+ +-+--|| ||----| | | | | | + + | || || | | | | | | +-----+ | ++-------++ +---------+ | | | | | | | | | | ++-------++ +---------+ | | | | | ||tape_sy|| |0 .. 2 | | | | | +--||m ||----| | | | | | | || || | | | | | | | ++-------++ +---------+ | | | | | | | | | | ++-------++ +------++ +-------+ | | | | | ||next_co|| |record ++ +state + | | | | +--||nfig ||----| ++-+--| |---| | | | | || || | ++ | + + | | | | | ++-------++ +------++ | +-------+ | | | | | | | | | | | | +-------+ | | | | | | +t_sym + | | | | | +--| |---| | | | | | + + | | | | | | +-------+ | | | | | | | | | | | | +-------+ | | | | | | +mov + | | | | | +--| |---| | | | | + + | | | | | +-------+ | | | | | | | | | | ++-------++ +--------++ | | | | | ||d || |packed || | | | | +--|| ||-------------------|array [ ||---| | | | | || || |k , || | | | | | ++-------++ |tape_sym|| | | | | | |] || | | | | | | || | | | | | | || | | | | | | || | | | | | | || | | | | | +--------++ | | | | | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: TM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ++-------++ | | ||k || | |---|| || | | || || | | ++-------++ | | | | ++-------++ | | ||tape_sy|| | |---||m || | | || || | | ++-------++ | | | | +---------+ | | |0 .. 1 | | |---| | | | | | | | +---------+ | | | | ++-------++ | | ||next_co|| | |---||nfig || | | || || | | ++-------++ | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: TM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | | | | | | | ++-------++ +--------++ | | | | | ||tape || |packed || | | | | +--|| ||-------------------|array [ ||---| | | | | || || |1 .. || | | | | | ++-------++ |tape_len|| | | | | | |] || | | | | | ++-------++ +------++ ++-------++ | | | | | ||stat_se|| |set ++ ||k || | | | | +--||t ||----| ++----|| || | | | | | || || | ++ || || | | | | | ++-------++ +------++ ++-------++ | | | | | | | | | | ++-------++ +------++ ++-------++ | | | | | ||sym_set|| |set ++ ||tape_sy|| | | | | +--|| ||----| ++----||m || | | | | | || || | ++ || || | | | | | ++-------++ +------++ ++-------++ | | | | | | | | | | ++-------++ +------++ +-------+ | | | | | ||tm_type|| |record ++ +stat_ptr + | | | | +--|| ||----| ++-+--| |---| | | | | || || | ++ | + + | | | | | ++-------++ +------++ | +-------+ | | | | | | | | | | | | +-------+ | | | | | | +input_ptr+ | | | | | +--| |---| | | | | | + + | | | | | | +-------+ | | | | | | | | | | | | +-------+ | | | | | | +tape_ptr + | | | | | +--| |---| | | | | | + + | | | | | | +-------+ | | | | | | | | | | | | +-------+ | | | | | | +table_ptr+ | | | | | +--| |---| | | | | | + + | | | | | | +-------+ | | | | | | | | | | | | +-------+ | | | | | | +init_ptr + | | | | | +--| |---| | | | | | + + | | | | | | +-------+ | | | | | | | | | | | | +-------+ | | | | | | +final_ptr+ | | | | | +--| |---| | | | | + + | | | | | +-------+ | | | | | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: TM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | ++-------++ | | ||tape_sy|| | |---||m || | | || || | | ++-------++ | | | | | | | | | | | | | | | | | | | | | | | | | | | | +---------+ | | |^ | | |---|stat_set | | | | | | | +---------+ | | | | +---------+ | | |^ | | |---|sym_set | | | | | | | +---------+ | | | | +---------+ | | |^ | | |---|sym_set | | | | | | | +---------+ | | | | +---------+ | | |^ d | | |---| | | | | | | | +---------+ | | | | +---------+ | | |^ k | | |---| | | | | | | | +---------+ | | | | +---------+ | | |^ | | |---|stat_set | | | | | | | +---------+ | | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: TM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | | | | | | | ++-------++ +---------+ | | | | | ||tm_ptr || |^ | | | | | +--|| ||----|tm_type | | | | | | || || | | | | | | | ++-------++ +---------+ | | | | | | | | | | ++-------++ +---------+ | | | | | ||result || |(reject, | | | | | +--|| ||----| accept) | | | | | || || | | | | | | ++-------++ +---------+ | | | | | | | | +-----+ +-------+ ++-------++ | | | | +var + +tm + ||tm_ptr || | | | +--+ +-+--| |----|| || | | | | + + | + + || || | | | | +-----+ | +-------+ ++-------++ | | | | | | | | | | +-------+ ++-------++ | | | | | +input_tap+ ||tape || | | | | +--|e |----|| || | | | | + + || || | | | | +-------+ ++-------++ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ++-------++ | | | | ||procedu|| | | | +--||re exx || | | | || || | | | ++-------++ | | | | | | ++-------++ +-----+ +-------+ +---------+ | | | ||procedu|| +var + +i + |integer | | | +--||re ex1 ||-+--+ + ---| | ---| | | | | || || | + + + + | | | | | ++-------++ | +-----+ +-------+ +---------+ | | | | | | | | +--------++ +---------+ | | | | |for i || |input_tap| | | | ++-|:= 1 to ||----|e [ i ] | | | | | |tape_len|| |:= 0 | | | | | | || +---------+ | | | | | || | | | | +--------++ +---------+ | | | | |for i || |input_tap| | | | | |:= 5 to ||----|e [ i ] | | | | | |tape_len|| |:= 2 | | | | | +--------++ +---------+ | | | | | || | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: TM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +--------++ +-------+ | | | | |for i || +write + | | | | |:= 1 to ||---- |( | | | | | |tape_len|| |input_t| | | | | | || |ape [ i| | | | | | || | ] ) | | | | | | +------++ | | | | | | |+writeln+| | | | | | | || || | | | | | | |+ +| + + | | | | +-------+++ +-------+ | | | | | T: | | | | +-------+ +-------+ | | | | |if + +writeln+ | | | +-|exec_tm +-+-- |( | | | | |( tm , | | |'ACCEPT| | | | |input_ta | | |' ) | | | | |pe ) = | | F: | | | | |accept | | |+------++ | | | | | | +writeln+ | | | | + ++- |( | | | | | + | +'REJECT+ | | | +-------+ | ++------+| | | | | |' ) | | | | | ++-------++ +-------+ | | | | ||for i || +write + | | | | ||:= 1 to||---- |( | | | | | |+tape_le+| |input_t| | | | | +-------+|| |ape [ i| | | | | |n || | ] ) | | | | | | +------++ | | | | | | |+writeln+| | | | | | +-|| || | | | | | |+ +| + + | | | +-------+++ +-------+ | | | | | | ++-------++ +-----+ +-------+ +---------+ | | | ||procedu|| +var + +i + |integer | | | +--||re ex2 ||-+--+ +----| |----| | | | | || || | + + + + | | | | | ++-------++ | +-----+ +-------+ +---------+ | | | | | | | | +--------++ +---------+ | | | | |for i || |input_tap| | | | ++-|:= 1 to ||----|e [ i ] | | | | | |tape_len|| |:= 0 | | | | | | || +---------+ | | | | | || | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: TM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +--------++ +---------+ | | | | |for i || |input_tap| | | | | |:= 8 to ||----|e [ i ] | | | | | |tape_len|| |:= 2 | | | | | | || +---------+ | | | | | || | | | | +--------++ | | | | |input_ta|| | | | | |pe [ 4 ]|| | | | | |:= 1 || | | | | +--------++ | | | | | | | | | +--------++ +-------+ | | | | |for i || +write + | | | | |:= 1 to ||---- |( | | | | | |tape_len|| |input_t| | | | | | || |ape [ i| | | | | | || | ] ) | | | | | | +------++ | | | | | | |+writeln+| | | | | | | || || | | | | | | |+ +| + + | | | | +-------+++ +-------+ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | T: | | | | +-------+ +-------+ | | | | |if + +writeln+ | | | +-|exec_tm +-+-- |( | | | | |( tm , | | |'ACCEPT| | | | |input_ta | | |' ) | | | | |pe ) = | | F: | | | | |accept | | |+------++ | | | | | | +writeln+ | | | | + ++- |( | | | | | + | +'REJECT+ | | | +-------+ | ++------+| | | | | |' ) | | | | | ++-------++ +-------+ | | | | ||for i || +write + | | | | ||:= 1 to||---- |( | | | | | |+tape_le+| |input_t| | | | | +-------+|| |ape [ i| | | | | |n || | ] ) | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: TM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | ! | | ! | | ! | | ! | | ! | | ! | | ! | | ! +--------++ +-------------------------+ | | ! !with tm^!! !new(stat_ptr); ! | | !->! !!--!->!new(input_ptr); ! | | ! ! !! ! !new(tape_ptr); ! | | ! +--------++ ! +-------------------------+ | | ! ! | | ! ! +-------------------------+ | | ! ! !new(table_ptr); ! | | ! -->!new(init_ptr); ! | | ! !new(final_ptr) ! | | ! +-------------------------+ | | ! | | ! +--------++ +-------------------------+ | | ! !with tm^!! !stat_ptr^:=[0,1,2,3,4]; ! | | !->! !!--!->!input_ptr^:=[0,1]; ! | | ! ! !! ! !tape_ptr^:=[0,1,2]; ! | | ! +--------++ ! +-------------------------+ | | ! ! | | ! ! +-------------------------+ | | ! ! !table_ptr^[0,2].state:=0;! | | ! !->!table_ptr^[0,2].t_sym:=2;! | | ! ! !table_ptr^[0,2].mov :=1;! | | ! ! +-------------------------+ | | ! ! | | ! ! +-------------------------+ | | ! ! !table_ptr^[0,1].state:=1;! | | ! !->!table_ptr^[0,1].t_sym:=1;! | | ! ! !table_ptr^[0,1].mov :=1;! | | ! ! +-------------------------+ | | ! ! | | ! ! +-------------------------+ | | ! ! !table_ptr^[0,0].state:=0;! | | ! !->!table_ptr^[0,0].t_sym:=0;! | | ! ! !table_ptr^[0,0].mov :=1;! | | ! ! +-------------------------+ | | ! ! | | ! ! +-------------------------+ | | ! ! !init_ptr^:=0; ! | | ! -->!final_ptr^:=[0] ! | | ! ! ! | | ! +-------------------------+ | | ! | | ! | | ! | | ! | | ! | | ! | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: TM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | ! | | ! +---------------------+ | | ! / writeln('EXAMPLE1 / | | !-> / '); / | | ! / / | | ! +---------------------+ | | ! | | ! ++-------++ | | ! !!ex1 !! | | !->!! !! | | ! !! !! | | ! ++-------++ | | ! | | ! +---------------------+ | | ! / writeln('EXAMPLE2 / | | !-> / '); / | | ! / / | | ! +---------------------+ | | ! | | ! ++-------++ | | ! !!ex2 !! | | -->!! !! | | !! !! | | ++-------++ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式９ +-------------------------------------+----------------+----------------------+ | ｼｽﾃﾑ名(ｺｰﾄﾞ): ALGOPAK | | システム報告書概要 | +-------------------------------------+ +----------------------+ | ﾓｼﾞｭｰﾙ名(ｺｰﾄﾞ): CTM | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者･学生番号: 南和子 30SS1145 | 文書作成者･学生番号: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/10/ ー / / | 文書作成期間: 61/01/ ー / / | +-------------------------------------+---------------------------------------+ | 親モジュール: | 子モジュール: TM | +-------------------------------------+---------------------------------------+ | 講義名・課題名: | 参考文献(著者名、書名、出版社、発行年)| +-------------------------------------+ | | 開発形態: 新規 | J.ウルマン,オートマトン言語理論.計算 | +-------------------------------------+ | | 形式: コンプリート | 論１,サイエンス社,1984 | +-------------------------------------+---------------------------------------+ | 利用対象者: 一般 | 格納ﾒﾃﾞｨｱ形式: フロッピーディスク | +-------------------------------------+---------------------------------------+ | 目的（問題解説、機能解説−制限事項）| 格納ﾒﾃﾞｨｱ番号、ﾌｧｲﾙ名: 85-5080,CTM | | チューリング・マシン +---------------------------------------+ | | 記述言語・走行ＯＳ: TURBO PASCAL | | +---------------------------------------+ | | 走行条件（ハードウェア、ソフトウェア）| | | PC-9801,MS-DOS | | | | | | | +-------------------------------------+---------------------------------------+ | キーワード（適用分野、手法など） ： | 分類コード（ＣＲコードを使用） ： | | チューリング・マシン | | +-------------------------------------+---------------------------------------+ | 呼び出し法: CTM | | | +--------------------------------