5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

☆オートマトンをマターリ語るスレ☆

1 :132人目の素数さん:02/04/03 03:01
マターリ

2 :132人目の素数さん:02/04/03 03:05
2げっつ

3 :132人目の素数さん:02/04/03 03:07
せんせいっ!

オートマトンとオートマトンは何が違うんですか?

4 :132人目の素数さん:02/04/03 03:08
性器表現

5 :132人目の素数さん:02/04/03 03:08
じゃなくて

オートマトンとオートマータは何が違うんですか?

6 :132人目の素数さん:02/04/03 03:11
自動羊ってうまいの?
電気羊の仲間?


7 :132人目の素数さん:02/04/03 03:13
singular or plural

8 :132人目の素数さん:02/04/03 03:15
テューリング奇怪

9 :132人目の素数さん:02/04/03 03:17
有言実行!
小泉は有言不実行!

10 :132人目の素数さん:02/04/03 03:19
せんせいっ!

オートマトンがたくさん集ったのがオートマータなんですね。


11 :7−4=3:02/04/03 03:20
これシラバスで一際目を引く名前だよね・・・
どんなんなんだろう・・・。

12 :132人目の素数さん:02/04/03 03:21
おまんたばやしは三波春夫です!

13 :132人目の素数さん:02/04/03 03:23
幽玄慧

14 :こんなんか?:02/04/03 03:24
(A,S,τ)
S:集合
A:集合
τ:S×A→S

15 :それより:02/04/03 03:26
経営板に載っていた↓の問題解いてよ!

↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓

有名な(?)天使と悪魔の命題です。

ニ分岐の分かれ道があり、その先には天国と地獄があります。
分かれ道にはそれぞれ天使と悪魔が一人ずつ立っており、
全く同じ容姿、声をしており瓜二つ。
ところが、天使は本当のことしか言わず、悪魔は嘘しか言いません。
また、天使と悪魔はお互いのことは知っています。
どちらかに一回だけ質問できるものとします。
どちらに、何と質問すれば、天国へ行く道がわかるでしょう?


16 :132人目の素数さん:02/04/03 03:28
http://www.mathcs.sjsu.edu/capow/

連続オートマタなるものがありますが、何か?

17 :132人目の素数さん:02/04/03 03:29
オートマトンの何を語ればいいんだ?

理論か?実装か?
もう少しネタフリを絞ってくれ。>>1

18 :132人目の素数さん:02/04/03 03:41
>>15
>どちらに、
どちらか分ってたら、最初から聞かねぇ〜っつーの!

19 :132人目の素数さん:02/04/03 04:42
>>15
むちゃくちゃ有名じゃん…
「あなたはどちらから来ましたか?」
じゃないの?

天使は天国から、悪魔は地獄から来てるとは限らない?

20 :132人目の素数さん:02/04/03 04:56
悪魔が地獄から来てて、天使が天国からきてたら、両方とも「天国です」って答えるんじゃないの?

21 :132人目の素数さん:02/04/03 05:40
>>20
来た方向を指させる。すると、両方とも天国を指す。

22 :132人目の素数さん:02/04/03 06:06
あなたが天使である iff 右の道は天国に続く ?

これなら悪魔が天国から来てても大丈夫かと。

23 :132人目の素数さん:02/04/03 08:28
「あの方(と話しかけていないほうを指して)に『天国はどちらですか』
と聞いたらどちらと答えると思いますか」と聞く。
もし話しかけたのが悪魔なら、「あの方」は天使ということになり、正しい
方角を教えてくれるはずだが、答えるのは悪魔なので地獄を指す。
話しかけたのが天使なら、「あの方」は悪魔ということになり、間違った方角
を教えてくれるはずで、答えるのが天使なのでそのまま地獄を指す。
ということで、どちらに話しかけても地獄を指してくれる。

どうでもいいけど、オートマトンと全然関係なし。

24 :132人目の素数さん:02/04/03 09:33
はーん。そうか。

「あなたはこの先どこに続いているか知っていますか?」
じゃダメ?

25 :132人目の素数さん:02/04/03 10:05
>>24
「知ってる」「知らない」という返事しか返ってこないかも

26 :24:02/04/03 10:11
それでOKやん。

27 :132人目の素数さん:02/04/03 10:28
>>23
正解

『天国はどちらですか』は『地獄はどちらですか』
でも正解


28 :132人目の素数さん:02/04/03 10:34
>>27
>>19, >>21, >>22, >>24は?

29 :132人目の素数さん:02/04/03 10:44
直接聞くと、
天使*天国=天国
悪魔*地獄=NOT(地獄)=天国

あの方に、、、は
天使*悪魔*地獄=NOT(地獄)=天国
悪魔*天使*天国=NOT(天国)=地獄

と経営板に書いてあった。

30 :132人目の素数さん:02/04/03 10:47
>>22
正解やん。すげ!


31 :132人目の素数さん:02/04/03 10:48
「右の道は天国に続く ?」
だけでOKのような

32 :132人目の素数さん:02/04/03 11:54
オートマトンはどうした?

33 :132人目の素数さん:02/04/03 12:23
>>31
だめ

34 :132人目の素数さん:02/04/03 15:31
そもそも、その二人 (天使と悪魔) が正解を知っているとは
限らないではないか。
それも考慮に入れて答えを出すべきだと私は提案したい。


35 :132人目の素数さん:02/04/03 17:24
「どちらのに逝けば貴方の国の住人は増えますか?前のレス読まずにカキコ」
はどう?
左を選んでいた場合
天使:「こっちだモナ( ´∀`)」→そのまま進行→天国逝き
悪魔:「あっちだニダ<ゝ`∀´>」→進路転換→!地獄逝き=天国逝き
ただし、悪魔が「>>15に謝罪と賠償を請求しる」っていったらGameOver


36 :132人目の素数さん:02/04/04 12:58
>>34
どう答出すんだよそれ

37 :132人目の素数さん:02/04/04 16:37
>>34
それは小泉内閣に国政の方向性について聞くようなもんか?

38 :132人目の素数さん:02/04/04 17:01
オートマトン・リップトーク

39 :132人目の素数さん:02/04/07 20:43
おぉ、トマト。ん?

40 :132人目の素数さん:02/04/08 08:30
逢ふと股

41 :乱交シターイ:02/04/08 10:00
逢ふ十股。。ハァハァ

42 :132人目の素数さん:02/04/08 16:08
この板はレベル低いな(w

43 :132人目の素数さん:02/04/08 16:21
>>15
「(自分が来たばかりの道も含めて)天国に続く道を全部教えてください」
2つ答えれば悪魔。1つなら天使。どっちにしても正解は一目瞭然。

44 :132人目の素数さん:02/04/08 16:27
>>43
斬新

45 :132人目の素数さん:02/04/08 17:36
>>43
あのさ、それでよ、相手が悪魔でよ、
両方とも天国だって言われてよ、
じゃあどっちの道を選べばいいんだよ。
天国行くのが問題なんだろ?

46 :132人目の素数さん:02/04/08 17:38
極度の方向音痴で1人で家に帰れないかわいそうな>>45

47 :132人目の素数さん:02/04/08 17:40
>>46
題意理解してるか?

48 :132人目の素数さん:02/04/08 17:53
「自分の来た道も含む」んだから、>>43 は正しいような気がするけど…


49 :132人目の素数さん:02/04/08 17:59
自分って、悪魔のことじゃなくて、質問者のことか。

50 :132人目の素数さん:02/04/08 18:01
しかし、質問者が第3の道から来た、なんて問題に書いてないぞ。

51 :132人目の素数さん:02/04/08 18:08
> 「(自分が来たばかりの道も含めて)天国に続く道を全部教えてください」

これにどう答えれば嘘で答えたことになるのかが
まずよくわからないんだけど。
道が3つあるとして、“天国に続く道を全部教えて、
そういう道だけを教える答”以外の答は(2^3-1)通り
あるから、その7通りは全部嘘にカウントされるん
じゃないの?

52 :132人目の素数さん:02/04/08 20:30
集団ネタ・・・

53 :132人目の素数さん:02/04/08 20:38
有向グラフを用いて・・・

54 :132人目の素数さん:02/04/08 22:33
>>43が面白い!と思ったが、>>51がいいこといってるかも。

55 :132人目の素数さん:02/04/09 00:41
正解は「誰か偵察に逝かせる」だろ!
っとに、それくらいわからないのかよ!

56 :132人目の素数さん:02/04/10 07:04
>>43
ちょっと>>51とかぶり気味だが、
「天国に続く道は1つもありません」は「嘘」なのだから、
悪魔はこのような答え方をする事が出来る。
問題となっているのは
「どちらに、何と質問すれば、天国へ行く道がわかるでしょう?」
なのだから、>>43のような質問では駄目。

>>55
全然面白くない。全く。ほんと、つまらない。「荒らすな」と言ってやりたい。
「荒らし防止」の呪文を覚えて、俺のMPが尽きるまでその呪文をおまえにかけ続けたい。
早くレベルが上がってその呪文を覚えたい。

57 :132人目の素数さん:02/04/10 09:17
正解は「誰か偵察に逝かせる」だろ!
っとに、それくらいわからないのかよ!

58 :実験レスその1:02/04/10 10:10
>>57
偵察の身になって考えてみれ!

59 :実験レスその2:02/04/10 10:11
>>57
どっちに行った偵察も帰って来ないんですけど!

60 :132人目の素数さん:02/04/10 11:56
>>56を見てムキになってる>>57=>>58=>>59はこのスレの趣旨「マターリ」に反するので、
今すぐに退スレして下さい。お願いします。



61 :58=59:02/04/10 11:59
>>57と俺は別人だよう
>>58, >>59でまたーりできるかと思って
実験レスしてみたんだよう
面白くなかったなら逝ってくるから
許してくれよう

62 :60:02/04/10 12:10
>>58=59
ごめんよう。

>>57
オマエはウザイ。

63 :132人目の素数さん:02/04/10 16:01
あ。そうだ。オートマトンって知ってる?>62

64 :132人目の素数さん:02/04/10 19:23
正解は「誰か偵察に逝かせる」だろ!
っとに、それくらいわからないのかよ!


65 :132人目の素数さん:02/04/11 02:07
オートマトンを語る奴はいないのか?

66 :132人目の素数さん:02/04/11 08:40
オートマトンについて話したいよ!
オートマトンとは何かを教えてください。

67 :132人目の素数さん:02/04/11 08:49
ttp://www.suelab.nuem.nagoya-u.ac.jp/~suematsu/zasiki/cha_renzoku.jpg

68 :132人目の素数さん:02/04/11 20:04
Oh, Tomaton!

久しぶりに再会したトマトン氏に声をかけるときの言葉です


69 :132人目の素数さん:02/04/12 13:39
ノードを生成するようなオートマトンってどう?

70 :132人目の素数さん:02/04/12 16:28
>>69
もう少し詳しく説明してくり。
トリガによっては新たな状態ができるということか?
それでは系はどう定義するんだろう?
それでも有限なオートマトンは存在しうるのか?
??????????????????????????グルジイ........早く説明を〜〜〜〜〜〜>>69

71 :132人目の素数さん:02/04/12 16:30
>>69
ニューロンネットワークのようなオートマトンだな。
ノードを生成するエージェント志向もキモイ。


72 :132人目の素数さん:02/04/12 16:31
自己書換え可能なオートマトン=チューリングマシン

73 :132人目の素数さん:02/04/12 16:46
>>72
チューリングとの交流でオートマトンを思いついたとされるフォン=ノイマンの立場は・・・

74 :フクロウ:02/04/12 17:56
ネタふり
C言語のコメント文を受理する正規表現は?

75 :132人目の素数さん:02/04/12 19:44
/*[^*]****([^*/][^*]****)*/

