様式９ +-------------------------------------+----------------+----------------------+ | ｼｽﾃﾑ名(ｺｰﾄﾞ): ALGOPAK | | システム報告書概要 | +-------------------------------------+ +----------------------+ | ﾓｼﾞｭｰﾙ名(ｺｰﾄﾞ): FA | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者･学生番号: 南和子 30SS1145 | 文書作成者･学生番号: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー 60/10/ | 文書作成期間: 61/01/ ー / / | +-------------------------------------+---------------------------------------+ | 親モジュール: | 子モジュール: | +-------------------------------------+---------------------------------------+ | 講義名・課題名: | 参考文献(著者名、書名、出版社、発行年)| +-------------------------------------+ | | 開発形態: 新規 | J.ウルマン,オートマトン言語理論.計算 | +-------------------------------------+ | | 形式: サブルーチン | 論１,サイエンス社,1984 | +-------------------------------------+---------------------------------------+ | 利用対象者: 一般 | 格納ﾒﾃﾞｨｱ形式: フロッピーディスク | +-------------------------------------+---------------------------------------+ | 目的（問題解説、機能解説−制限事項）| 格納ﾒﾃﾞｨｱ番号、ﾌｧｲﾙ名: 85-5080,FA | | 有限オートマトンの例 +---------------------------------------+ | | 記述言語・走行ＯＳ: TURBO PASCAL | | ０と１を偶数個ずつ含む列を受理する +---------------------------------------+ | | 走行条件（ハードウェア、ソフトウェア）| | 有限オートマトン | PC-9801,MS-DOS | | | | | | | +-------------------------------------+---------------------------------------+ | キーワード（適用分野、手法など） ： | 分類コード（ＣＲコードを使用） ： | | 有限オートマトン | | +-------------------------------------+---------------------------------------+ | 呼び出し法: FA | | | +-----------------------------------------------------------------------------+ | 操作手順(ｺﾝﾌﾟﾘｰﾄﾌﾟﾛｸﾞﾗﾑ(ﾒｲﾝﾌﾟﾛｸﾞﾗﾑ)の場合:1.システム起動手順､2.データ入出力 | | 手順と形式､3.終了手順) | | (ｻﾌﾞﾙｰﾁﾝの場合:1.呼び出し形式-引き数の並べ方-､2.親ルーチン､3.子ルー | | チン､4.その他) | | | | | | 1.呼び出し形式 | | | | FA | | | | 入力："0"と"1"からなる列の終わりに"2"をつけて入力 | | | | 出力：受理するとき ："ACCEPT" | | | | 受理しないとき："REJECT" | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 注. システム１つにつき１枚作成 必要な場合モジュール１つにつき１枚作成(ｲﾝﾀｰﾌｪｰｽ仕様書-様式１-に追加) 様式７ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | 問題解説 | +-------------------------------------+ +----------------------+ | モジュール名: FA | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | Ｍ＝（Ｓ，Ｉ，Ｄ，Ｑ０，Ｆ） | | | | Ｓ＝｛Ｑ０，Ｑ１，Ｑ２，Ｑ３｝ | | | | Ｉ＝｛０，１｝ | | | | Ｆ＝｛Ｑ０｝ | | | | Ｄ： Ｄ（Ｑ０，０）＝Ｑ２, Ｄ（Ｑ０，１）＝Ｑ１ | | | | Ｄ（Ｑ１，０）＝Ｑ３，Ｄ（Ｑ１，１）＝Ｑ０ | | | | Ｄ（Ｑ２，０）＝Ｑ３，Ｄ（Ｑ２，１）＝Ｑ３ | | | | Ｄ（Ｑ３，０）＝Ｑ１，Ｄ（Ｑ３，１）＝Ｑ２ | | | | 上のような有限オートマトンで受理されるかどうか。 | | | | （０と１をそれぞれ偶数個含む列の集合） | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: FA | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | ++-------++ +-----+ +-------+ | | !!PROGRAM!! +PARAME + +INPUT,OUT+ | | !! FA1 !!--!->+ TER +---->!PUT ! | | !! !! ! + + + + | | ++-------++ ! +-----+ +-------+ | | ! | | ! +---------+ | | ! ! $I FAA ! | | !->! ------- ! | | ! ! ! | | ! +---------+ | | ! | | ! +---------+ | | ! ! $I FAB ! | | !->! ------- ! | | ! ! ! | | ! +---------+ | | ! | | ! +-------------------------+ | | ! !D[Q0,0]:=Q2; D[Q0,1]:=Q1;! | | -->!D[Q1,0]:=Q3; D[Q1,1]:=Q0;! | | ^ !D[Q2,0]:=Q0; D[Q2,1]:=Q3 ! | | ! +-------------------------+ | | ! ! | | ! +-------------------------+ | | ! !D[Q3,0]:=Q1; D[Q3,1]:=Q2;! | | ! ! ! | | ! !T:=Q0 ! | | ! +-------------------------+ | | ! ! | | ! +-----+ | | ! /READ(/ | | ! /X) / | | ! / / | | ! +-----+ | | ! ! | | ! +---------+ | | ! ! $I FAC ! | | ! ! ------- ! | | ! ! ! | | ! +---------+ | | ! ! T: | | ! +-----+ +---------------------+ | | ! /WRITE/ / WRITELN('ACCEPT') / | | ! /LN / --> / / | | ! / / ! / / | | ! +-----+ ! +---------------------+ | | ! ! ! F: | | ! +-------+ ! +---------------------+ | | ! !IF T=Q0 + ! / WRITELN('REJECT') / | | !-! +----> / / | | ! + / / | | +-------+ +---------------------+ | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: FA | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | +-----+ +-------+ +---------+ | | +TYPE + +STATE + !(Q0,Q1,Q2! | | + +--!->! !---->!,Q3) ! | | + + ! + + ! ! | | +-----+ ! +-------+ +---------+ | | ! | | ! +-------+ +---------+ | | ! +INTE + !0..1 ! | | -->! !---->! ! | | + + ! ! | | +-------+ +---------+ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: FA | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | +-----+ +-------+ +---------+ | | +VAR + +T + !STATE ! | | + +--!->! !---->! ! | | + + ! + + ! ! | | +-----+ ! +-------+ +---------+ | | ! | | ! +-------+ +---------+ | | ! +X + !INTE ! | | !->! !---->! ! | | ! + + ! ! | | ! +-------+ +---------+ | | ! | | ! +-------+ +--------++ +---------+ | | ! +D + !ARRAY[Q0!! !STATE ! | | -->! !---->!..Q3,INT!!---->! ! | | + + !E] !! ! ! | | +-------+ +--------++ +---------+ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ALGOPAK | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: FA | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 南和子 30SS1145 | 文書作成者: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー / / | 文書作成期間: 61/02/ ー / / | +-------------------------------------+---------------------------------------+ | | | +--------++ +---------+ | | !WHILE X2 DO !!---->! ! | | ! !! ^ ! ! | | +--------++ ! +---------+ | | ! ! | | ! +-----+ | | ! /READ(/ | | !- /X) / | | / / | | +-----+ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式９ +-------------------------------------+----------------+----------------------+ | ｼｽﾃﾑ名(ｺｰﾄﾞ): ALGOPAK | | システム報告書概要 | +-------------------------------------+ +----------------------+ | ﾓｼﾞｭｰﾙ名(ｺｰﾄﾞ): CFA | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者･学生番号: 南和子 30SS1145 | 文書作成者･学生番号: 南和子 30SS1145 | +-------------------------------------+---------------------------------------+ | 作成期間: 60/07/ ー 60/10/ | 文書作成期間: 61/01/ ー / / | +-------------------------------------+---------------------------------------+ | 親モジュール: | 子モジュール: FA | +-------------------------------------+---------------------------------------+ | 講義名・課題名: | 参考文献(著者名、書名、出版社、発行年)| +-------------------------------------+ | | 開発形態: 新規 | J.ウルマン,オートマトン言語理論.計 | +-------------------------------------+ | | 形式: コンプリート | 算論１,サイエンス社,1984 | +-------------------------------------+---------------------------------------+ | 利用対象者: 一般 | 格納ﾒﾃﾞｨｱ形式: フロッピーディスク | +-------------------------------------+---------------------------------------+ | 目的（問題解説、機能解説−制限事項）| 格納ﾒﾃﾞｨｱ番号、ﾌｧｲﾙ名: 85-5080,CFA | | 有限オートマトンの例 +---------------------------------------+ | | 記述言語・走行ＯＳ: TURBO PASCAL | | ０と１を偶数個ずつ含む列を受理する +---------------------------------------+ | | 走行条件（ハードウェア、ソフトウェア）| | 有限オートマトン | PC-9801,MS-DOS | | | | | | | +-------------------------------------+---------------------------------------+ | キーワード（適用分野、手法など） ： | 分類コード（ＣＲコードを使用） ： | | 有限オートマトン | | +-------------------------------------+---------------------------------------+ | 呼び出し法: CFA | | | +-----------------------------------------------------------------------------+ | 操作手順(ｺﾝﾌﾟﾘｰﾄﾌﾟﾛｸﾞﾗﾑ(ﾒｲﾝﾌﾟﾛｸﾞﾗﾑ)の場合:1.システム起動手順､2.データ入出力 | | 手順と形式､3.終了手順) | | (ｻﾌﾞﾙｰﾁﾝの場合:1.呼び出し形式-引き数の並べ方-､2.親ルーチン､3.子ルー | | チン､4.その他) | | | | | | 1. >TURBO | | | | >Y | | | | >R | | | | B:CFA.SRC | | | | 2. 入力："0"と"1"からなる列の終わりに"2"をつけて入力. | | | | 出力：受理するとき "ACCEPT" | | | | 受理しないとき "REJECT" | | | | 3. >Q | | | | (ただし、ドライブＡには、TURBO PASCALのシステム、 | | | | ドライブＢには、85-5080をセットして、システムを起動。) | | | | | | | | | | | +-----------------------------------------------------------------------------+ 注. システム１つにつき１枚作成 必要な場合モジュール１つにつき１枚作成(ｲﾝﾀｰﾌｪｰｽ仕様書-様式１-に追加)