|
ÄÚµå¹øÈ£ : 2 |
|
¹ßÇ¥ÀÚ : ±èÇüÁß |
|
¼Ò¼Ó : °í·Á´ëÇб³ |
|
ºÎ¼ : Á¤º¸º¸È£´ëÇпø |
|
Á÷À§ : ±³¼ö |
|
¼¼¼Ç½Ã°£ : |
|
¹ßÇ¥ÀÚ¾à·Â : |
°í·Á´ë Á¤º¸º¸È£´ëÇпø ±³¼ö
°í·Á´ë ¾ÏÈ£ÈÆ󿬱¸¼¾ÅÍ ¼¾ÅÍÀå |
|
|
°¿¬¿ä¾à : |
½º¸¶Æ® ÄÁÆ®·¢Æ®´Â »çÀü ¼³Á¤µÈ Á¶°ÇÀÌ ¸¸Á·µÇ¸é ½ÇÇàµÇ´Â ÇÁ·Î±×·¥ÀÌ´Ù. ¾ÆÁ÷ ¹ýÀûÀ¸·Î È¿·ÂÀÌ ÀÎÁ¤µÈ °è¾àÀº ¾Æ´Ï¸ç, ½ÇÇàÇÒ ¼ö ÀÖ´Â ÇÁ·Î±×·¥ÀÌ´Ù.
±×·¸Áö¸¸ ½º¸¶Æ® °è¾àÀÇ Turing completeness·Î ÀÎÇØ ¿øÇÏ´Â ¼öÁØÀÇ ÇÁ·Î±×·¥ ÀÛ¼ºÀÌ °¡´ÉÇÏ´Ù. ´Ù¸¸ decidableÇÏ°Ô ±¸ÇöÇϱâ À§ÇØ gasÀÇ °³³äÀ» µµÀÔÇØ Á¦¾àÀ» °¡Çß´Ù.
±×·³¿¡µµ ºÒ±¸ÇÏ°í ½º¸¶Æ® °è¾àÀÌ dAppÀ» ¸¸µå´Â Åä´ë°¡ µÇ¾î ´Ù¾çÇÑ ÀÀ¿ëºÐ¾ß¸¦ ¸¸µé¾î ³Â´Ù. ±× °á°ú ¾ÏÈ£ÈÆó ¼¼°è¿¡¼ ´Ù¾çÇÑ Ç÷§ÆûÀÌ ÃâÇöÇß°í ±× »ýÅ°踦 dz¼ºÇÏ°Ô ¸¸µé¾ú´Ù.
±×·±µ¥ ½º¸¶Æ® °è¾àÀÇ ¼ö¸¹Àº ¹®Á¦Á¡µéÀÌ ¼¼È÷ µ¹ÃâÇÏ°í ÀÖ´Ù. ¹«¾ùÀ̵ç ÇÁ·Î±×·¡¹ÖÀ¸·Î ±¸ÇöÇÒ ¼ö ÀÖ°Ô ÇÔÀ¸·Î½á ÀüÇô ¿¹»óÇÏÁö ¸øÇÑ ÇÔÁ¤µéÀÌ ¹ß°ßµÇ°í ÀÖ´Ù. ÀÌ·Î ÀÎ
ÇØ ½ÃÅ¥¾îÄÚµùÀÌ ÇÊ¿äÇÏ°í, ÄÚµå °¨¸®°¡ ¿ä±¸µÇ¸ç, ½ÉÁö¾î ½É°¢ÇÑ ±ÝÀ¶»ç°í·Î ÀÎÇØ ºí·ÏüÀÎÀÇ ºñ°¡¿ª¼ºÀÌ ¹®Á¦°¡ µÇ°í ÀÖ´Ù.
ÀÌ °ÀÇ¿¡¼ ½º¸¶Æ® °è¾àÀÇ ¿ëµµ¿Í ¹®Á¦Á¡¿¡ ´ëÇØ Â¤¾îº¸°í ´ë¾ÈÀ» ¸ð»öÇÑ´Ù. |
|
|
¿Â¶óÀÎÇà»çÀå : |
|
|