先生!できました!

76 :132人目の素数さん:02/04/12 20:36
オーツ麦と羊肉を使った料理

77 :132人目の素数さん:02/04/12 20:57
>>69
説明説明説明説明説明説明説明説明説明説明説明説明説明説明説明説明

>>72
チューリングマシンがどしたの?
なんのネタフリ?

78 :132人目の素数さん:02/04/12 21:03
>>74
有限系の言語理論だったら、構文チャートで十分。

キャラでは書きにくいが、

→「/」→「*」→「任意」→「*」→「/」→

※「任意」のとこループ
※「/」と「*」の間は改行コードのみ有効


79 :69:02/04/12 21:26
>>70
そそ。あるイベントで新たなノードが生まれる。
ノードの数(メモリ容量?)に制限があるならチューリングマシンみたいなもんか…
つーか全然知らんといってるんだがな。
その前に構造を変化するようなオートマトンを考えなければ…

80 :132人目の素数さん:02/04/12 22:17
/*/*/*/*/*/*/*/*/*/*/*/*/**/でも1コメント
つーか、大昔、メイン開いてコメント開いて、閉じ忘れたら、エラーが一個も出なくて喜んでたな。(遠い目

81 :ネタ中、横スレですが:02/04/12 23:31
C言語では、コメントのネストは許されないと思われ

82 :132人目の素数さん:02/04/13 00:54
>>81
オートマトンで述べるように

83 :75:02/04/13 08:23
>>80-81のつもりで書いたけどどうよ。
/* .... *
ときて、次が「/」なら受理、「*」ならまた同じ状態に、
それ以外なら*が出る前の状態に戻る。ての

オートマトンはこう:
(0,/*)→1
(1,[^*])→1
(1,*)→2
(2,[^/*])→1
(2,*)→2
(2,/)→((3))

状態(1)=直前に、「*/」になりうる「*」が出ていない状態
状態(2)=直前に、「*/」になりうる「*」が出ている状態

84 :a:02/04/13 09:31
〓〓〓〓〓
 |〓|
 |〓|
 |〓|
 (⌒⌒)
  \/
  〓
 【チンコお守りレス】このお守りを見たあなたは超超超幸せ者!
2週間以内に必ず彼氏・彼女が出来るよ!
すでにいる人は超〜ラブラブ みんなが幸せになりますように…
そのかわりこのコピペを1時間以内に、5つ別のスレに貼り付けてね・・
でないと、あなたはインポや性病になります。

85 :132人目の素数さん:02/04/13 10:47
(・∀・)ヤッタ!!

86 :132人目の素数さん:02/04/14 21:37
オートマトンってステータスにトリガーが入ると即座に定義されたステータスに移っちゃうから、
シーケンス機械やコンパイラプログラムなら適用しやすいだろうけど、
現実の世界って、遷移のところに確率が入ったり、待ち行列が出来たりするよね。
そういうのって、どう考えるとシンプルなの?

いい本とかでもあったらおせぇて(♥

87 :132人目の素数さん:02/04/14 22:14
非線形複雑系?

88 :132人目の素数さん:02/04/15 00:09
混沌系

89 :お約束:02/04/15 00:24
>>86
やぱ、「シミュレーション」と「計測」でしょ。
高額シミュレータで。

90 :132人目の素数さん:02/04/15 00:39
カオス系

それより、非カオス系を発見できたら、それこそハッピーハッピー?!

91 :132人目の素数さん:02/04/15 02:04
ライフゲームの1コマをそのまま素子にしたら面白いだろうな。
LEDつけて。全員非同期で動くの。超高速シミュレーション。
たぶんどんなノイマン型コンピュータのシミュレーヨンより速いでしょ。
回路は難しくないがただコスト的に…

92 :132人目の素数さん:02/04/15 15:09
数学的なスレだ(遠い目
こういう創造的なスレを待っていた(涙目

93 :132人目の素数さん:02/04/15 15:14
チューリングマシン VS 非決定性オートマトン

94 :132人目の素数さん:02/04/15 15:28
じゃんけん ぴょん  のじゃんけんピョン!


はい。  ぐー

95 :132人目の素数さん:02/04/15 15:29
トリガー!!

96 :132人目の素数さん:02/04/15 16:15
>>84
チューチングマシンかよ

97 :132人目の素数さん:02/04/15 16:29
かあさん。
オートマトン と オートマタ    面白かったのはこれしかなかったよ・・

98 :132人目の素数さん:02/04/15 20:07
 棚からぼたもち

 有限性オートマトン(嘘)

99 :99:02/04/15 22:17
オートマトンの実装って、
コンパイラ、通信ソフト、シーケンス制御
以外に何がある?

100 :132人目の素数さん:02/04/15 22:29
数値計算ツール VS オートマトン 


使う?

101 :age:02/04/15 22:43
非論理型推測妥協安定性オートマトンvs完全論理型決定性人間

102 :132人目の素数さん:02/04/16 00:41
アンケート調査(人間) vs 有限オートマトン(ラヴマシーン)

103 :132人目の素数さん:02/04/16 01:56
決定木には様々なオプションがあり、それが1段目、2段目
の分岐の様子を変えると、同一のデータに対する最終的な
解はまったく違ったものになる ーーーどっかの参考書

決定木の場合はこういうことらしい

104 :132人目の素数さん:02/04/16 16:29
ケテーイ
つーか、オートマトンの話を一席

昔々在る所にオートマに乗った豚がおりましたとさ。(チャンチャン

105 :132人目の素数さん:02/04/16 20:31
くそ。情報工学め
数値計算なんぞ、ねちねち取りageやがって、
オートマトンのほうが楽しくていいだろ
先に取り上げろよ。数値はsageでいいから

106 :132人目の素数さん:02/04/16 23:03
>>105
教授が苦手な抗議は後に廻して、煙にまくものよ。

107 :132人目の素数さん:02/04/16 23:16
 そうか?数値解析はおもしろかった。どこがったって、手間がn^3からn^2になるんだぜー。

108 :132人目の素数さん:02/04/16 23:18
情報工学かー。シャノンの定理とか、その前の情報エントロピーの定義とか
やっぱおもろかったYO。

109 :132人目の素数さん:02/04/16 23:27
おぉトマトんノハナシハ?

110 :132人目の素数さん:02/04/17 00:02
Automatonでいいのかな?スペルは。
オートマ、ンン!(tが消えかけ)みたいな発音でしたっけ。
ちょっとセクシーボイスっぽい感じで。ンンのところが。
24歳なネイティヴおねいさんに読んで欲しいな☆

111 :132人目の素数さん:02/04/17 01:18
RS232C コンポーネント vs TCP/IP コンポーネント

トリガー!!

112 :132人目の素数さん:02/04/17 01:36
RS232は20世紀最大の発明です。

113 :132人目の素数さん:02/04/17 01:38
Cを忘れた。でも、C言語も20世紀最大の発明のうちの1つです。

114 :132人目の素数さん:02/04/17 01:47
awk  vs  C/C++


トリガー!!

115 :3:02/04/17 01:48
ライフゲームがどうしたの?


116 :132人目の素数さん:02/04/17 01:51
コンウェい?

117 :132人目の素数さん:02/04/17 01:55
一番、正規表現を実装したくない言語 →C言語

118 :132人目の素数さん:02/04/18 14:01
オーマタ性器表現

119 :名無し:02/04/18 17:15
とりあえず聞いてみるけど、
この中で非決定性オートマトンと決定性オートマトンの等価性証明、
自分で出来る人どれくらいいる?

120 :132人目の素数さん:02/04/18 18:18
とりあえず聞いてみるけど、
この中で非決定性2チャンネラーと決定性2チャンネラーの等価性証明、
自分で出来る人どれくらいいる?

121 :132人目の素数さん:02/04/18 18:26
とりあえず聞いてみるけど、
この中で非決定性(・∀・)コピパ!!と決定性(・∀・)コピパ!!の等価性証明、
自分で出来る人どれくらいいる?

122 :132人目の素数さん:02/04/18 18:33
非決定性(・∀・)コピパ!! = (意味不明)‥‥‥(1)
決定性(・∀・)コピパ!! = (意味不明)‥‥‥(2)
(1), (2)より、
非決定性(・∀・)コピパ!! = 決定性(・∀・)コピパ!!
(証明終)

123 :132人目の素数さん:02/04/18 19:43
「オートマトン」は、
レートロマン語の「オートメーション」です。

124 :132人目の素数さん:02/04/18 19:51
「サウラビ」は、
韓国語の「さむらい」です。

125 :132人目の素数さん:02/04/18 20:49
階層型ネットワーク vs 状態遷移図

126 :132人目の素数さん:02/04/18 20:59
vs シリーズ辞めろよ!
つまらん

オートマトンの中身がわからんならだまっとけ

127 :132人目の素数さん:02/04/18 21:05
125vs126

128 :132人目の素数さん:02/04/18 21:24
126 vs 127

129 :132人目の素数さん:02/04/18 23:09
オートマトン vs チューリング機械

 あ、すいません。数学事典で調べます(ヤフーで調べてもいいんだよな)。

130 :132人目の素数さん:02/04/19 05:22
モヤシを食べていました。
そうするとどうでしょう、壁の穴から例の珍虫がまた現れたではありませんか。



131 :132人目の素数さん:02/04/19 08:29
オートマトンのトリガー、確率と行列と

132 :132人目の素数さん:02/04/19 23:47
股狸

133 :132人目の素数さん:02/04/20 00:10
あー。C言語は使えない言語やね。
これでオートマトンをやろうとした馬鹿やったわ。シーケンスはしたこと
ないけど。
awk いいね。これ。ちょー簡単だわ。
これにぼこぼこ正規表現とトリガー、あてはめていけばええやん。
なんでいままで手つけなかったんやろ

駄文。

134 :132人目の素数さん:02/04/20 02:55
Ccomment受理オートマトンをVHDLでモデリング。

process(c,state) is
case state is
when 0 => next <= 1 when c='/' else 0;
when 1 => next <= 2 when c='*' else 0;
when 2 => next <= 3 when c='*' else 2;
when 3 => next <= 0 when c='/' else 2; isAccepted <= true;
end case;
end process;

めちゃ単純!


135 :132人目の素数さん:02/04/20 03:16
D1 = Q1 + Q1_・Q2・*
D2 = Q1 + Q1_・Q2_・/ + Q1・Q2_・*
OUT = Q1・Q2・/
回路実装も簡単!

136 :132人目の素数さん:02/04/20 03:17
修正!
D2 = Q1_・Q2_・/ + Q1・Q2_・*

137 :132人目の素数さん:02/04/20 04:28
 DNAもオートマトンの一種じゃないのか?

138 :132人目の素数さん:02/04/20 05:37
>>137

| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|
| 電波を感知しました。 |
|__________|
              / /
              /
      _         ビビビ
     /||__|∧    /
  。.|.(O´∀`) /
  |≡( ))  ))つ
  `ー| | |
    (__)_)

139 :138:02/04/20 05:41
つーか、DNAをタンパク質にデコードする、なんとかゾームとかの解釈システムは、
まあオートマトンといえなくないかもしれん。
でも免疫系のいろいろとかあるし、きっとそんなに単純じゃないよ

140 :132人目の素数さん:02/04/20 13:35
デオキシリボ-トマトン

141 :132人目の素数さん:02/04/20 13:36
ニコチンアミドアデニンジヌクレオチドリンサンマトン

142 :132人目の素数さん:02/04/20 20:19
awk にちょろっと書いて
cvs形式のテキストフォーマット食わせれば
ちょいっとなっと、料理できるな。
それだけだけど

143 :132人目の素数さん:02/04/21 22:22
ここはオートマターリをマトーン語るスレですか?

144 :132人目の素数さん:02/04/21 22:46
>>138 >>139
別に137はそういうことを逝っているのではなくて、最近はやってて、そろそろすたれそうな、
DNAコンピューティングのことをいってるのではなくて?

145 :132人目の素数さん:02/04/22 05:05
>144

自己増殖機械いわゆるセルオートマトンのことだろ。

146 :132人目の素数さん:02/04/22 11:34
>>142
×cvs
〇csv comma separated value

147 :132人目の素数さん:02/04/26 21:37
マトンヌ

148 :132人目の素数さん:02/04/27 08:51
オートマタンキ

149 :132人目の素数さん:02/04/27 10:05
・・・

150 :132人目の素数さん:02/04/27 11:46
オトータマ

151 :?P?132人目の素数さん :02/04/27 11:59
>>146
正論

152 :132人目の素数さん:02/04/28 00:06
>>143
×ここはオートマターリをマトーン語るスレですか?
○ここはオートマタリをマトーソ語るスレですか?



153 :????:02/05/08 21:09
オートバックス 待ったり

154 : :02/05/13 11:50
>>150
正論

155 :_:02/05/15 01:25
>>152
正論

156 :132人目の素数さん:02/05/15 08:04
サウンドノベルはオートマトンですか?

157 :132人目の素数さん:02/05/16 14:14
お゛ぉ〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
トマトン

158 :132人目の素数さん:02/05/16 15:12
おどま ぼんぎり ぼんぎり 盆からさ〜きゃ お〜らんど

159 :132人目の素数さん:02/05/17 02:33
automaton(単)
automata(複)
らしいでっす

160 :エルビス&プレスリー:02/05/17 06:54
アナログ情報を扱うオートマトンとかどう?
状態も離散的じゃなくて連続的。

161 :132人目の素数さん:02/05/18 16:50
[問題]
オートマトンAとオートマトンBが変則ポーカーをするとする.
ルールは次の通り.
 1)ゲーム終了後,ダイヤの枚数が相手より多ければ勝ちである.
 2)オートマトン達は次のa,b,cの3パターンの行動のいずれかひとつを選ぶことが出来る.
  a)手札の中の好きな1枚をごみ箱に捨て,山札から1枚を拾う.
  b)パス.1枚も交換しない.
  c)ストップをかける.
 ※パスするときには捨てて拾う振りをすることとし,相手にはaとbの見分けがつかないとする.
 ※ストップをかけると自分はそこで終了,相手はもう1回だけaまたはbのいずれかを実行することが出来る.
 3)手持ち札は常に5枚である.
 4)山札には無限組のトランプが用意されているとする.

