数理情報科学の基礎理論と応用

(1)

窒メー郵ρ

(

穿

? 垂

数理解析研究所講究録

421 数理情報科学の基礎理論と応用

9 _ざ

//

禁帯出期間

56 4

。ユ

3

一一

4.20 数研図書室

京都大学数理解析研究所

1981 年 3 月

(2)

l.

2.

3.

4e

5.

21iStl!l2/l ·{ 3iiZtfk‘ffl ￥ 2e)‘’ di, .I?gE/i![jflig;ZN t tN.ssi;f7

tifii.if/ivaiuE2 ;v gK .k t. _￥ 4

igsi42 va 2 a. 2 n 4a

28414i2

Eifi’Sf”/i’X)’ { i,fe ,cl71(t eZ

pa g

i&c{seS4tntff.tste,(jm·

s y¡

1’ F KZ F 747 7 7N ‘5iP j7’M!b”

}

’/tzXh)5ki‘ eeoe

····

e

·

e

·

e

···

i

ti · kf. ie 69ff.-s;.

2mV7.r gg tacrith72ith

Pushdown Automata with Terminal Languages...·.···e·e··l5

i

Laboratoire d’Informatique Th6orique et Programmation C.N.R.S., Paris and RTMS Kyoto University

Jacques Sakarovitch

A Move Problem on Weighted Digraphs...···e····30

va7’tzl- f? ntza Sth

¡sfN·,sc791rE]llS:(1!f g - 7t: ‘iEs 9 *7 ]·l·t 3 7”{, 71tc -7 L/s 2 ....36

y.x ie sit¿

￥

k

On a Relationship between Graph L-systems and Picture Languages...···e···47

/,N7¡. e · ¡tr/-laXil”,$i- /zX;,’j7.l”;2.

-/¿r’A¡ !J. { lt’I { 1’ plZ

(3)

9.

IO.

回転入力

9

∋っ

2

ズあズートマタ

(

如形を績形φ閲イ糸〉

...

・・

61

山。人工井エ

$

司

謁う徒五男

瘡り3ム

ヘ

オノ臼タ彫命に秀 1 _{乃解哲垢ノ} 1 _{御及〆倫底φ}

各幾・向の明確ろ乙

i

てついマ

... . . .. 77

九工禾を雁弘穿

代獅予冷下和燐き耽

し

一特に抽象的

ll

爵機補φ湯倉一一

. ... ..92 ア蘇碁礎エ鈴不一碕

オ二三、鯵ン

2

こ

1

ク健一

漏魑

麺従属儲薦レ欄イ練現 1 誘 1 幡襟回導出・・ 6

阪久身礎工伊藤裟

% 崎がつ

燈・雇

:

一 ε旬患纒

Recur:rent Strings in a O工、:Language...。...。...121

京六理 1 稠黍イ申 1

』・刻う穿一

一ii一

(4)

1●

1

2 1

3●

1

4●

1

5●

1

6●

1

、

1つ・P :L scheme l(・:;ろげ多10ca=Lly catenative system

lrニフレ《 ? ....。。.。...。...。..。。。。。.。。。θ。。。。..。。.。。。。.134

亨人理間厳を

小判うそ/ 轡型罐乃と

7

・の働

}

^丸箸

: t? v7.. ..

・

49 京人 z; 」 L 杯弥考

蘇ス工疹ラ甫寛

1

ノく、

京彦ズ裡彪周

1

短

苫 ( 匁エ矢島三二

わライン誹鼻於弔物或禰量・一………・…・ 63

ρ

ノごり

電孟久町爾 πノ肇野琢

;

裂

織謡榊鰹 1 _て昂解 4 _{本均多畝演噂の}

複雑で

. ... ... . .

、

8

。

ネ穴工彰ゆ寛 / 、

矯碕多

し

診命多

(

上

)le59.:

の多蔓フち、入

77/l hX

ア

/

レブソズムに

7

レ・マ

...193

孝フく

.

工佐伯後下

矢鯖二

〇n Weak Pe:rsistency of Pet:ri Nets...208

東エフく狸しレ二丁記

(5)

・

7.

自乙シヤワル

1

二蘭筋判彪閥題

1

二つレ・マ…

.

…・・・・・・…

2

・

8

草潅ズ理彪間ノ腐主

ls. Horn eigpr iSEL2ri t: ;S gi !#i tc 一 7 vN 7 ・… e ・・・・・・・・・・・… e … 232

草フく工石橘総・彦嬢不傳

.,k

」

}

^・疸

彦千嗣

・

g.

時間壱入

Ut f

〈ブーレ

/1

轍のノ〃望糸

. .. .. 247

出入理工心心茨玄 L

20・ユ弁1ト関i数にあrアうフρラ/1ムイγフ。ノカント(i7

11iliZ

」〈

e*Ktz e

… ・・・・・・… ・・・・・・・・…

ee

・・

ee

・

262

禾θ褄エズ名彪θ残心

1

21. :LエSPフにzフ一ラ∠へ自多ヵ/珍厳・の一r:/ヌ、テ〃・...268

電

,

遍ブ＼永擁牙往

/=

.

酵輝冷

一 iv一

数理情報科学の基礎理論と応用

窒 メー郵ρ

穿

? 垂

421