| ·¢»õÆÚÏÞ: ×ÔÂò¼Ò¸¶¿îÖ®ÈÕÆð ÌìÄÚ·¢»õ | ËùÔÚµØ: ¸£½¨ ¸£ÖÝÊÐ |
| ÓÐЧÆÚÖÁ£º ³¤ÆÚÓÐЧ | Æ·ÅÆ£º¸£ÖÝBIMÅàѵ»ú¹¹ |



BIMÊý¾Ý¿âÖеÄÊý¾Ý¾ßÓпɼÆÁ¿(computable)µÄÌØµã£¬´óÁ¿¹¤³ÌÏà¹ØµÄÐÅÏ¢¿ÉÒÔΪ¹¤³ÌÌṩÊý¾Ýºǫ́µÄ¾Þ´óµ±Ç°½¨ÖþÒµÒѲ½Èë¼ÆËã»ú¸¨Öú¼¼
| ·¢»õÆÚÏÞ: ×ÔÂò¼Ò¸¶¿îÖ®ÈÕÆð ÌìÄÚ·¢»õ | ËùÔÚµØ: ¸£½¨ ¸£ÖÝÊÐ |
| ÓÐЧÆÚÖÁ£º ³¤ÆÚÓÐЧ | Æ·ÅÆ£º¸£ÖÝBIMÅàѵ»ú¹¹ |