07/03/20 03:02:26 5aLuwI/Y0
いや、ガッカリはしていないけど。
そもそもあのページ、文書が結論まで簡潔してませんがな。
ちなみにおまいはあのページのどこに萌えたんだ？
俺は単に自分が萌えなかった理由を書いたつもりなんだが、よほど共感できた点があるなら書いてみそ。
まさかあのページ書いた本人だったりしてｗ
32:名無しさん＠お腹いっぱい。
07/03/20 03:56:41 IojS+fSH0
俺はそこの作者じゃねぇ～が、
この板に常駐してるヤシが
学問の「萌え」を理解できねぇデクノボーである事はよく判った。
33:名無しさん＠お腹いっぱい。
07/03/20 03:58:54 IojS+fSH0
くだらねぇ話題にしつこく粘着してくるヤシが
あまりにくだらねぇので
■■■■ 終了 ■■■■
34:名無しさん＠お腹いっぱい。
07/03/25 15:47:07 76QJsqfh0
俺がこの分野でおもしろいと思うのは、新たに文法体系を導入、拡張したり、既存の文法体系と辻褄合わせたり、種々のアルゴリズム考えたりすることかな。
正規言語を定式化し直したいと考えたことはなかったかも。
前に量子力学勉強してたことあるから、その辺の関連付けは面白そうだとは思うけど、何か微妙な感じもする。
35:名無しさん＠お腹いっぱい。
07/03/31 14:18:23 RndSemay0
閉包性ってどういう意味があるの？
文脈自由文法を２つ結合したりとか、そんなシチュエーションあるのかな？
教えてｴﾛｲ人！
36:名無しさん＠お腹いっぱい。
07/04/03 03:10:11 qlhESISe0
文脈フリー文法っていう和訳を考案した人のセンスは最高ですね
37:名無しさん＠お腹いっぱい。
07/04/03 14:20:01 qlhESISe0
文脈自由よりマシかな
38:名無しさん＠お腹いっぱい。
07/05/05 05:43:47 5Lj74Adg0
>>35
結合したいときもあるんだよ・・・たぶん
つーか結合って何？
39:名無しさん＠お腹いっぱい。
07/05/08 07:21:23 2lXcY4o80
concatenationのことでしょ。
閉方性はCFGに限らず、主に言語族の同値性とか階層定理の証明を単純化するための道具として使う。
40:名無しさん＠お腹いっぱい。
07/05/14 11:14:26 aHgXj4QA0
反復補題って難しいなぁ
もうダメぽ
41:名無しさん＠お腹いっぱい。
07/05/16 23:03:40 LNF/l1Jz0
>>40
そう？
42:名無しさん＠お腹いっぱい。
07/05/18 06:37:21 EblcCQ1jO
かんたんだろ
43:名無しさん＠お腹いっぱい。
07/05/30 21:14:27 1HFqLxL8O
確かにかんたんだ
44:名無しさん＠お腹いっぱい。
07/08/03 09:33:49 X77U3/m10
pumping lemmaは反復補題だけど、pumping argumentは何て訳すの？
45:名無しさん＠お腹いっぱい。
07/11/20 19:08:38 fzwbyT2r0
age
46:名無しさん＠お腹いっぱい。
07/11/22 02:56:29 Q9p28qIx0
wikipediaに載っていたのだけれど
文法AとBに対して
L(A)⊂L(B) かどうかは判定できないんだね
計算機って無力だ･･･
47:名無しさん＠お腹いっぱい。
07/11/24 17:21:24 OwrssbNS0
集合演算とか、統計演算とか、確立計算とかを高度に
サポートした高級言語は無いのか？
48:名無しさん＠お腹いっぱい。
07/11/24 19:32:06 tQpIb+1s0
Mは近いんじゃね
49:名無しさん＠お腹いっぱい。
07/11/29 18:09:30 eNCIJjPp0
ファジーやニューロモデルの演算をサポートした高級言語は
ありませんか？あと連想記憶モデルとか。
50:名無しさん＠お腹いっぱい。
08/02/21 13:24:31 3HU3+rBl0
今オートマトンの問題につまずいているのですが
こちらで質問させてもらってもいいでしょうか＞＜；
オートマトン関連の後に形式言語などを勉強したので関連あると思って；
それかどこかいいスレがありましたら教えてくださいorz
51:名無しさん＠お腹いっぱい。
08/05/16 00:19:48 CEiSLydP0
>>50
まずはオートマトンの意味を正しく理解してから（ｒｙ