²é¿´: 1777  |  »Ø¸´: 5
µ±Ç°Ö»ÏÔʾÂú×ãÖ¸¶¨Ìõ¼þµÄ»ØÌû£¬µã»÷ÕâÀï²é¿´±¾»°ÌâµÄËùÓлØÌû

xiaomeng18

Òø³æ (СÓÐÃûÆø)

[ÇóÖú] µ¥´Ê"Supremal"ÊÇʲôÒâ˼£¬Çó½âÊÍ

ÎÄÏ×Ô­ÌâÈçÏ£º
A Note on the Properties of the Supremal Controllable Sublanguage in Pushdown Systems
»Ø¸´´ËÂ¥

» ²ÂÄãϲ»¶

ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

odom1979

гæ (СÓÐÃûÆø)

Supremal Controllable Sublanguage ×î´ó¿É¿Ø×ÓÓïÑÔ
Wonham¸úLafortuneµÈÈ˸ã³öÀ´µÄ Àëɢʼþ¼à¿ØÀíÂÛµÄÄÚÈÝ
4Â¥2013-03-04 08:11:58
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
²é¿´È«²¿ 6 ¸ö»Ø´ð

youth0826

ÖÁ×ðľ³æ (ÖøÃûдÊÖ)

weibo.com/138147022

¡¾´ð°¸¡¿Ó¦Öú»ØÌû

¡ï ¡ï
¸Ðл²ÎÓ룬ӦÖúÖ¸Êý +1
xiaomeng18: ½ð±Ò+2, ¡ï¡ï¡ïºÜÓаïÖú, Thanks! 2013-02-02 22:46:15
ÉÏÈ·½çsupremumµÄÐÎÈÝ´ÊÐÎʽ
QQȺ£º202610705£¬¹Ø×¢¼ÆËã»úÊÓ¾õ£¬Ä£Ê½Ê¶±ð£¬Ä£Ê½·ÖÎö£¬»úÆ÷ѧϰ£¬È˹¤ÖÇÄÜ£¬Í³¼ÆÑ§Ï°£¬Í¼Ïñ´¦ÀíµÈ£¬»¶Ó­¼ÓÈ룡
2Â¥2013-02-02 22:16:36
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

msz820110

Ìú³æ (СÓÐÃûÆø)

´Ó´Ê¸ùÀ´¿´£¬Ó¦¸ÃÊÇ¡°ÖÁ¸ßµÄ£¬ÎÞÉϵģ¬×î¸ßµÄ¡±ÄÇЩÒâ˼¡£

²»È·¶¨Ä³ÖÖÁìÓòÖУ¬»á²»»áÓÐÌØ±ðµÄ¶¨Òå¡£
3Â¥2013-03-03 16:45:58
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

xiaomeng18

Òø³æ (СÓÐÃûÆø)

ÒýÓûØÌû:
4Â¥: Originally posted by odom1979 at 2013-03-04 08:11:58
Supremal Controllable Sublanguage ×î´ó¿É¿Ø×ÓÓïÑÔ
Wonham¸úLafortuneµÈÈ˸ã³öÀ´µÄ Àëɢʼþ¼à¿ØÀíÂÛµÄÄÚÈÝ