さて,オートマトンBは,自分のダイヤ枚数が5枚未満のときaを,
5枚のときはbを選ぶように設計されているとする.(cは実行しない)

オートマトンBに対する勝利の期待値が最大となるようなオートマトンAを設計せよ.
(なお順番はオートマトンAから始まる)

162 :132人目の素数さん:02/05/26 21:42
>>86
マルコフ連鎖

http://www.elc.nias.ac.jp/~nagasaka/lect/ic/1999/OHP/I03/sld012.htm

163 :132人目の素数さん:02/05/26 23:12
こんな本はどうかな

岩波情報科学 ソフトウェア科学〈12〉/計算モデルの基礎理論
http://www.amazon.co.jp/exec/obidos/ASIN/4000103520/qid=1022421385/sr=1-10/ref=sr_1_2_10/249-3894865-7608327
計算理論の基礎  共立出版
http://www.amazon.co.jp/exec/obidos/ASIN/4320029488/qid=1022421385/sr=1-7/ref=sr_1_2_7/249-3894865-7608327


164 :132人目の素数さん:02/05/27 01:21
ファジ理論のメンバーシップ関数が良く分かりません。
出力にとりうる値が0or1に限定される筈なのに、どうして
0.3やら0.8やら出てくるのでしょうか?

165 :132人目の素数さん:02/05/27 01:26
限りなく 1 に近い

166 :132人目の素数さん:02/06/07 23:22
.com

167 :132人目の素数さん:02/06/24 20:27
マターリ


168 :132人目の素数さん:02/06/26 02:23


169 :132人目の素数さん:02/06/28 00:39
自動羊肉

170 :132人目の素数さん:02/06/28 02:57


171 :132人目の素数さん:02/06/29 22:02


172 :132人目の素数さん:02/07/01 02:05


173 :132人目の素数さん:02/07/31 13:33


174 :132人目の素数さん:02/08/06 21:08
☆オートマトンをコソーリとグターリ語るスレ☆

175 :132人目の素数さん:02/08/15 00:50
グタってないでもっとしゃきっとせんかい!

176 :132人目の素数さん:02/08/15 02:59
からくりサーカス

177 :132人目の素数さん:02/08/15 09:46
みんなで隠れマルコフやろうよ

178 :132人目の素数さん:02/08/23 15:48
コラッツ予想(偶数なら2で割る、奇数なら3倍して1足す)は
チューリング機械で記述して受理するかの判定では解けないのでしょうか?


179 :132人目の素数さん:02/08/25 20:39
⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y☆  *
 .人   人   人   .人   人   人   .人   人   人   .人   人   ノ    ☆
/ .\/  \./  \./  \/  \./  \./  \/  \./  \./  \/  \./ ☆


180 :nobody ◆DnurUjDY :02/08/26 01:25
>>178
少なくともそれだけでは解けないんじゃない?
チューリング機械停止性問題は計算不可能でしょ。


181 :132人目の素数さん:02/08/26 05:37
>>180
安部氏!

182 :132人目の素数さん:02/08/26 12:41
面白い問題考えた。

M0=(Q0, Σ0, δ0, q00, F0)
M1=(Q1, Σ1, δ1, q01, F1)
のふたつのオートマトンがある。

これらに同時に同じ系列を与えていったとき、
どちらか一方が受理したときに受理するような
新しいオートマトンMを作りなさい。

183 :相互リンク:02/08/28 20:30
http://science.2ch.net/test/read.cgi/math/1030099283/l50
  


184 :132人目の素数さん:02/08/31 00:51
>>182
状態を2次元化して最終状態を緩く整備すれば。。
Q := {(q0,q1)|q0∈Q0, q1∈Q1}
Σ := Σ0∪Σ1
δ := (q,σ) -> (δ0(q,σ),δ1(q,σ)) ★δ0、δ1の定義域の不一致は適当に処理
F := {(f0,q1)|f0∈F0, q1∈Q1}∪{(q0,f1)|q0∈Q0, f1∈F1}
M := (Q,Σ,δ,F)
ダメ?

185 :132人目の素数さん:02/08/31 00:55
あ、違った
δ := ((q0,q1),σ) -> (δ0(q0,σ),δ1(q1,σ))
こうだな

186 :132人目の素数さん:02/08/31 03:18
どうせ直すならこう
Q := Q0×Q1

187 :132人目の素数さん:02/08/31 18:38
そう書いちゃうならこう
F := (F0×Q1)∪(Q0×F1)

188 :182:02/09/02 18:25
>>184-187
ご名答です。
定義域の不一致は問題のミスだね。Σ0=Σ1でないと問題にならない。
キモは単に最終状態の定義だけでしたね(汗)
>>187はそうきたか(笑)かっこいいっすよ。惚れ惚れしちゃいます。

じゃ次の問題。

オートマトンM=(Q, Σ, δ, q0, F)がある。
Mが10回連続で最終状態にあるときに
初めて受理するようなオートマトンM'を作りなさい。

かっこいい解答をお願いします(あんまりかっこつけるとこないかw)

※ところでオートマトンの一般的な定義ってこれで合ってますっけ?

189 :132人目の素数さん:02/09/04 10:08
かっこよくはないがこんなんで。。

Q' := Q×ω   where ω:非負整数全体
δ' := ((q,n),σ) ->
    (δ(q,σ),n+1)   when δ(q,σ)∈F
    (δ(q,σ),0)   otherwise
q0' := (q0,0)
F' := F×{n∈ω|n≧10}
M' := (Q',Σ,δ',q0',F')

190 :132人目の素数さん:02/09/04 10:12
>>188 定義つーか記号の説明が一応最初にあると親切かもしれない

191 :132人目の素数さん:02/09/04 10:27


192 :132人目の素数さん:02/09/04 11:11
tu-ka,正直1人で答える俺

193 :132人目の素数さん:02/09/15 10:52
マターリと語るのに、初心者向きの練習問題を出します(たぶん、
簡単に解けるんだと思いますが、自分でやってないので、
簡単すぎた場合や、ちょっと難しい場合はご容赦ください)。

コメントの例が出されてましたので、それを拡張した次の
問題を解いてください。

コメントがネストしても対応が取れるかぎりOKという場合、
例えば、
  /* /* /* ... */ ... /* ...*/ */ */
こんなの。これを受理する有限状態のオートマトンはないことを
証明せよ。「/*」と「*/」が2文字で面倒なので、これをa と b に
してもう一度問題を書いておきます。

文字は{a, b, c}。a がコメント始まりで、bがコメント終わり。
受理する文字列は a で始まりbで終わる。a と b の間には
a, b, cが任意の個数表れてよいが、bが現れるときは対応する
コメント始まりの a が必ずあること。このような文字列を
受理する有限状態オートマトンはないことを証明せよ
(ないよね? 勘違いだったりして)。

194 :132人目の素数さん:02/09/15 11:51
オートマトンって数学の分野なんですか?

195 :132人目の素数さん:02/09/15 12:34
193の補足。これは
 「bが現れるときは対応するコメント始まりの a が必ずあること」
という未定義用語を定義するところから始めないといけないので
テストの問題などとしてはよろしくないかもしれませんが、ここは
お勉強で、そこからはじめるということで。

196 :132人目の素数さん:02/09/15 13:17
>>188
問題の意味が分からないのですが
> Mが10回連続で最終状態にあるときに
> 初めて受理するようなオートマトンM'を作りなさい。
これは、Mが受理する言語をLとするとき
  L^10=LL...L (10回)
  ( あるいはアルファベットをΣとして、Σ* (L^10) Σ*)
を受理するオートマトンを作れという意味ですか? 気になって
いるところは「Mが10回連続で最終状態にあるとき」で、言葉
通りに受け取ると、入力列があって、どこかで最終状態に入って、
そこから9文字の入力で、最終状態から抜けなければOKと言うように
きこえるところです。


197 :132人目の素数さん:02/09/16 19:47
>>193
全状態数K個の受理可能な系列を持つオートマトンの集合をμ(k)とする。
ある途中の状態a0から考えて
a0→a1→a2…an→ b0→b1→b2…bm→「b0」→c1→c2…cl→f(f∈F)
のようなループを持つ受理可能な系列に対しては必ず、
a0→a1→a2…an→ b0→c1→c2…cl→f(f∈F)
というそれよりも短い受理可能な系列が存在する。
よってある状態にあるオートマトンMにおいて、
最小の長さで受理するものは、ループを持たない。
(ループを持つならそれより短い受理可能な系列があるので長さが最小に矛盾)

最小系列→ループを持たない

ある途中状態にあるオートマトンに対し、そこから最小の長さで受理できる系列の長さLminとする。
μ(k)に属するオートマトンの中で、Lminが最大になるオートマトンをMmaxとする。

198 :197:02/09/16 19:48
Mmaxとはどんなオートマトンであるかを考える。
Lmin――つまり、「ループを持たない受理可能な系列」の長さ
が最大であるようなオートマトンのことである。
これは最終状態が1つでかつ、最小系列を与えたときに、
すべての状態を経て最終状態に至るようなオートマトンで、最小系列の長さLminはk-1となる。
(すべての状態を経ないとk-1未満になり、最小系列が最大に矛盾)

μ(k)の中で残りの最小系列が最大であるオートマトン→受理できる系列の長さはk-1以上

さて、本題>>193を満たすオートマトンがμ(N)の中のもので構築できたと仮定する。
(つまり有限状態数Nを持つオートマトン)
このオートマトンがa^1000Nを受信したとするとあと最低1000N個は受信しないと受理できない。
(全部bでも最低1000N個いるから)
つまり残りの最小系列の長さは1000Nであるが、
μ(k)の中には最小系列の長さが最大でもN-1になるオートマトンしかない。
よってこれは矛盾する。

オートマトンの状態数は有限なので、全てのオートマトンはあるN∈Zを用いてμ(N)に属するといえる。
しかし任意のμ(N)に>>193を実現するようなオートマトンは存在しないので、
題意を満たすオートマトンはどこにも存在しない。

199 :132人目の素数さん:02/09/17 23:00
実はageたかった

200 :132人目の素数さん:02/09/17 23:19
しかもまだageられてない

201 :132人目の素数さん:02/09/17 23:23
>>199 アフォ。
でもある意味面白い書き込みだ。

202 :132人目の素数さん:02/10/30 19:35


203 :オモー ◆gTZxZ3JNKk :02/11/17 10:02
ageてみる

204 :132人目の素数さん:02/12/04 15:27
age

205 :132人目の素数さん:02/12/05 10:25
age


206 :132人目の素数さん:02/12/07 00:20
age

207 :山崎渉:03/01/11 12:42
(^^)

208 :132人目の素数さん:03/01/18 21:01
またーり

209 :132人目の素数さん:03/01/18 23:17
あるプログラムを実行すると無限ループになる可能性があるか否かを判断する
プログラムを作ることはできないと聞いたことがあります。
どなたか、簡単に証明をお願いします




210 :うぉるふらむ:03/01/19 00:48
みんなで1次元オートマトンやろうぜ。

ルール
□□□ ■□□ □■□ □□■ ■■□ ■□■ □■■ ■■■
  □    ■    ■    ■    ■    □    □    ■
 

じゃ、初期条件ね。

□□□□■□□□□□

211 :132人目の素数さん:03/01/19 01:34
>>210
ごめん、端の方はどうする?

212 :132人目の素数さん:03/01/19 07:55
□□□□□□□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□□□□□□
>>211
ループでいいっしょ

213 :132人目の素数さん:03/01/19 10:20
□□□□□□□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□□□□□□
□□□□□□□□□□□■□■■■□□□□□□□□□□□□


214 :132人目の素数さん:03/01/19 10:32
□□□□□□□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□□□□□□
□□□□□□□□□□□■□■■■□□□□□□□□□□□□
□□□□□□□□□□■■□□■■■□□□□□□□□□□□

なんかつまんない結果になりそうだな。

215 :132人目の素数さん:03/01/19 10:52
ルールが逝かんのよ。

216 :132人目の素数さん:03/01/20 10:00
□□□□□□□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□□□□□□
□□□□□□□□□□□■□■■■□□□□□□□□□□□□
□□□□□□□□□□■■□□■■■□□□□□□□□□□□
□□□□□□□□□■□■■■□■■■□□□□□□□□□□

あってる?

