東京都立大学図書館

オートマトン理論と数理言語の研究

京都大学数理解析研究所, 1974. -- (数理解析研究所講究録 ; 213). <BB02346023>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 資料ID 請求記号 状態 返却予定日 予約 WEB書棚
0001 数理科学 理:数理科学図書室 レクチャーノート 10001445669 /410/Su76k/213 0件
No. 0001
巻号
所蔵館 数理科学
配置場所 理:数理科学図書室 レクチャーノート
資料ID 10001445669
請求記号 /410/Su76k/213
状態
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 オートマトン理論と数理言語の研究
オートマトン リロン ト スウリ ゲンゴ ノ ケンキュウ
出版・頒布事項 [京都] : 京都大学数理解析研究所 , 1974.6
形態事項 258p ; 25cm
書誌構造リンク 数理解析研究所講究録||スウリ カイセキ ケンキュウショ コウキュウロク <BB00036669> 213//a
内容著作注記 遅延のある論理素子集合の万能性について / 稲垣耕作, 矢島脩三
チエン ノ アル ロンリ ソシ シュウゴウ ノ バンノウセイ ニ ツイテ
内容著作注記 決定性Kプッシュダウン記号nテーププッシュダウンオートマトンの実時間計算に関する一考察 / 大山口通夫, 本多波雄
ケッテイセイ K プッシュダウン キゴウ n テープ プッシュダウン オートマトン ノ ジツ ジカン ケイサン ニ カンスル イチコウサツ
内容著作注記 1次元テセレーションオートマタの完全性 / 那須正和, 本多波雄
1ジゲン テセレーション オートマタ ノ カンゼンセイ
内容著作注記 誤り訂正セル空間とd次元符号化について / 小淵洋一, 西尾英之助
アヤマリ テイセイ セル クウカン ト dジゲン フゴウカ ニ ツイテ
内容著作注記 順序機械と有向グラフのツアー / 浅野孝夫, 渋井理郎, 高浪五男
ジュンジョ キカイ ト ユウコウ グラフ ノ ツアー
内容著作注記 コード事象の性質と正規事象上の単射準同型の性質 / 橋口攻三郎, 本多波雄
コード ジショウ ノ セイシツ ト セイキ ジショウジョウ ノ タンシャ ジュンドウケイ ノ セイシツ
内容著作注記 右延長文法により生成される言語について / 大芝猛, 有川節夫
ミギ エンチョウ ブンポウ ニ ヨリ セイセイ サレル ゲンゴ ニ ツイテ
内容著作注記 プッシュダウンオートマトンに対応する無限状態オートマトンの性質 / 山崎進, 上林弥彦
プッシュダウン オートマトン ニ タイオウスル ムゲン ジョウタイ オートマトン ノ セイシツ
内容著作注記 自然言語分析のためのプログラミング言語PLATONとそれによる名詞句の分析 / 長尾真, 辻井潤一
シゼン ゲンゴ ブンセキ ノ タメノ プログラミング ゲンゴ PLATON ト ソレ ニ ヨル メイシク ノ ブンセキ
内容著作注記 Bottom-up generation of languages / 西澤輝泰
内容著作注記 Regular expressionの同値性判定プログラム / 金山裕, 鈴木康年
Regular expression ノ ドウチセイ ハンテイ プログラム
内容著作注記 While programsについて / 笠井琢美
While programs ニ ツイテ
内容著作注記 不確定セルオートマタによる不確定並列写像の逆写像と単射性について / 夜久竹夫
フカクテイ セル オートマタ ニ ヨル フカクテイ ヘイレツ シャゾウ ノ ギャク シャゾウ ト タンシャセイ ニ ツイテ
内容著作注記 文脈による言語の位相 / 相沢輝昭
ブンミャク ニ ヨル ゲンゴ ノ イソウ
内容著作注記 Automorphism group of a factor automaton II / 植村憲治
内容著作注記 有限オートマトンの特徴集合について / 棚次奎介, 有川節夫
ユウゲン オートマトン ノ トクチョウ シュウゴウ ニ ツイテ
注記 「オートマトン理論と数理言語の研究」報告集(1974年2月25日-2月27日)
学情ID BN10555390
本文言語コード 日本語
著者標目リンク 京都大学数理解析研究所||キョウト ダイガク スウリ カイセキ ケンキュウショ <AU00064589>