close
1.

図書

図書
Arto Salomaa著 ; 北川敏男, 佐藤優子共訳
出版情報: 東京 : 共立出版, 1974.10  x, 259p ; 22cm
所蔵情報: loading…
2.

図書

図書
丸岡章著
出版情報: 東京 : サイエンス社, 2017.12  vi, 279p ; 21cm
シリーズ名: Information & computing ; 117
所蔵情報: loading…
目次情報: 続きを見る
1 計算理論とは : 系列を操作するしくみ
計算理論のあらまし ほか
2 有限オートマトンと正規表現 : 有限オートマトンの動き
有限オートマトンの設計 ほか
3 プッシュダウンオートマトンと文脈自由言語 : 文脈自由文法の定義
正規文法、文脈自由文法、文脈依存文法 ほか
4 計算可能性 : チューリング機械の定義
多テープチューリング機械 ほか
1 計算理論とは : 系列を操作するしくみ
計算理論のあらまし ほか
2 有限オートマトンと正規表現 : 有限オートマトンの動き
3.

図書

図書
Alfred V.Aho [編] ; R.V.Book [ほか] 著 ; 守屋悦朗翻訳
出版情報: 東京 : 近代科学社, 1976.1  v, 310p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
形式言語理論の話題 / Ronald V. Book [著]
計算の複雑さ : 理論と実際 / Allen Borodin [著]
プログラム図式 / Zohar Manna [著]
木オートマトン : 非形式的な概要紹介 / James W. Thatcher [著]
言語理論のコンパイラ設計への応用 / Jeffrey D. Ullman [著]
形式言語理論の話題 / Ronald V. Book [著]
計算の複雑さ : 理論と実際 / Allen Borodin [著]
プログラム図式 / Zohar Manna [著]
4.

図書

図書
本多波雄著
出版情報: 東京 : コロナ社, 1972.3  v, 258p ; 22cm
シリーズ名: 情報工学講座 ; 6
所蔵情報: loading…
5.

図書

図書
嵩忠雄, 都倉信樹, 谷口健一共著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1988.3  iii, iv, 290p ; 22cm
シリーズ名: 情報とシステムシリーズ
所蔵情報: loading…
6.

図書

図書
樹下行三著
出版情報: 東京 : 朝倉書店, 1973  190p ; 22cm
シリーズ名: 電子工学シリーズ / 清野武[ほか]編 ; 3
所蔵情報: loading…
7.

図書

図書
マイケル・A・アービブ著 ; 米口肇訳
出版情報: 東京 : 日本経営出版会, 1971.10  489p ; 23cm
所蔵情報: loading…
8.

図書

図書
Erwin Engeler著 ; 稲垣康善訳
出版情報: 東京 : 日本コンピュータ協会, 1976.10  x, 230p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 25
所蔵情報: loading…
9.

図書

図書
J.T.タウ編 ; 足立暁生訳
出版情報: 東京 : 東京図書, 1971.12  6, 325p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
オートマタ理論の代数的基礎 / Franz Hohn
正則表現入門( / Robert McNaughton
確率オートマトンと離散的システムの理論 / Julius T.Tou
離散的確率過程モデルとしての順序回路網 / John N.Warfield
符号化におけるオートマトン理論の応用 / James L.Massey
内容による番地付け可能な分配論理メモリー / Chester Lee
帰納関数と順序回路理論 / Robert S.Ledley
細胞形コンピュータの合成 / Chester Lee
閾値論理の基礎 / R.O.Winder
オートマタ理論の代数的基礎 / Franz Hohn
正則表現入門( / Robert McNaughton
確率オートマトンと離散的システムの理論 / Julius T.Tou
10.

図書

図書
Dewdney, Alexander Keewatin ; 足立, 暁生(1936-)
出版情報: 東京 : 東京電機大学出版局, 1993.3  x, 147p ; 21cm
シリーズ名: チューリングオムニバス : コンピュータサイエンスへの旅 / A. K. デュードニー著 ; 足立暁生訳 ; 第3巻
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