217 :132人目の素数さん:03/01/20 10:00
   ,.´ / Vヽヽ
    ! i iノノリ)) 〉
    i l l.´ヮ`ノリ <先生!こんなのがありました!
    l く/_只ヽ    
  | ̄ ̄ ̄ ̄ ̄|
http://saitama.gasuki.com/hiroyuki/

218 :132人目の素数さん:03/01/25 00:47
□□□□□□□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□□□□□□
□□□□□□□□□□□■□■■■□□□□□□□□□□□□
□□□□□□□□□□■■□□■■■□□□□□□□□□□□
□□□□□□□□□■□■■■□■■■□□□□□□□□□□
□□□□□□□□■■□□■■□□■■■□□□□□□□□□

219 :ループは頼んだ:03/01/25 01:53
□□□□□□□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□□□□□□
□□□□□□□□□□□■□■■■□□□□□□□□□□□□
□□□□□□□□□□■■□□■■■□□□□□□□□□□□
□□□□□□□□□■□■■■□■■■□□□□□□□□□□
□□□□□□□□■■□□■■□□■■■□□□□□□□□□
□□□□□□□■□■■■□■■■□■■■□□□□□□□□
□□□□□□■■□□■■□□■■□□■■■□□□□□□□
□□□□□■□■■■□■■■□■■■□■■■□□□□□□
□□□□■■□□■■□□■■□□■■□□■■■□□□□□
□□□■□■■■□■■■□■■■□■■■□■■■□□□□
□□■■□□■■□□■■□□■■□□■■□□■■■□□□
□■□■■■□■■■□■■■□■■■□■■■□■■■□□
■■□□■■□□■■□□■■□□■■□□■■□□■■■□

220 :132人目の素数さん:03/01/25 01:57
シェルピンスキーー・ガスケット!!!!!!

221 :132人目の素数さん:03/01/25 20:21
1次元セルオートマトンって
f : {0,1}^3→{0,1}
P(x,y)=f(P(x-1,y-1), P(x,y-1), P(x+1,y-1))
てな感じだな

222 :132人目の素数さん:03/01/25 20:40
>>221
3近傍で,状態が{0,1}なら状態遷移関数はそれで正しいけど,
5近傍を採ったり状態数を増やしたりしたら,そうはいかないでしょ。

223 :132人目の素数さん:03/01/25 23:51
一般には直積位相での連続写像かな。

224 :132人目の素数さん:03/02/01 01:21
オートマタ(自動人形)とオートマトンはどのような関係が?
オートマタを状態遷移図で表せる??

225 :132人目の素数さん:03/02/02 01:05
automata=[名]automatonの複数形.


226 :132人目の素数さん:03/02/02 01:07
オートマタ
λ
オートマトン
 λλ λ λ λ λ λλλ
λλ λλλ
   λλ λ λλλ λ
 λ  λ  λλ λ λ λ λλλ  λ         λ


227 :132人目の素数さん:03/02/08 22:21


228 :132人目の素数さん:03/02/26 19:54

【何処も】情報科学総合スッドレ【板違い】
http://science.2ch.net/test/read.cgi/rikei/1046173479/l50





229 :132人目の素数さん:03/02/27 02:18
広田良吾と高橋大輔の新刊がでたぽ

230 :山崎渉:03/03/13 13:25
(^^)

231 :132人目の素数さん:03/03/16 08:05


232 : ◆PXh7AWqOEQ :03/03/26 23:36
セル・オートマトンって複雑系で使うの?
厨房にわかるよう説明して。

233 :132人目の素数さん:03/04/01 07:01
>>232
使わない。
わかったらカエレ

234 :132人目の素数さん:03/04/06 10:34
ここですか、オートマターリをマトーン語るスレは。
(゚∀゚)マトーン!! (゚∀゚)マトーン!! (゚∀゚)マトーン!! (゚∀゚)マトーン!! 
   (゚∀゚)マトーン!! (゚∀゚)マトーン!! (゚∀゚)マトーン!! (゚∀゚)マトーン!! (゚∀゚)マトーン!! 

235 :山崎渉:03/04/17 09:34
(^^)

236 :山崎渉:03/04/20 04:22
   ∧_∧
  (  ^^ )< ぬるぽ(^^)

237 :132人目の素数さん:03/05/12 17:33
最下層スレを一気に浮上age

238 :かえる:03/05/12 17:36
げこげこ

239 :山崎渉:03/05/22 00:33
━―━―━―━―━―━―━―━―━[JR山崎駅(^^)]━―━―━―━―━―━―━―━―━―

240 :山崎渉:03/05/28 14:55
     ∧_∧
ピュ.ー (  ^^ ) <これからも僕を応援して下さいね(^^)。
  =〔~∪ ̄ ̄〕
  = ◎――◎                      山崎渉

241 :132人目の素数さん:03/05/30 11:39
オートモコーリ

242 :132人目の素数さん:03/05/30 18:23
ほしゅったらageろ!

243 :動画直リン:03/05/30 18:23
http://homepage.mac.com/hitomi18/

244 :132人目の素数さん:03/06/25 23:29
自動羊揚げ

245 :132人目の素数さん:03/06/25 23:29
age損ねた…(鬱

246 :132人目の素数さん:03/06/26 02:44
>>193
これパンピング定理使って解くんだったね。
今頃気づいた。

247 :132人目の素数さん:03/07/03 20:39
おれは、これで修士号をとったので、なんでも質問してきていいよ

248 :132人目の素数さん:03/07/03 20:48
http://www.k-514.com/
ボッキンキン

249 :>:03/07/03 21:02
>>209
http://www.akita-pu.ac.jp/system/elect/comp1/kusakari/japanese/teaching/2003/computing/note/7/7.html

250 :132人目の素数さん:03/07/09 06:23
n個のオートマトンM1,M2,…,Mnがある。
Mk=(Q:状態集合, Σ:入力記号, δk:遷移関数, q0k:初期状態, Fk:終了状態集合)

入力Lに対してMkが一番早く受理するとき(同時受理も含む)にのみ
Mklkを受理するオートマトンM'を作れ。
ただしΣ'=Σ∪{M1,M2,…,Mn}とする。

251 :132人目の素数さん:03/07/09 06:24
しまった。こうだった

入力Lに対してMkが一番早く受理するとき(同時受理も含む)にのみ
MkLを受理するオートマトンM'を作れ。
ただしΣ'=Σ∪{M1,M2,…,Mn}とする。

252 :山崎 渉:03/07/12 12:39

 __∧_∧_
 |(  ^^ )| <寝るぽ(^^)
 |\⌒⌒⌒\
 \ |⌒⌒⌒~|         山崎渉
   ~ ̄ ̄ ̄ ̄

253 :132人目の素数さん:03/07/13 01:31
今大学でオートマトンをやってるんですけど
言葉の説明というより、○○を含む信号列を受理するオートマトン
を設計せよとか、決定性、非決定性のオートマトンを設計する演習しか
してないんですけど、オートマトンの設計がたくさん載っていて
とてもわかりやすい参考書があったら教えて下さい。

254 :山崎 渉:03/07/15 12:44

 __∧_∧_
 |(  ^^ )| <寝るぽ(^^)
 |\⌒⌒⌒\
 \ |⌒⌒⌒~|         山崎渉
   ~ ̄ ̄ ̄ ̄

255 :132人目の素数さん:03/07/31 05:39
16

256 :132人目の素数さん:03/07/31 06:39
エイトマン

257 :ぼるじょあ ◆yBEncckFOU :03/08/02 03:10
     ∧_∧  ∧_∧
ピュ.ー (  ・3・) (  ^^ ) <これからも僕たちを応援して下さいね(^^)。
  =〔~∪ ̄ ̄ ̄∪ ̄ ̄〕
  = ◎――――――◎                      山崎渉&ぼるじょあ

258 :山崎 渉:03/08/15 19:44
    (⌒V⌒)
   │ ^ ^ │<これからも僕を応援して下さいね(^^)。
  ⊂|    |つ
   (_)(_)                      山崎パン

259 :132人目の素数さん:03/09/28 06:02
5

260 :132人目の素数さん:03/10/16 16:45
語れ。


261 :132人目の素数さん:03/11/06 05:20
26

262 :132人目の素数さん:03/11/06 06:09
エイホの「コンパイラ」が良いのでは?

263 :あげあし:03/11/06 08:55
>262
エイホは一部の日本人は”アホ”と読むので。。。以下略

264 :132人目の素数さん:03/11/17 08:03
言語 L = {0,1} 上の系列で11を部分系列として含まないものからなる集合をLとする。
Lをあらわす、正規表現を与えよ。
とかあるんだが悩んだ末とけん!誰か教えてくれ〜、せめてヒントくれ


265 :132人目の素数さん:03/11/21 05:28
適当=(10|0)*(φ|1)

266 :132人目の素数さん:03/11/28 18:01
2×7×19。


267 :132人目の素数さん:03/12/08 03:20
21

268 :132人目の素数さん:03/12/13 23:11
(10|0)*(|1)。


269 :132人目の素数さん:03/12/14 00:19
(10|0)*(|1)。

270 :132人目の素数さん:03/12/14 13:50
(0*10)*

271 :132人目の素数さん:03/12/17 01:38
>>270
それだと1で終われないじゃん

272 :132人目の素数さん:03/12/18 19:43
11を部分列として含まないのであるから、
長さ2の列で考えると00、01、10の三つが残る。
これらを組み合わせて01の後に10が続かないように考えれば良い。
つまり、X=00、Y=01、Z=10として、X(X|Y|Z)またはY(X|Y)またはZ(X|Y|Z)である。
これらX、Y、Zは長さ2であるので、長さ1のときで考え重複する部分を簡略化すると、
A=0(A|B)
B=1A
として
S=A|B
となるSが答というのが題意からほぼ直接的に導かれることになる。

これを解くには、まず、A=0A|0B=0A|01Aなので、A=(0|01)*。
そして、S=A|B=A|1Aなので、S=(0|01)*|1(0|01)*が答となる。
空の記号列を使ってよく、それをεで表すとすれば、
S=A|B=A|1A=(ε|1)A=(ε|1)(0|01)*と表しても良い。


273 :132人目の素数さん:04/01/05 02:47
アンドロイドは自動羊の夢を見るか

274 :132人目の素数さん:04/01/13 04:04
自動羊って何だ。

275 :132人目の素数さん:04/01/13 06:46
ageなさい

276 :132人目の素数さん:04/01/29 04:43
000

277 :132人目の素数さん:04/02/01 06:40
462

278 :132人目の素数さん:04/02/20 06:59
9

279 :132人目の素数さん:04/03/07 00:28
524

280 :132人目の素数さん:04/03/20 22:50
━―━―━―━―━―━―━―━―━[JR山崎駅(^^)]━―━―━―━―━―━―━―━―━―

281 :132人目の素数さん:04/04/03 04:01
二年一時間。


282 :132人目の素数さん:04/04/25 18:37
737

283 :132人目の素数さん:04/05/04 20:23
オートマトン
まんせー

284 :(*゚ー゚)/Rebirth ◆HkUwVbxMak :04/05/09 01:39
>>263
げっ,俺もそれ思ったわw

>>264
どうでもいいけど,それってFibonacci表現だよね

285 :^^:04/05/16 01:19
同上、決定性、12状態のオートマトンおしえてください^^

286 :(*゚ー゚)/Rebirth ◆HkUwVbxMak :04/05/16 04:02
>>285
どんな言語を受理するDFAを作ればいいのでしょうか?
ちょっと質問の意図が読めません.

287 :^^:04/05/16 04:16
0と1をつかいます。丸と二重まるで二重丸が受理するです^^

288 :(*゚ー゚)/Rebirth ◆HkUwVbxMak :04/05/16 18:05
>>287
つまり,Σ = { 0, 1 }.
受理状態とかの記号とかは分かるのだけど,どんな言語を判定するDFAを作ればいいのやら( ;´Д`)

