【学術】オートマトン

1 ：非決定性名無しさん：02/04/11 23:13

オートマトンどえす。

2 ：2：02/04/11 23:14

3 ：非決定性名無しさん：02/04/11 23:26

2get!!!!!!!!!!!!!!!!!!!!!!!!!

4 ：非決定性名無しさん：02/04/12 00:21

オートマトンといえば都倉先生ですか？

5 ：他称キティー：02/04/12 00:30

他の板でやったほうが、有意義じゃないの？
でもって

　　　　　∧∧　　ミ　＿　ドスッ
　　　　 (　　,,)┌─┴┴─┐
　　　　/'　　　つ　　終了　│
　　～′　/´　└─┬┬─┘
　　　∪ ∪　　　　││　_ε３
　　　　　　　　゛゛'゛'゛

。

6 ：非決定性名無しさん：02/04/12 00:36

＞５
オート！マトンカー

7 ：非決定性名無しさん：02/04/12 00:44

状態遷移図書いたなぁ。。。

8 ：他称キティー：02/04/12 00:46

ちゃんとかけたのかよ

　　　　　∧∧　　ミ　＿　ドスッ
　　　　 (　　,,)┌─┴┴─┐
　　　　/'　　　つ　　終了　│
　　～′　/´　└─┬┬─┘
　　　∪ ∪　　　　││　_ε３
　　　　　　　　゛゛'゛'゛

。

9 ：非決定性名無しさん：02/04/12 00:49

っていうか、数学板行け。

10 ：他称キティー：02/04/12 00:52

「神社仏閣」板がゆったりしてそ～で、いいです

　　　　　∧∧　　ミ　＿　ドスッ
　　　　 (　　,,)┌─┴┴─┐
　　　　/'　　　つ　　終了　│
　　～′　/´　└─┬┬─┘
　　　∪ ∪　　　　││　_ε３
　　　　　　　　゛゛'゛'゛

。

11 ：非決定性名無しさん：02/04/12 04:42

文脈自由文法のチョムスキーはロシアでまだ生きてるんだねー

12 ：非決定性名無しさん：02/04/12 08:11

教科書はこれにします。

計算理論の基礎
http://www.amazon.co.jp/exec/obidos/ASIN/4320029488/

翻訳がすばらしいです。

13 ：非決定性名無しさん：02/04/12 10:28

>>11　MIT教授がなんでロシアにいるんだよ

14 ：非決定性名無しさん：02/04/12 11:03

Hopcroft, Ullman の第2版もでてますね．
http://www.amazon.co.jp/exec/obidos/ASIN/0201441241/

15 ：モナBERT：02/04/12 23:35

チョムスキー先生は、アメリカ政府の戦争好きを批判する先鋒に立っとるで。
911NYテロとアフガン侵攻以来、一層語調を強めてるそうな｡
検索してみ。で、誰か面白いページ見つけたら教えてくれくれくれくれ。

16 ：非決定性名無しさん：02/04/13 00:18

オットマン

17 ：非決定性名無しさん：02/04/13 00:34

チョムスキーって故人だと思ってたｗ

他称キティって東京kittyと同一人物？

18 ：非決定性名無しさん：02/04/13 02:02

自動的に羊の肉

19 ：非決定性名無しさん：02/04/15 21:29

で具体的な応用例ってどんなのよ？

20 ：非決定性名無しさん：02/04/15 22:14

>19
計算機

21 ：非決定性名無しさん：02/04/15 22:21

>>19
egrep
lex (+ yacc、その他コンパイラ全般)
TCP (その他ネットワークプロトコル全般)

22 ：非決定性名無しさん：02/04/15 23:16

TCPでオートマトンって、
単に通信プロトコル上の状態遷移記述の事を指してるの？

23 ：非決定性名無しさん：02/04/16 01:04

正規文法＝オートマトン
文脈自由文法＝プッシュダウンオートマトン
文脈依存文法＝チューリングマシン

でよろしいか？

24 ：非決定性名無しさん：02/04/16 01:19

>>23
手元の教科書だと
正規文法＝有限オートマトン
となってるな。

25 ：非決定性名無しさん：02/04/16 02:05

24>

Finite automata is just a special case of NFA.

26 ：24ではないが：02/04/16 05:21

>>25
逆だろ。NFA ⊂ FA

27 ：非決定性名無しさん：02/04/16 11:29

>>26

ﾌﾟ

28 ：26：02/04/16 12:30

FA=DFA∪NFA、な。
あと"automata is"ってどうよ。英語に不自由な方？

29 ：非決定性名無しさん：02/04/16 20:09

で、TCPでオートマトンというのは
プロトコルスタックを使ったプッシュダウンオートマトン
という事なのか？

