No.458
形式言語理論とオートマトン理論
Theory of Formal Languages and Theory of Automata
　
1982/02/01〜1982/02/03
小林　孝次郎
KOBAYASHI,KOJIRO
　
目　次
　
1. Listing Subtrees of a Binary Tree (形式言語理論とオ-トマトン理論)-----------------------------------------------------------------1
　　　　東京都立大学理学部　　　疋田 輝雄　(HIKITA,TERUO)
　
2. ヒープの解析 (形式言語理論とオートマトン理論)------------------------------------------------------------------------------------11
　　　　　　　内村 桂輔　(山梨大学工学部)
　
3. 等価性判定問題が可解であるdpdaの一つの部分クラスについて (形式言語理論とオートマトン理論)----------------------------------------20
　　　　三菱電機株式会社情報電子研究所　　　関本 彰次　(SEKIMOTO,SHOJI)
　
4. 付随式を用いる1階述語論理の証明図作成方法 (形式言語理論とオートマトン理論)-------------------------------------------------------30
　　　　名古屋工業大学工学部 / 名古屋工業大学工学部 / 名古屋工業大学工学部　　　大芝 猛 / 永田 周郎 / 舟橋 栄　(OSHIBA,TAKESHI / NAGATA,SHURO / FUNAHASHI,SAKAE)
　
5. ニ部グラフの最長初等道と最長初等閉路について (形式言語理論とオートマトン理論)----------------------------------------------------40
　　　　都留文科大学　　　植村 憲治　(UEMURA,KENJI)
　
6. 3-連結グラフの連結点被覆問題 (形式言語理論とオートマトン理論)--------------------------------------------------------------------47
　　　　広島大学工学部 / 広島大学工学部　　　渡辺 敏正 / 中村 昭　(WATANABE,TOSHIMASA / NAKAMURA,AKIRA)
　
7. 最小切点集合を求めるための$O(N^2)$アルゴリズム (形式言語理論とオートマトン理論)--------------------------------------------------54
　　　　電気通信大学 / 電気通信大学　　　戸田 誠之助 / 笠井 琢美　(TODA,SEINOSUKE / KASAI,TAKUMI)
　
8. グラフの枝短絡除去問題 (形式言語理論とオートマトン理論)--------------------------------------------------------------------------64
　　　　豊橋技術科学大学 / 東京大学工学部　　　平田 富夫 / 浅野 孝夫　(HIRATA,TOMIO / ASANO,TAKAO)
　
9. グラフ理論におけるNL-完全な問題 (形式言語理論とオートマトン理論)-----------------------------------------------------------------74
　　　　早稲田大学理工学部 / 相模工業大学工学部　　　深沢 良彰 / 岩田 茂樹　(FUKAZAWA,YOSHIAKI / IWATA,SHIGEKI)
　
10. On Reliability and Efficiency of Probabilistic Algorithms (形式言語理論とオ-トマトン理論)---------------------------------------84
　　　　東京工業大学理学部　　　渡辺 治　(WATANABE,OSAMU)
　
11. 非対称通信路における符号について (形式言語理論とオートマトン理論)---------------------------------------------------------------94
　　　　岩手大学工学部　　　大川 知　(OKAWA,SATOSHI)
　
12. 非決定性プログラムの全面的正当性 (形式言語理論とオートマトン理論)--------------------------------------------------------------103
　　　　名古屋大学工学部 / 名古屋大学工学部 / 豊橋技術科学大学　　　村上 昌己 / 稲垣 康善 / 本多 波雄　(MURAKAMI,MASAMI / INAGAKI,YASUYOSHI / HONDA,NAMIO)
　
13. On Permutations of Wires and States (形式言語理論とオ-トマトン理論)------------------------------------------------------------113
　　　　Department of Electrical Engineering, University of Kentucky / 群馬大学工学部　　　BROWN F.M. / 五十嵐 善英　(BROWN,F.M. / IGARASHI,YOSHIHIDE)
　
14. 循環型シフト回路の埋め込み面積について (形式言語理論とオートマトン理論)--------------------------------------------------------122
　　　　東北大学工学部 / 東北大学工学部 / 東北大学工学部　　　瀬谷 和夫 / 丸岡 章 / 木村 正行　(SETANI,KAZUO / MARUOKA,AKIRA / KIMURA,MASAYUKI)
　
15. 組み合せ論理回路の面積複雑度 (形式言語理論とオートマトン理論)------------------------------------------------------------------132
　　　　京都大学工学部 / 京都大学工学部　　　安浦 寛人 / 矢島 脩三　(YASUURA,HIROTO / YAJIMA,SHUZO)
　
16. ハードウェアアルゴリズムの記述法について (形式言語理論とオートマトン理論)------------------------------------------------------142
　　　　京都大学工学部 / 京都大学工学部 / 京都大学工学部　　　大井 康 / 安浦 寛人 / 矢島 脩三　(0I,YASUSHI / YASUURA,HIROTO / YAJIMA,SHUZO)
　
17. 関係データベースにおけるRepresentative Instanceに関する一結果 (形式言語理論とオートマトン理論)---------------------------------152
　　　　大阪大学基礎工学部 / 大阪大学基礎工学部 / 大阪大学基礎工学部　　　岩崎 元昭 / 伊藤 実 / 嵩 忠雄　(IWASAKI,MOTOAKI / ITO,MINORU / KASAMI,TADAO)
　
18. Recovery of Incomplete Tables under Data Dependencies (形式言語理論とオ-トマトン理論)------------------------------------------162
　　　　九州大学理学部 / 九州大学理学部　　　宮野 悟 / 原口 誠　(MIYANO,SATORU / HARAGUCHI,MAKOTO)
　
19. 関係データベースシステムにおける従属性を利用したデータの表現について (形式言語理論とオートマトン理論)--------------------------172
　　　　京都大学工学部 / 神戸大学教養部 / 京都大学工学部 / 京都大学工学部　　　上林 弥彦 / 田中 克己 / 武田 浩一 / 矢島 脩三　(KANBAYASHI,YAHIKO / TANAKA,KATSUMI / TAKEDA,KOICHI / YAJIMA,SHUZO)
　
20. 分散データベースシステムにおける一般化準結合を用いた質問処理 (形式言語理論とオートマトン理論)----------------------------------182
　　　　京都大学工学部 / 京都大学工学部 / 京都大学工学部　　　吉川 正俊 / 上林 弥彦 / 矢島 脩三　(YOSHIKAWA,MASATOSHI / KANBAYASHI,YAHIKO / YAJIMA,SHUZO)
　
21. 線型セル構造オートマトンのイデアル論的アプローチ (形式言語理論とオートマトン理論)----------------------------------------------192
　　　　東洋大学工学部　　　佐藤 忠一　(SATO,TADAKAZU)
　
22. One-Pass Algorithms for Properties of Three-Dimensional Pictures (形式言語理論とオ-トマトン理論)-------------------------------201
　　　　広島大学総合科学部 / 広島大学工学部　　　会沢 邦夫 / 中村 昭　(AIZAWA,KUNIO / NAKAMURA,AKIRA)
　
23. A Note on Alternating On-Line Turing Machines (形式言語理論とオ-トマトン理論)--------------------------------------------------211
　　　　山口大工学部 / 山口大工学部 / 山口大工学部　　　井上 克司 / 高浪 五男 / 谷口 弘　(INOUE,KATSUSHI / TAKANAMI,ITSUO / TANIGUCHI,HIROSHI)
　
24. Polynomial Time Inference of Pattern Languages (形式言語理論とオ-トマトン理論)-------------------------------------------------221
　　　　九州大学総合理工学部　　　篠原 武　(SHINOHARA,TAKESHI)
　
25. One-Step Recurrent Term in $\lambda$-Calculus (形式言語理論とオ-トマトン理論)--------------------------------------------------231
　　　　静岡大学工学部　　　広川 佐千男　(HIROKAWA,SACHIO)
　
26. A Categorial Analysis of Lambda Calculus Models (形式言語理論とオ-トマトン理論)------------------------------------------------237
　　　　東京工業大学理学部　　　足立 高徳　(ADACHI,TAKANORI)
　
27. 多ソート部分的代数に対する等式推論規則 (形式言語理論とオートマトン理論)--------------------------------------------------------247
　　　　名古屋大学工学部 / 名古屋大学工学部 / 豊橋技術科学大学　　　坂部 俊樹 / 稲垣 康善 / 本多 波雄　(SAKABE,TOSHIKI / INAGAKI,YASUYOSHI / HONDA,NAMIO)
　
28. Denotational Semanticsを使った万能Interpreter (形式言語理論とオートマトン理論)-------------------------------------------------256
　　　　東京工業大学理学部　　　江崎 武史　(EZAKI,TAKESHI)
　
29. 二値画像に対する並列形処理と逐次形処理 (形式言語理論とオートマトン理論)--------------------------------------------------------266
　　　　豊橋技術科学大学 / 豊橋技術科学大学 / 豊橋技術科学大学 / 名古屋大学工学部　　　山下 雅史 / 本多 波雄 / 北橋 忠宏 / 稲垣 康善　(YAMASHITA,MASASHI / HONDA,NAMIO / KITAHASHI,TADAHIRO / INAGAKI,YASUYOSHI)
　
30. シャフルされた記号列の復元問題 (形式言語理論とオートマトン理論)----------------------------------------------------------------276
　　　　京都産業大学理学部　　　岩間 一雄　(IWAMA,KAZUO)
　
31. Repeatable Words for Substitution (形式言語理論とオ-トマトン理論)--------------------------------------------------------------286
　　　　京都大学理学部 / 京都大学理学部　　　西田 泰伸 / 小渕 洋一　(NISHIDA,TAISHIN / KOBUCHI,YOICHI)
　
32. Regular Adherenceとその諸性質について (形式言語理論とオートマトン理論)---------------------------------------------------------299
　　　　名古屋大学工学部 / 名古屋大学工学部 / 豊橋技術科学大学　　　泉 寛幸 / 稲垣 康善 / 本多 波雄　(IZUMI,HIROYUKI / INAGAKI,YASUYOSHI / HONDA,NAMIO)
　
33. Generalized Parenthesis Languages and Minimalization of Their Parenthesis Parts (形式言語理論とオ-トマトン理論)----------------309
　　　　東京工業大学理学部 / 東京工業大学理学部　　　山崎 秀記 / 高橋 正子　(YAMASAKI,HIDEKI / TAKAHASHI,MASAKO)