¶àл£¡
5Â¥2013-03-04 21:29:48
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] 303Çóµ÷¼Á +6 À¶É½Ô 2026-03-25 6/300 2026-03-25 22:47 by 418490947
[¿¼ÑÐ] 335·Ö | ²ÄÁÏÓ뻯¹¤×¨Ë¶ | GPA 4.07 | ÓпÆÑо­Àú +6 cccchenso 2026-03-23 6/300 2026-03-25 22:25 by 544594351
[¿¼ÑÐ] »¯Ñ§¹¤³Ì085602 305·ÖÇóµ÷¼Á +9 RichLi_ 2026-03-25 9/450 2026-03-25 22:21 by 418490947
[¿¼ÑÐ] 292Çóµ÷¼Á +6 ¶ì¶ì¶ì¶î¶î¶î¶î¶ 2026-03-25 7/350 2026-03-25 22:04 by Î޼ʵIJÝÔ­
[¿¼ÑÐ] 334·Ö Ò»Ö¾Ô¸ÎäÀí-080500 ²ÄÁÏÇóµ÷¼Á +4 ÀîÀî²»·þÊä 2026-03-25 4/200 2026-03-25 21:26 by ÐÇ¿ÕÐÇÔÂ
[¿¼ÑÐ] Ò»Ö¾Ô¸ÖÐÄÏ´óѧ»¯Ñ§Ñ§Ë¶0703×Ü·Ö337Çóµ÷¼Á +7 niko- 2026-03-22 7/350 2026-03-25 20:14 by qingfeng258
[¿¼ÑÐ] ²ÄÁÏר˶ 335 ·ÖÇóµ÷¼Á +4 ¾Ü¾øÀ䱩Á¦ 2026-03-25 4/200 2026-03-25 18:45 by haxia
[¿¼ÑÐ] ÇóbÇøÔºÐ£µ÷¼Á +4 ÖÜ56 2026-03-24 5/250 2026-03-25 17:12 by yishunmin
[¿¼ÑÐ] 281Çóµ÷¼Á +4 Koxui 2026-03-24 5/250 2026-03-25 11:38 by userper
[¿¼ÑÐ] 289²ÄÁÏÓ뻯¹¤£¨085600£©BÇøÇóµ÷¼Á +4 ÕâôÃû×ÖÕ¦Ñù 2026-03-22 5/250 2026-03-25 08:20 by mx.yue
[¿¼ÑÐ] 276Çóµ÷¼Á¡£ÓаëÄêµç³ØºÍ°ëÄê¸ß·Ö×Óʵϰ¾­Àú +9 ²ÄÁÏѧ257Çóµ÷¼Á 2026-03-23 10/500 2026-03-24 07:36 by wangy0907
[¿¼ÑÐ] Ò»Ö¾Ô¸ÖØÇì´óѧ085700×ÊÔ´Óë»·¾³£¬×Ü·Ö308Çóµ÷¼Á +7 īīĮ 2026-03-23 8/400 2026-03-23 20:36 by Creta
[¿¼ÑÐ] 298Çóµ÷¼Á +8 Éϰ¶6666@ 2026-03-20 8/400 2026-03-23 11:02 by laoshidan
[¿¼ÑÐ] Çóµ÷¼Á²ÄÁÏѧ˶080500£¬×Ü·Ö289·Ö 5+3 @taotao 2026-03-19 21/1050 2026-03-23 10:17 by ¹Úc¸ç
[¿¼ÑÐ] 324Çóµ÷¼Á +6 luckyѽѽѽѼ 2026-03-20 6/300 2026-03-22 16:01 by ColorlessPI
[¿¼ÑÐ] Çóµ÷¼ÁԺУÐÅÏ¢ +6 CX 330 2026-03-21 6/300 2026-03-22 15:25 by ÎÞи¿É»÷111
[¿¼ÑÐ] ÉúÎïѧµ÷¼Á +5 Surekei 2026-03-21 5/250 2026-03-22 14:39 by tcx007
[¿¼ÑÐ] 295²ÄÁÏÇóµ÷¼Á£¬Ò»Ö¾Ô¸Î人Àí¹¤085601ר˶ +5 Charlieyq 2026-03-19 5/250 2026-03-20 20:35 by JourneyLucky
[¿¼ÑÐ] Çóµ÷¼Á +3 eation27 2026-03-20 3/150 2026-03-20 19:32 by JourneyLucky
[¿¼ÑÐ] 320Çóµ÷¼Á0856 +3 ²»ÏëÆðÃû×Ö112 2026-03-19 3/150 2026-03-19 22:53 by ѧԱ8dgXkO
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û