289 :132人目の素数さん:04/05/17 21:33
>0をちょうど二つ含むか、または001を含まない8状態

このような含まない状態ってどう表すのですか?
今習っているのは初歩で、

 0  0
O→O→O受理

みたいなものです。

290 : ◆BhMath2chk :04/05/18 22:00
0をちょうど二つ含む。
0の個数が0か1か2か3以上かで分ける。

001を含まない。
最後の0の個数が0か1か2以上か001を含むかで分ける。


291 :132人目の素数さん:04/05/18 22:06
>>290
レスありがとうございます
もし001がきた場合はどこに遷移するのでしょう?
スタートに戻るのでしょうか?
それとも、00ときて1がきたらそれは無視してその場にとどまるのでしょうか?

292 : ◆BhMath2chk :04/05/19 02:00
0の個数が0で最後の0の個数が0の状態。
0がくる。
0の個数が1で最後の0の個数が1の状態。
0がくる。
0の個数が2で最後の0の個数が2の状態。
1がくる。
0の個数が2で001を含むの状態。


293 :132人目の素数さん:04/05/19 22:20
状態遷移図で書くとどうなるのでしょう?
図・グラフ掲示板
http://www6.tok2.com/home2/wi2003/cgi-bin/bbs3/bbsnote.cgi
こことかで教えてもらえませぬでしょうか

あと、
〜〜かつ0を一つしか含まない状態
という問題があったとして0がきた後にまた0がきた場合は開始の点に戻ると言うことでしょうか?
たとえば、
http://www6.tok2.com/home2/wi2003/cgi-bin/bbs3/data/IMG_000141.png
で、0の後に0がきて条件に一致しないので、開始の点に戻らせたのですがこれであってますでしょうか?

294 :(*゚ー゚)/Rebirth ◆HkUwVbxMak :04/05/19 23:36
答えてあげたいけど,問題がよく分からない(汗)

295 :132人目の素数さん:04/05/19 23:58
0と1が入力されて、始点と受理の点があるという前提で
たとえば、
0を2回以上含み、かつ1は一つしか含まない状態遷移図というのを考えると

http://www6.tok2.com/home2/wi2003/cgi-bin/bbs3/data/IMG_000142.png
となると思うのですが、?の部分は1が2回目の時なので次に何がこようと受理されないですよね?
その場合はこの矢印をどこにつなげればいいのかなと。

296 :(*゚ー゚)/Rebirth ◆HkUwVbxMak :04/05/20 00:10
>>295
Javaがうまく動かないので,状態遷移表で勘弁して下さい.

Σ={0, 1}  Alphabet
Q={q0, q1, q2, q3, q4, q5}
初期状態は q0,受理状態の集合は{q5}

   |  0   1
----------------
q0 | q1  q3
q1 | q2  q4
q2 | q2  q5
q3 | q4  ×
q4 | q5  ×
q5 | q5  ×

×は拒否状態になることをあらわします.

多分,これであっていると思う…状態数が減らせるかどうかは分からない


297 :132人目の素数さん:04/05/28 13:45
120

298 :132人目の素数さん:04/06/03 11:11
772

299 :132人目の素数さん:04/06/11 02:27
163

300 :132人目の素数さん:04/06/18 16:35
736

301 :132人目の素数さん:04/06/18 22:53
IMEのローマ字変換規則をオートマトンにしたい

302 :132人目の素数さん:04/06/19 19:15
>>301
振る舞い仕様からオートマトンへの変換なら、
情報系の論文になりまつよ。

303 :132人目の素数さん:04/07/01 10:13
910

304 :132人目の素数さん:04/07/25 16:11
264

305 :132人目の素数さん:04/07/30 21:08
440

306 :132人目の素数さん:04/07/31 01:47
最近ツリーオートマトンなるものを習ったんだがなかなか面白い。
応用も多いし。


307 :132人目の素数さん:04/08/02 21:41
今まで「具体的に」考えられたオートマトンで、
内部状態の数が最も大きかったのは何か?

308 :132人目の素数さん:04/08/02 22:14
>>889 キバヤシを貼ろうか、監督を貼ろうか、迷いました。


有名な(?)天使と悪魔の命題です。

ニ分岐の分かれ道があり、その先には天国と地獄があります。
分かれ道にはそれぞれ天使と悪魔が一人ずつ立っており、
全く同じ容姿、声をしており瓜二つ。
ところが、天使は本当のことしか言わず、悪魔は嘘しか言いません。
また、天使と悪魔はお互いのことは知っています。
どちらかに一回だけ質問できるものとします。
どちらに、何と質問すれば、天国へ行く道がわかるでしょう?



309 :FeaturesOfTheGod ◆UdoWOLrsDM :04/08/02 22:25
Re:>308 何だよ「ニ分岐」って。「二分岐」だろ。

「この道の先に天国があるかと訊かれたら肯定しますか?」

310 :132人目の素数さん:04/08/02 22:38
おっとまった

311 :132人目の素数さん:04/08/02 22:46
オートマタ

312 :308:04/08/03 15:42
>>309
>>308は、すげぇ五社だったんだけど、その答ってあってるの?

313 :132人目の素数さん:04/08/12 08:03
830

314 :132人目の素数さん:04/08/19 14:24
621

315 :132人目の素数さん:04/08/20 01:23
>>308
天使(悪魔)がメスであれば、問答無用で犯す。
いくらこれから罪を犯しても
天国へ行くか地獄へ行くかは5割であるから。

316 :132人目の素数さん:04/08/26 23:03
921

317 :132人目の素数さん:04/08/26 23:18
太陽は2つあるか?
天使 いいえ
悪魔 はい
ピンポン

設問が。。。。

318 :132人目の素数さん:04/08/26 23:23
インパクトダイヤルは使えるか?
天使 はい
悪魔 いいえ
ピンポン



319 :132人目の素数さん:04/08/26 23:53
>>301
母音で区切れ

320 :132人目の素数さん:04/09/03 23:44
291

321 :132人目の素数さん:04/09/08 23:35
706

322 :132人目の素数さん:04/09/13 23:24:31
可逆セルオートマトンと圧縮理論の関連について語ってくれ。頼んだぞ。

323 :ほんたま:04/09/14 07:12:51
オートマトン=自動羊肉

324 :132人目の素数さん:04/09/19 05:04:43
474

325 :132人目の素数さん:04/09/19 22:06:43
>>307
オートマトンで素数を求められるか?という無謀な問題を解こうとして
やっきになっちゃった人たちが作ってしまった
途方もない失敗オートマトンが最大だと思われ。

326 :132人目の素数さん:04/09/20 04:29:04
>>307
この間、東急ハンズに最新のオートマトン売ってて、内部状態が100個くらい透けて見えましたょ。

327 :132人目の素数さん:04/09/20 06:31:30
>>326
iMacが流行ってから世の中ロクなことねえな

328 :132人目の素数さん:04/09/20 08:36:19
数学者はオートマトンの夢を見るか?

俺はチューリングマシンの夢なら見たことあるがオートマトンだけの夢はないなあ。

329 :132人目の素数さん:04/09/26 13:17:48
459

330 :132人目の素数さん:04/10/02 01:58:05
123

331 :132人目の素数さん:04/10/06 23:37:36
264

332 :132人目の素数さん:04/10/11 19:28:38
正則表現で記述できない言語を、言葉で説明するとどのようになるの?
それとも言葉では説明できないの?

333 :132人目の素数さん:04/10/16 17:20:41
760

334 :132人目の素数さん:04/10/19 03:25:15
>>332
「正則言語でない言語」でいいやん…。
それともそのような言語の具体例が知りたいのか?


335 :132人目の素数さん:04/10/23 06:01:15
225

336 :132人目の素数さん:04/10/28 12:54:46
557

337 :132人目の素数さん:04/11/02 00:35:16
441

338 :working woman:04/11/02 00:38:38
オートマトンって、
「手も足も出ない」ロボットの事ね。
私嫌い。

339 :132人目の素数さん:04/11/02 21:30:20
>>338
つまりジーグヘッドってことか。
い〜まにみていろ邪魔大王国〜全滅〜だ〜♪

340 :132人目の素数さん:04/11/07 18:31:40
723

341 :132人目の素数さん:04/11/08 21:01:49
帰納的加算とか非帰納的とかいう概念を
定性的に言葉で説明できる奇跡の詩人はここにおられますか?

342 :132人目の素数さん:04/11/09 11:41:51
>>341
>定性的に言葉で説明
第二階の言葉を使っても良いのですか?

343 :132人目の素数さん:04/11/09 23:46:57
オートマトンの自動生成法おしえて

344 :132人目の素数さん:04/11/09 23:57:13
そうじゃないんだよ
箱玉系,離散ソリトン系なんだよ