30 ：26：02/04/16 23:22

その「スタック」は違うだろう…

# ていうかネタ？

31 ：非決定性名無しさん：02/04/17 07:53

状態遷移図を書くツール教えて。

32 ：非決定性名無しさん：02/04/17 11:51

>>31　よくしらんけど、Argo/UMLてのがあるな

33 ：非決定性名無しさん：02/04/17 12:32

>>1-32
おまえら全員、オートメン

34 ：非決定性名無しさん：02/04/17 12:33

http://argouml.tigris.org/
http://argouml.tigris.org/tours/bdStateDiagram.html

ですね。
ありがとうございます。

状況は、texに張り付ける状態遷移図を書きたいのです。
楽に。

35 ：非決定性名無しさん：02/04/17 22:55

Argo/UMLは図形を、PGML形式 (SVGの前身)で保存してるから、
　1. Adobeの "SVG View PlugIn" (http://www.adobe.co.jp/svg/)で表示して、
　　ポップアップメニューで画像をコピーして、
　2. 適当な画像編集ツール (ペイント・ブラシ等)へ貼り付ければ、
ラスタ・イメージ (≠ベクタ・グラフィクス)として調理できるよ。

＃TeXが SVGサポートするのも時間の問題だと思うが...。

36 ：非決定性名無しさん：02/04/19 02:33

age

37 ：非決定性名無しさん：02/04/20 12:12

http://odur.let.rug.nl/~kleiweg/automata/automata.html

まだ使ってないけど、↑役に立ちそう。

38 ：非決定性名無しさん：02/04/21 20:59

いいねぇ

39 ：25：02/04/23 07:45

Sorry. I was wrong.
I wanted say that DFA is a special case of NFA.

BTW, FA=DFA∪NFA is redundant. NFA contains DFA. Therefore FA = NFA.
Also, using a singular form there is valid.

40 ：非決定性名無しさん：02/04/23 19:08

ところで確率文法に対応するオートマトンってのはどうだ？
例えば確率付き正規文法ってのは隠れマルコフ機械だよね？

41 ：非決定性名無しさん：02/04/24 01:22

>>23
文脈依存文法ってナンデスカ？
聞いたことないんだが・・・DJNな質問だったらｽﾏｿ

42 ：非決定性名無しさん：02/04/24 08:16

チョムスキーの階層でも調べんしゃい
ところでDJNって何や？
聞いたことないんだが・・・ドジュな質問だったらすまそ。

43 ：非決定性名無しさん：02/04/24 23:22

>>42
DQNの変形、もしくは土人のことかと思われ。

44 ：非決定性名無しさん：02/04/28 12:47

度人ってなに？

45 ：非決定性名無しさん：02/04/29 00:23

nativeのことだろう＜土人

46 ：非決定性名無しさん：02/05/06 23:06

与えられたオートマトンから、そのオートマトンが受理する言語を得る方法を
俺様に教えろ下さい。

47 ：非決定性名無しさん：02/05/08 07:24

むぅ

48 ：非決定性名無しさん：02/05/10 21:14

>>46
貴様はその前に検索してみたのか教えろ下ちい
ttp://www.google.co.jp/search?hl=ja&q=%83I%81%5B%83g%83%7D%83g%83%93%82%A9%82%E7&lr=

49 ：非決定性名無しさん：02/05/14 14:28

(;ﾟдﾟ)b ﾔﾙｼﾞｬﾅ～ｲ d(ﾟдﾟ;)

50 ：非決定性名無しさん：02/05/14 16:23

>>46
(1)オートマトンの各状態にA、B、C、…のように非端記号を割り当てれ。
(2)状態AからBに端記号xでラベルされた遷移があればA→xBという規則を作成。
(3)状態Aが最終状態ならA→εという規則を作成。
(4)状態Aが初期状態なら出発記号をSとしてS→Aという規則を作成。
以上で与えられたオートマトンが受理する言語の文法を完成しれ。

51 ：非決定性名無しさん：02/05/14 22:45

コレってエッジに分解するだけって事ですか？
これで冗長でない文法になりますか？
ちょっと心配なのでどう証明するか教えて下さい。

52 ：非決定性名無しさん：02/05/15 08:50

>>51
最小にしたければオートマトンを最小化してからやる。
まてよ、文法が「冗長でない」とはどう定義するの？
その定義によっては文法記述の加工をするんだろうけど、
定義してもらわないことにはね。

53 ：非決定性名無しさん：02/07/04 17:32

オートマトン使う時なんて、コンパイラ設計かイベントドリブンの通信制御でも設計する時くらいだろ。
普段使うか？

54 ：非決定性名無しさん：02/07/04 23:18

アプリケーションやWebの画面遷移って、
形式化すればオートマトンだと思うけど

55 ：122：02/07/05 01:43

>>54
うーん。　
ページ送り仕様のないWEBサイトは有限自動羊かな。
ページ送り仕様のあるWEBサイトをプッシュダウン自動羊で
モデル化できそうですが、その有益性がいまいちおもいつきませんね。

[学術]age

56 ：非決定性名無しさん：02/07/05 14:50

状態遷移って意味で、プログラミング全般の設計手段・モデリングとして有効だと思いますが。

んで、Web系のフォームは、粒度の大きな状態遷移そのものだから、特に相性がよさげ。

57 ：非決定性名無しさん：02/07/05 15:39

画面遷移図で間に合いますが。
確かに有限オートマトンだけど。
つーか、イベントトリブンの分だけな。
ハイパーリンクが入ると、単なる入口、出口になってしまう。

58 ：非決定性名無しさん：02/07/05 16:35

イマイチ伝わってないみたい…

もしかして、Webアプリ書く時、
画面の数/状態の数だけCGI/ServerPage作ってませんか？

多少複雑な動きするアプリは、
イベント・ドンブリ(MVC Type2とかこっ恥ずかしい名前もある)で書く事が多いと思うけど。

59 ：　：02/10/24 11:05

オートマトンは言語学の研究には役立つが、情報科学にはあまり役立たんよ。

60 ：オーバーテクナナシー：02/10/31 11:39

61 ：山崎渉：03/01/11 12:05

（＾＾）

62 ：非決定性名無しさん：03/02/26 19:50

【何処も】情報科学総合ｽｯﾄﾞﾚ【板違い】
http://science.2ch.net/test/read.cgi/rikei/1046173479/l50

63 ：非決定性名無しさん：03/02/26 20:05

おーとまとんって業務についてて役に立った
人おる？

64 ：非決定性名無しさん：03/02/26 22:45

ない。デジタル土方には理論は不要。

65 ：非決定性名無しさん：03/05/06 03:39

姉妹スレの紹介でつ。

正規表現
http://pc.2ch.net/test/read.cgi/unix/1039165754/

(特に最初のほうでは)有限オートマトンやプッシュダウンオートマトンで
正規表現をどう実装するかという話もありまつ。

66 ：非決定性名無しさん：03/05/28 18:01

>>63
新人研修用の課題に使った。
C言語コメントの削除プログラムとか。

67 ：非決定性名無しさん：03/05/28 18:13

アルゴリズムについて話しませんか？
http://hyper2.amuser-net.ne.jp/~rgrp1/r1/usr/shitarabajbbs/rank1/comdsp.cgi?63

68 ：非決定性名無しさん：03/07/03 20:38

あーオレ、これで修士号とった。

69 ：非決定性名無しさん：03/09/02 07:23

状態遷移図書いたなぁ。。。

70 ：非決定性名無しさん：03/09/12 22:09

セル・オートマトンの話をしないか。

71 ：非決定性名無しさん：03/09/12 22:18

なんか旨そうだな。漏れはラム肉のほうが好きだが。

72 ：非決定性名無しさん：03/11/08 22:47

セルオートマトンと言えば超離散化
...と振ってみる

73 ：非決定性名無しさん：03/11/17 08:01

言語 L = {0,1} 上の系列で11を部分系列として含まないものからなる集合をLとする。
Lをあらわす、正規表現を与えよ。
とかあるんだが悩んだ末とけん！誰か教えてくれ～、せめてヒントくれ

74 ：非決定性名無しさん：03/11/17 21:42

0*(100*)*(\epsilon+1)
で合ってるかな？

75 ：非決定性名無しさん：03/11/18 18:56

すんません。答えが判明してないのですが・・・・、そうなのかなぁ・・

76 ：83：03/11/18 19:06

ごめん、or は + より | のほうが普及してる書き方かも。
+ は unix 流だとむしろ one or more のことだから
0*(100*)*(\epsilon|1)
とか、同じことだけど
0*(10+)*(\epsilon|1)
とかでいいんじゃないすか。

77 ：非決定性名無しさん：03/11/19 00:31

正規表現って言ったら|で、
正則表現って言ったら+だと思う。

78 ：非決定性名無しさん：03/12/01 00:14

なつかしいな
学生の頃勉強した。
今ではあまり役にたってないがね。

79 ：非決定性名無しさん：04/01/01 22:08

学術スレage

80 ：非決定性名無しさん：04/01/02 18:57

学術スレage

81 ：非決定性名無しさん：04/01/03 22:59

学術ｽﾚage

82 ：非決定性名無しさん：04/01/04 09:12

なつかしいな
学生の頃勉強した。
今ではあまり役にたってないがね。

83 ：非決定性名無しさん：04/01/07 22:58

学問あげ

84 ：非決定性名無しさん：04/01/09 00:04

学問あげ

85 ：非決定性名無しさん：04/01/15 16:51

知識として知ってはいるが、役に立ったことはない。
正規表現を使用した検索でも、この知識が役に立っているとも思えん。
まぁ、基礎だからね。

86 ：非決定性名無しさん：04/04/26 00:36

自己増殖オートマトンってどんなの？

87 ：非決定性名無しさん：04/05/17 01:09

都倉先生元気かなあ

88 ：古田　勝利×：04/05/17 01:13

↑あげ厨氏ね

89 ：非決定性名無しさん：04/05/19 23:01

↑おまえも一緒に士ね

90 ：非決定性名無しさん：04/05/23 12:28

◎【無修正】洋物　外人熟女４本立て！　.mpg

91 ：非決定性名無しさん：04/06/23 20:03

マトンなんて臭くて食えねぇ。ラムじゃねーとな

92 ：非決定性名無しさん：04/06/24 12:43

都倉先生って阪大の？
まだやってるけ？放送でーがくの「情報工学」講座？

93 ：非決定性名無しさん：04/06/25 01:35

腹が痛い

94 ：非決定性名無しさん：04/06/28 12:40

テストあげ

95 ：非決定性名無しさん：04/06/29 00:16

↑お前は生きていてはいけない人なんだ。

96 ：非決定性名無しさん：04/07/03 21:27

アナルオナニー、マジで新たな世界が開けるよ。
四つん這いになってローションをたっぷり塗るんだ。
指の爪はもちろん短く切ってヤスリで滑らかになるよう削っておく。
まずは穴付近をゆっくり愛撫、やりにくかったら
側臥位で片足を上げる感じで、玉との間の前立腺も刺激してやる。
優しく優しく…くすぐったいか気持ちいいの中間くらいで撫ぜる。
馴染んできたら、改めてもう一度ローションを手に取っていよいよ挿入。
この時に絶対に焦ってはいけない。そして力んでもいけない。
リラックスして深呼吸して、ゆっくりゆくっる、あんヌプヌプするぅとかそういうイメージで！
痛いと思ったら一旦引こう、焦りは禁物だ。
気持ちを落ち着けて、なおかつ昂ぶらせて雰囲気を盛り上げる。
自分は処女で、今は大好きな憧れの先輩との初めてのHなんだ、とかなんでもいい、
とにかく盛り上がる設定を脳内で作って、興奮を極限まで持っていく。
なんなら「そんなトコ、ダメだよぅ…！ダメだったらぁ…ん…！」とか声を出そう。
興奮が山場を迎えたら愛撫していた指を一気に、しかし滑らかにゆっくり、穴に入れる！
初心者は人差し指だ、小指ではやりづらいし、中指は痛いと思うからな。
さあ、ついに憧れの先輩のが挿入された！痛い！痛い！
でも先輩は気にせず動かす、気にしないけど、優しく暖かく、ゆっくり…。
ここではもう恥ずかしがらず声を出そう！ため息だけでもいい。
ローションが足りなかったら空いてる手で追加、そしてできれば乳首も一緒にいじろう。
痛い痛い痛い痛い痛い…いた…いいた…い…い…たくない…？
何度か動かすうちに、ローションが馴染み痛みはなくなり、
くすぐったいような切ないような、今まで味わったことのない快感に変わるはずだ。
そうなったらこっちのもの。感性の赴くままに快感スポットを見つけて攻めよう。
空いた手で、ギンギンなペニスをしごいてもいいだろう。同時責めは快楽の坩堝だぞ。
さあ、これであなたも、アナルオナニーのとりこになること間違いなし。
ただし、浣腸なりビニールシートなりの用意はしておくといいかもな。
俺は面倒だからウンコそのままティッシュで拭って、シャワーに直行だけど。

97 ：非決定性名無しさん：04/07/17 15:39

ケバブドネルはマトンだよ

98 ：非決定性名無しさん：04/07/18 14:52

>>97
ドネルケバブでしょ
しばらく前にnhkでやってた世界食べ物紀行みたいな番組では
赤井英和がトルコに行ってたけど牛肉と背油かなんかを積層してうんぬん
だったような
町で食ったことあるのも牛肉だったような

99 ：非決定性名無しさん：04/07/18 15:39

>>96
親が見たら泣くよ。

100 ：非決定性名無しさん：04/07/18 16:31

あげんなハゲ氏ね

101 ：非決定性名無しさん：04/07/18 19:57

マトンといえばジンギスカン

102 ：非決定性名無しさん：04/07/20 06:19

>>99
藻まいをつくってる両親の姿のほうが見たら泣けるぞ