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

xiaomeng18

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

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

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

» ²ÂÄãϲ»¶

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

msz820110

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

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

²»È·¶¨Ä³ÖÖÁìÓòÖУ¬»á²»»áÓÐÌØ±ðµÄ¶¨Òå¡£
3Â¥2013-03-03 16:45: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µÄ»ØÌû

odom1979

гæ (СÓÐÃûÆø)

Supremal Controllable Sublanguage ×î´ó¿É¿Ø×ÓÓïÑÔ
Wonham¸úLafortuneµÈÈ˸ã³öÀ´µÄ Àëɢʼþ¼à¿ØÀíÂÛµÄÄÚÈÝ
4Â¥2013-03-04 08:11: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µÄ»ØÌû
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] µ÷¼Á310 +3 ÎÂÈáµÄÍí°² 2026-03-25 4/200 2026-03-25 23:16 by peike
[¿¼ÑÐ] 289Çóµ÷¼Á +14 ˶ÐǸ° 2026-03-23 14/700 2026-03-25 22:22 by 544594351
[¿¼ÑÐ] 334·Ö Ò»Ö¾Ô¸ÎäÀí-080500 ²ÄÁÏÇóµ÷¼Á +4 ÀîÀî²»·þÊä 2026-03-25 4/200 2026-03-25 21:26 by ÐÇ¿ÕÐÇÔÂ
[¿¼ÑÐ] ÇóbÇøÔºÐ£µ÷¼Á +4 ÖÜ56 2026-03-24 5/250 2026-03-25 17:12 by yishunmin
[¿¼ÑÐ] 0854µç×ÓÐÅÏ¢Çóµ÷¼Á +7 ¦Á____ 2026-03-22 9/450 2026-03-25 13:37 by ¦Á____
[¿¼ÑÐ] Çóµ÷¼Á +3 ÀîÀî²»·þÊä 2026-03-25 3/150 2026-03-25 13:03 by cmz0325
[¿¼ÑÐ] 293Çóµ÷¼Á +7 ¼ÓÒ»Ò»¾Å 2026-03-24 7/350 2026-03-25 12:02 by userper
[¿¼ÑÐ] 085600²ÄÁÏÓ뻯¹¤µ÷¼Á +9 A-¶ßÀ²ZÃÎ 2026-03-23 15/750 2026-03-25 11:18 by Ainin_
[¿¼ÑÐ] 300·Ö£¬²ÄÁÏ£¬Çóµ÷¼Á£¬Ó¢Ò»Êý¶þ +5 ³¬ÔÞµÄ 2026-03-24 5/250 2026-03-24 21:07 by ÐÇ¿ÕÐÇÔÂ
[¿¼ÑÐ] ¡¾¿¼Ñе÷¼Á¡¿»¯Ñ§×¨Òµ 281·Ö£¬Ò»Ö¾Ô¸ËÄ´¨´óѧ£¬³ÏÐÄÇóµ÷¼Á +15 ³Ô³Ô³Ô²ÅÓÐÒâÒå 2026-03-19 16/800 2026-03-24 19:51 by ÁËÁËÁËÁË¡£¡£
[¿¼ÑÐ] Ò»Ö¾Ô¸±±»¯315 Çóµ÷¼Á +3 akrrain 2026-03-24 3/150 2026-03-24 19:35 by ÁËÁËÁËÁË¡£¡£
[¿¼ÑÐ] 292Çóµ÷¼Á +4 ¶ì¶ì¶ì¶î¶î¶î¶î¶ 2026-03-24 4/200 2026-03-24 16:41 by peike
[¿¼ÑÐ] 080500Çóµ÷¼Á +3 zzzzfan 2026-03-24 3/150 2026-03-24 16:38 by barlinike
[¿¼ÑÐ] ²ÄÁÏר˶331Çóµ÷¼Á +4 Ïʵ±Å£ 2026-03-24 4/200 2026-03-24 15:58 by JourneyLucky
[¿¼ÑÐ] 276Çóµ÷¼Á¡£ÓаëÄêµç³ØºÍ°ëÄê¸ß·Ö×Óʵϰ¾­Àú +9 ²ÄÁÏѧ257Çóµ÷¼Á 2026-03-23 10/500 2026-03-24 07:36 by wangy0907
[¿¼ÑÐ] һ־Ըɽ¶«´óѧҩѧѧ˶Çóµ÷¼Á +3 ¿ª¿ªÐÄÐÄû·³ÄÕ 2026-03-23 4/200 2026-03-24 00:06 by ¿ª¿ªÐÄÐÄû·³ÄÕ
[¿¼ÑÐ] 276Çóµ÷¼Á +3 YNRYG 2026-03-21 4/200 2026-03-23 08:31 by ×íÔÚ·çÀï
[¿¼ÑÐ] 285Çóµ÷¼Á +6 ytter 2026-03-22 6/300 2026-03-22 12:09 by ÐÇ¿ÕÐÇÔÂ
[¿¼ÑÐ] ÇóÖú +5 ÃÎÀïµÄÎÞÑÔ 2026-03-21 6/300 2026-03-21 17:51 by ѧԱ8dgXkO
[¿¼ÑÐ] AÇøÏß²ÄÁÏѧµ÷¼Á +5 ÖÜÖÜÎÞ¼« 2026-03-20 5/250 2026-03-20 21:33 by laoshidan
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û