345 :132人目の素数さん:04/11/14 22:15:57
                        ''ミ″  .ヽ l".,l゙.,,,_
                         `'x,.`゚''i、゙ll,,,lメ゜`~"x,,,
                             ~',u'"` ゙゚x¬ー ,,r″
                          _,,,-‐"`゙゚L.,r'"゙゙'ィ''"^
                    _,,,-‐'゙^    ._,,,{|*、  .ヽ、
                _,―''"`,,,,,――‐ニ巛,,、 ヽ、  `'、、
                  ,ij,ぃ,,,,,」'" -''''""゙゙'''-、‘i、゙l,,,,,,,.゙'i、   `'、、
                  | `゙ン'゙`、 .,/',,r,,-.,,- '''“''・,,‘'i、゙i、   \
                  | ,/゙,,-'".,-'ン/,/′ .i、i、i、 ` .ヽ‘i、  、`'i、
               ,ビ'"/`,,i´,/ .″"   ,l゙.| .) │ .| `'コ'″  ヽ
                 |'l゙ ││,,―ー''"  ヽ、’ " .| .|  | ,/    ,/
              ` l / /,l゙ 、i″ュ   _,,,ヽ,、` .| .,,〃    .,/′ たすけてっ!
                |.| l゙l゙  |゙'fr"、  "| `''l,、 ,、,!'"    /    Kingに犯された上に殺される!
                |゙l.,!{ .| ゙l, .r‐, ゙゚'-f广_//¨゙゙゙"〕 ,-"
                ゙l.゙' .゙l ゙l、.ヽ.ヽ/   ,,/,/iジ''''''T |,i´
                  ,!ト .、 ″.゙|ヽwニ,,,/,i´'"   .| ,/゙|、
                 ,/、l゙ .l゙  ._,、ト-,,,,r'ケ,i´    ,,ネ  ゙l
               _,-'ン゛l゙ _|,,,-''',ン‐フ” |.l゙    ,/ |  ゙l,
           _,,,,,-‐彡',ンッ?゙”゛,/^ ,/` .| |.|    ./|  .゙l  ヽ、
      .,,-'"` ,/゛r''^,i´  /`'l..) ,!   ."'|゙l   / |  ゙l   `'i、
    _,/`  ,/  .,ス {   |    |    ゙l゙l _イ  {  ゙l,    ヽ
  .,,i´   /  ,/`゙l ゙l、 {    |  .,,/  ゙l゙l'" |  .|   ヽ    ヽ、


346 :132人目の素数さん:04/11/20 14:24:50
>>345
King様に犯された上に殺される!
この世の極楽味わいながらあの世にいける!

347 :132人目の素数さん:04/11/25 21:13:29
961

348 :132人目の素数さん:04/11/25 22:02:02
みなさん、2ちゃんねる専用ブラウザを使用して、「Re:>」をNGワードに設定しましょう。
「Re:>」をNGワードにすると偽者もあぼ〜ん出来るし、他のトリップを使ってる人を無視しなくて済みます。
kingが名前をしょっちゅう変えるのは、NGワードに登録されてあぼ〜んされるのを防ぐためらしいので、この方法が有効です。


349 :132人目の素数さん:04/12/02 23:13:06
203

350 :通りがかり:04/12/03 17:28:04
所詮世界なんて

プランクの長さのセルでできた
プランクの時間で発展する
オートマトンなのだよ

...orz

351 :132人目の素数さん:04/12/03 18:47:40
>>350
時間は相対的ですが何か

352 :132人目の素数さん:04/12/03 19:02:36
>>350
古典的には、な。

353 :132人目の素数さん:04/12/03 20:33:21
オートな馬肉


354 :132人目の素数さん:04/12/03 20:35:50
まじぼけですよね

355 :132人目の素数さん:04/12/10 12:12:29
490

356 :通りがかり:04/12/15 19:39:09
自動鍋つかみ

357 :132人目の素数さん:04/12/22 21:22:26
118

358 :132人目の素数さん:04/12/23 03:50:23
Visibly Pushdown Languages
ttp://portal.acm.org/citation.cfm?id=1007390

プログラミング言語等複雑な構造を持った言語を表現でき
なおかつ幾つもの演算に関するclosure propertyを満たし
同一性等の決定問題も肯定的に解ける、という
文脈自由言語と正則言語のいい所だけ取ってきたような
言語のクラスについて論じている。


359 :132人目の素数さん:04/12/26 22:51:32
読みたいけど会員じゃないと読めないの?

360 :132人目の素数さん:04/12/27 03:53:43
age

361 :132人目の素数さん:04/12/28 03:04:53
>>359
会員じゃないとダメっぽいね。
これなら読めるかな?Googleで2番目に出るヤツなんだけど。
ttp://www.cis.upenn.edu/~alur/Stoc04.pdf


362 :132人目の素数さん:04/12/28 19:54:24
>>361
thx!
読んでみます。

363 :132人目の素数さん:04/12/29 15:07:51
age

364 :132人目の素数さん:04/12/29 23:59:07
セルラーオートマトンモデルって難しいんですかね?
ム板から来たんでつが(´・ω・`;)

365 :132人目の素数さん:04/12/31 00:41:11
セルラーって???
釣りかな…


366 :132人目の素数さん:04/12/31 01:41:32
C言語で、セルラーオートマトンモデルのアニメーションを作りたいんだけど。同志を求めてやってきたんですが。。名前が違うのかな?

367 :132人目の素数さん:04/12/31 01:50:34
Javaで作ってるものは見たことあるんだ。(^_^;)

368 :132人目の素数さん:04/12/31 01:56:47
検索してみたんでつが、情報が凄く少ないんですよ(つд-;)
数学小辞典を買って、多項式から勉強やってるんですが
まぁ、マッタリいきたいと思います。

369 :132人目の素数さん:04/12/31 02:03:42
2年以内には作りあげたいです。

370 :132人目の素数さん:05/01/01 20:38:43
age

371 :132人目の素数さん:05/01/02 01:25:05
>>368
「セルオートマトン」なら11900件ヒットするよ
「セルラーオートマトン」は1340件。
前者でもう一度探してみたら?


372 :132人目の素数さん:05/01/02 04:33:09
>>371さん
情報どうも、ありがとう。セルオートマトンで、調べてみます

373 :132人目の素数さん:05/01/19 01:36:51
反復補題を満たすが正規言語ではない言語にはどのようなものがあるでしょうか?。

374 :132人目の素数さん:05/01/19 08:41:45
マトンて羊?


375 :132人目の素数さん:05/01/19 18:06:07
>>374
羊の肉

376 :132人目の素数さん:05/01/19 19:07:22
>>373
Aを正則表現a+(=aa*)で定義される正則言語、Bを正則言語でないとして
L=AB={αβ|α∈A,β∈B}
とすればLはそういう言語になりそうな気がする。


377 :132人目の素数さん:05/01/19 21:06:24
>>376
ありがとうございます。
L={a^nb^m|0<n≦m}
っていうのもそうですね。

378 :132人目の素数さん:05/02/06 18:35:40
【分散処理】またーりdistributed.net【懸賞有】
http://pc7.2ch.net/test/read.cgi/mac/1078473726/l50

379 :132人目の素数さん:05/02/17 10:04:29
245

380 :132人目の素数さん:05/02/27 10:14:40
781

381 :132人目の素数さん:05/03/01 16:15:49
>>378
落ちた

382 :132人目の素数さん:05/03/01 20:06:25
宣伝した直後でのdat落ちか。哀れ

383 :132人目の素数さん:05/03/12 18:35:04
793

384 :132人目の素数さん:2005/03/22(火) 15:39:11
533

385 :132人目の素数さん:2005/03/22(火) 15:45:48
【オートマトン】自動羊肉、つまり羊。
あたりまえのことをもってまわっていいたがる
ペダンティックな人が好む言い回し。

386 :132人目の素数さん:2005/03/22(火) 19:34:18
すると牛はオートビーフで鶏はオートチキン?

387 :132人目の素数さん:2005/03/22(火) 20:24:22
オートマトン=オート・マ・トン=高みの・わが・愚かさ

388 :132人目の素数さん:2005/03/23(水) 03:59:33
ブール代数でも双対原理があるけど、両者に何か相関性あるのかね。




389 :132人目の素数さん:2005/04/03(日) 05:01:30
三年二時間。


390 :132人目の素数さん:2005/04/04(月) 04:41:39
age

391 :132人目の素数さん:2005/04/22(金) 13:45:16
685

392 :132人目の素数さん:2005/05/08(日) 01:13:29
544

393 :132人目の素数さん:2005/05/24(火) 01:20:06
>>307
世のなかに実在する計算機はすべて有限オートマトンです。メモリって有限しかない。チューリングマシンじゃないから。

394 :132人目の素数さん:2005/05/24(火) 01:22:23
チューリングマシンは実在するんだあああっ
脳内にぃぃぃ

395 :132人目の素数さん:2005/05/24(火) 01:35:57
>>393
コンピュータ≒チューリングマシン
(セル)オートマトン≒ウェブ全体

396 :132人目の素数さん:2005/06/16(木) 04:38:43
オートマトンの研究って結局どんなところに行き着くの?

あとそれから、例えばia32プロセッサとメモリを一つのオートマトンとして
捉えるとしても、非同期で入ってくる割り込みみたいな事象は、オートマトンの
理論としてはどう考えるのがいいの?

397 :132人目の素数さん:2005/06/16(木) 04:43:48
いや、非同期で入ってくるものも、別にプロセッサが特殊な動作をするわけじゃなくて、
指定された割り込み処理用ルーチンに飛ぶだけだから、オートマトンの理論的になんの
問題もないんだけど、そういう外部から来るものは特別に考えたりするのかなーっと思って。

398 :132人目の素数さん:2005/06/16(木) 11:54:34
むしろそういう外部から来るものを遷移のラベルにするものだと思うが。

399 :132人目の素数さん:2005/06/16(木) 14:47:09
>>398
まだ、セルオートマトンの初歩的なことしか分らないです。
http://www001.upp.so-net.ne.jp/suzudo/index.html

これによって現実の計算機をどうやって考えたらいいのかなーって
思い巡らしてました。セルの全体を整列集合みたいに考えて、セル自身の
インデックスもパラメータとして受け取るような関数が定義できる、
そんなオートマトンがありえないかと適当に妄想してました。
集合論の初歩すらしらないド素人ですんません。
セルオートマトンのあまりにシンプルな考え方に感動したので。

400 :132人目の素数さん:2005/06/18(土) 06:59:30
>>399
最初から妄想飛ばしても長続きしないし仲間はできないよ。
まずはなんでもいいから専門書をみっちり読むこと。

401 :132人目の素数さん:2005/06/18(土) 07:53:47
>>400
にゃー、レスどもです。
有り余る時間だけが友達のヒキコモリなので、仲間はできなくてもいいけど、
妄想を廃してちゃんと考えるには、集合論をみっちりやらんとだめみたいっすね・・・

402 :132人目の素数さん:2005/06/18(土) 13:48:20
まずは

> どんなところに行き着くの?
> どう考えるのがいいの?

こういう表現で欲望をすべて満たそうという根性が直ったらまた来なさい。

403 :132人目の素数さん:2005/06/19(日) 21:54:33
age

404 :132人目の素数さん:2005/06/26(日) 12:24:26
質問いいですか?

405 :132人目の素数さん:2005/06/28(火) 06:28:37
age

406 :132人目の素数さん:2005/07/06(水) 21:50:17
すいません,質問なのですが,できれば答えてください.
いま,正則表現を簡易にしようとしたのですが,簡易にする方法が参考書のどこにも載っていません.
答えだけは載っていて,
a*+(a*ba*b)(b+aa*ba*b)*aa*が,(a*+ba*bb*a)*と変換できるみたいです.
何か便利な手続きがあるのでしょうか?それとも感で進めるのですか.
誰かお願いします.

407 :132人目の素数さん:2005/07/07(木) 04:27:44
>>406
答え見てから解法を作ったので今後役に立つかわからんが
まず任意の正規表現R,Sについて
(1) (R+S)* = R*(SR*)
(2) R(SR)*S = RS(RS)* →以下 (RS)# と略記。ε+(RS)# = (RS)* に注意。
であることを示しておく。
その上で
与式
= a*+(a*ba*b)b*((aa*ba*b)b*)*aa* …(1)
= a*+a*((ba*bb*)(aa*))# …(2)
= a*(ε+(ba*bb*aa*)#) …分配則
= a*(ba*bb*aa*)* …(2)の注意より
= (a+ba*bb*a)* …(1)
第1項がa*じゃなくてaになってるけど全体に*がかかるから実際には同じ。

408 :407:2005/07/07(木) 04:38:07
(1)は
(R+S)* = R*(SR*)* に訂正

409 :406:2005/07/07(木) 11:38:39
>>407,408
やっぱり感(というか経験)でやっていくのですね.
ありがとうございます.

410 :132人目の素数さん:2005/07/10(日) 06:10:51
機械つくってる会社ってオートマトンから考えて作っていくの?

411 :132人目の素数さん:2005/07/10(日) 09:06:37
ACMってよく出てくる会社名だけどどう読むの?

412 :132人目の素数さん:2005/07/11(月) 12:21:06
>>411
これのこと?
http://www.acm.org/

413 :132人目の素数さん:2005/08/05(金) 09:20:06
1

414 :132人目の素数さん:2005/08/05(金) 16:22:55
age

415 :132人目の素数さん:2005/08/05(金) 17:06:31
   数学は死んだ・・・。   

純粋数学は死んだ・・・。
今はコンピューティングの時代だ。

ということで、コンピューティングによる数学の統合。
その最前線を語るすれにすれ。

まあ、アメリカでは破竹の勢いだけど、日本ではマターリ
ルベーグ積分とかしてるんだもんな。オラオラ!世界は動いてんだ!

416 :132人目の素数さん:2005/09/14(水) 23:59:37
9

417 :132人目の素数さん:2005/09/16(金) 02:50:16
age

418 :132人目の素数さん:2005/10/08(土) 12:34:57
610

419 :132人目の素数さん:2005/10/22(土) 21:37:08
age

420 :132人目の素数さん:2005/10/23(日) 22:45:04
grepをはじめとする情報科学での応用について、このスレの人たちは知っているんだろうか?

421 :132人目の素数さん:2005/11/11(金) 16:20:52
>>420
おk。何が望みだ?

422 :132人目の素数さん:2005/11/12(土) 17:59:41
age

423 :132人目の素数さん:2005/12/04(日) 07:13:32
750

424 :132人目の素数さん:2005/12/13(火) 00:56:33
S -> 01A
A -> 0 | 1B
B -> 1 | 0A
と等価な左線形文法はどうなりますか?

425 :132人目の素数さん:2006/01/02(月) 01:51:12
409

426 :132人目の素数さん:2006/01/25(水) 23:47:26
質問!
プッシュダウンオートマトンを文脈自由文法に変換するとき、
たとえば、δ(q0,0,Z)={(q0,XZ)} から
[q0,Z,q0]-->0[q0,X,q0][q0,Z,q0]
[q0,Z,q0]-->0[q0,X,q1][q1,Z,q0]
を出したりするのは、あれはどういうことなのですか?
さっぱりわかりません。教えてください。

427 :132人目の素数さん:2006/01/28(土) 17:47:51
Sは開始記号、大文字は非終端記号、小文字は終端記号です。
S→aB | bA
A→a | aS | bbA
B→b | bS | aBB
をチョムスキーの標準形に書き換えます。

C→a, D→b, E→DA, F→BB, G→CS, H→DS
としたところ、
S→AB | E
A→C | G | DE
B→D | H | CF
となりました。

講義や書物には、右辺に開始記号以外の非終端記号が1つのものは
出てきません。これで正しいのでしょうか?

428 :132人目の素数さん:2006/01/28(土) 18:29:57
違いますね・・・。
新たに開始記号S_0を使い、

S_0→AB | E
A→C | CS | DE
B→D | DS | CF
S→AB | E
C→a
D→b
E→DA
F→BB
でしょうか?

これでも右辺に開始記号以外の非終端記号が1つのものが
含まれます。これは正しいのでしょうか?お願いします。

429 :132人目の素数さん:2006/01/28(土) 21:45:09
>427 >428
どちらも違うと思います(右辺に変数が1つだけの規則があるので)。
以下が正解の一つかな。
S→CB | DA
C→a
D→b
A→a | ES | DF
E → a
F → DA
B → b | DS | CG
G → BB

>426は分からん。

430 :427-428:2006/01/28(土) 22:02:42
>>429
レスありがとうございます。
かなりの過疎だったのでレスがいただけて驚いています。
F → DA があり、Sの右辺に DA がありますが、
規則を守るために F に置換はしないのですね。

おそらく E → a は冗長であると思います。

>>428で新しく開始記号 S_0 を置きましたが、これはチョムスキー標準形に変換する前の
自由文法のときに S→ε が含まれているときのみにすることなのですね。
疑問が解消され、理解が深まりました。ありがとうございました。

431 :132人目の素数さん:2006/01/28(土) 22:46:48
>おそらく E → a は冗長であると思います。
そうですね。

432 :132人目の素数さん:2006/01/29(日) 17:00:53
オートマトンをラベルとするようなオートマトンを考えました。
今特許申請中です。

433 :132人目の素数さん:2006/01/30(月) 20:22:36
右線形規則 A→aB と等価な左線形規則は B→Aa ですよね?
書物を何冊か見てみましたが、全部こう書いていました。

しかし、うちの教授は A→Ba と言っていました。
講義内で扱った例題でも、教授が言ったやりかたで左線形規則に書き換えています。
うちの教授間違ってますよね?

434 :132人目の素数さん:2006/01/30(月) 22:05:24
>>432
オートマトンをラベルとするようなオートマトンをラベルとするオートマトンを考えました
いま特許申請中です。

435 :132人目の素数さん:2006/02/05(日) 08:04:09
287

436 :132人目の素数さん:2006/03/02(木) 17:12:55
229

437 :132人目の素数さん:2006/03/26(日) 13:37:46


438 :132人目の素数さん:2006/04/03(月) 03:01:30
四年。


439 :132人目の素数さん:2006/04/05(水) 22:01:55
age

440 :132人目の素数さん:2006/04/15(土) 22:01:58


441 :132人目の素数さん:2006/05/13(土) 19:58:04


442 :132人目の素数さん:2006/05/26(金) 11:50:49
718

443 :132人目の素数さん:2006/05/28(日) 21:16:37
入門書プリーズ

444 :132人目の素数さん:2006/05/28(日) 22:17:04
工学系でも良い?

445 :132人目の素数さん:2006/06/16(金) 01:29:17
288

446 :132人目の素数さん:2006/07/09(日) 18:48:08
初期状態にεの入る遷移表の書き方がよく解りません。
ε-NFAというのでしょうか、非決定⇔決定のモノです。
初期状態でないモノなら、
б( б(q1,a) ,ε) = q2 としてしまえば良いのは解るのですが、
先に
   ε
p0 { b,c }と与えられていた場合には
ε遷移を行ったモノを初期状態として書いていけばよいのでしょうか?
乱文ですが、どなたかお願いします。

447 :132人目の素数さん:2006/07/28(金) 17:03:25
814

448 :132人目の素数さん:2006/08/30(水) 15:42:55
480

449 :132人目の素数さん:2006/10/02(月) 23:58:26
270

450 :132人目の素数さん:2006/11/12(日) 23:36:45
860

451 :132人目の素数さん:2006/11/18(土) 00:12:11
すいません。>>163で紹介されている「計算理論の基礎」なんですけど、この本でHilbertの第10問題
は解かれているんでしょうか。ざっと立ち読みしただけではわからなんだ。Hilbertの第10問題を解決するための
基礎となる技法を開発する、なんてフレーズは見つけたんですが、解決するところまで説明してくれてるのか
どうかがわからなんだ。もし解かれているなら購入しようと思ってます。どなたか親切な方教えて著。

452 :132人目の素数さん:2006/11/18(土) 13:18:37
すいませんageます

453 :132人目の素数さん:2006/12/27(水) 11:40:42
315

454 :132人目の素数さん:2007/01/07(日) 20:54:26
質問なんですが
決定性有限オートマトンで

0と1からなる文字列で前半と後半の文字列が同じで文字列の文字数は偶数、
つまり、受理するのはwwでwは0,1からなる文字列を受理する
オートマトンの遷移規則や解説を教えてください、お願いします。



455 :132人目の素数さん:2007/01/07(日) 23:28:14
×質問なんですが
○宿題の丸投げなんですが

456 :132人目の素数さん:2007/02/05(月) 15:49:54
301

457 :132人目の素数さん:2007/02/18(日) 02:37:37
>>443
http://www.amazon.co.jp/gp/product/4781910262/503-6823398-6921508?v=glance&n=465392

工学系の本らしいが、記述は数学的にしっかりしている。

>>454
可能なのか?スタック付けないと無理な気がするが。

78 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)