|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 理论计算机科学 』 (http://bbs.xml.org.cn/list.asp?boardid=64) ---- automata (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=22645) |
|
-- 作者：zhaoming -- 发布时间：9/28/2005 5:40:00 PM -- automata 现在automata理论做的人越来越少了,都是以model checking为需要来做的.国外搞automata理论的很多,国内好象把petri net用到model checking的好象相对多. |
|
-- 作者：injuredwolf -- 发布时间：10/7/2005 10:25:00 AM -- 是吗,国外现在似乎搞的不多.楼主似乎对model checking较为精通,什么时候切磋一下 |
|
-- 作者：Animal -- 发布时间：10/8/2005 10:29:00 PM -- 要学习学习 |
|
-- 作者：zhaoming -- 发布时间：10/11/2005 12:36:00 PM -- 2楼的，国外做automata的人很多，ＴＣＳ和ＬＮＣＳ上的文献一年上百篇，我根本看不过来，还不多啊．过去是以编译需要研究automata，后来编译前端成熟了，automata冷了一段时间，后来以model checking的需要，做automata的又多了． 精通不敢当，知道一点，也做过３年．现在换方向了，有空交流． |
|
-- 作者：misouli -- 发布时间：11/15/2005 2:15:00 AM -- 本人现在在法国学计算机，今年刚刚接触automata，能不能请各位高人介绍一下automata？ |
|
-- 作者：yangfeather -- 发布时间：4/15/2006 7:09:00 PM -- Automata是做逻辑分析的非常好的工具，而且现在automata和game， semigroup的关系非常紧密，这个里面可做的东西太多聊！ |
|
-- 作者：wason21cn -- 发布时间：4/17/2006 9:52:00 PM -- 对于Description Logic的cyclic的Tbox来说， 很多都是用automata理论做这方面的model checking |
|
-- 作者：accueil -- 发布时间：11/21/2006 5:57:00 PM -- Automata的应用还是很广的，国外还有很多人在研究，如果是研究Model Checking的，更加是少不了这方面的东西。除了Autoamta，现在ASM（Abstract State Machine）也很热，主要是和UML的形式化研究有关。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |