ȯ¿øÀû À¯¹°·Ð


(3) ȯ¿øÀû À¯¹°·Ð (µ¿ÀÏ·Ð)
- ÁÖÀå : ½É¸® »óÅ´ µÎ³úÀÇ ¹°¸®Àû »óÅÂ¿Í (¼öÀûÀ¸·Î) µ¿ÀÏÇÏ´Ù. ±×°ÍÀº ¸¶Ä¡ ¿­Àº °ð ºÐÀÚÀÇ ¿îµ¿¿¡³ÊÁöÀÎ °Í°ú °°´Ù. ¡®¿­¡¯°ú ¡®ºÐÀÚÀÇ ¿îµ¿¿¡³ÊÁö¡¯´Â ¸Å¿ì ´Þ¶ó º¸ÀÌÁö¸¸ ½ÇÁ¦·Î´Â °°´Ù. ¸¶Âù°¡Áö·Î ¾ÆÇĵµ ¾î¶² µÎ³úÀÇ ¹°¸®Àû »óÅÂ¿Í µ¿ÀÏÇÒ °ÍÀÌ´Ù.
- ½Å°æ°úÇп¡ ´ëÇÑ ±â´ë : Àΰ£ÀÇ Çൿ°ú ±× ¿øÀο¡ ´ëÇÑ ¼³¸íÀº ½Å°æ°úÇÐÀÌ Á¦°øÇÒ °ÍÀÌ´Ù.
¢¡ À¯Çü(type) µ¿ÀϷаú °³º°ÀÚ(token) µ¿ÀÏ·ÐÀ¸·Î ±¸ºÐµÈ´Ù.

1> À¯Çü µ¿ÀÏ·Ð
À¯Çü µ¿ÀÏ·ÐÀº ´ÙÀ½ÀÇ µÎ ¿ø¸®¸¦ ±Øº¹ÇØ¾ß ÇÑ´Ù.
¨ç µ¿ÀÏÀÚ ½Äº° ºÒ°¡´É¼º ¿ø¸® (x)(y)[ x=y ¡æ (F)(Fx¡æFy & Fy¡æFx) ]
¨è ½Äº° ºÒ°¡´ÉÀÚ µ¿Àϼº ¿ø¸® (x)(y)[ (F)(Fx¡æFy & Fy¡æFx) ¡æ x=y ]
¢¡ ¸ðµç °ÍÀ» °øÀ¯ÇÑ´Ù°í Çصµ °°Áö ¾ÊÀ» ¼ö ÀÖ´Ù.(¿¹¸¦ µé¾î¼­ °ø°£Àû ÁÂÇ¥¶óµµ ´Ù¸¦ °ÍÀÌ´Ù.)

2> °³º°ÀÚ µ¿ÀÏ·Ð
: DavidsonÀÌ ´ëÇ¥ÀûÀÌ´Ù. ÀûÀýÇÑ ¼ö¹Ý °³³äÀ» ã¾Æ¾ß ÇÑ´Ù. ¡æDavidsonÂüÁ¶.
¨Î ³»¼º¿¡ ÀÇÇÑ ³íÁõ : ½É¸® »óÅÂ, ½É¸® ¼Ó¼º°ú ½Å°æ°úÇÐÀû »óÅÂ¿Í ¼Ó¼ºÀº ±Ùº»ÀûÀ¸·Î ´Ù¸£´Ù.
¢¡ ³ª´Â ½É¸® »óŵéÀ» ³»¼ºÀ¸·Î °üÂû°¡´ÉÇÏ´Ù°í ¹Ï´Â´Ù.
³ª´Â µÎ³ú »óŵéÀº ³»¼ºÀ¸·Î °üÂûºÒ°¡´ÉÇÏ´Ù°í ¹Ï´Â´Ù.
¡Å¶óÀÌÇÁ´ÏÂêÀÇ ¿ø¸®¿¡ µû¸£¸é, µÑÀº ´Ù¸£´Ù.
¡æÇÏÁö¸¸ ÀÌ°ÍÀº ³»Æ÷Àû ¿À·ù¿¡ ±Ù°ÅÇÏ°í ÀÖ´Ù.
Áï ÁöÇâÀû ¸Æ¶ô¿¡¼­´Â ¿À¿¬ÀÌ °°¾Æµµ ġȯÀÌ ºÒ°¡´ÉÇÏ´Ù.
(±×·¯³ª, ´ë»óÀÇ À¯Çü°ú Áö½ÄÀÇ À¯ÇüÀ» ±¸ºÐÇÒ ÇÊ¿ä°¡ ÀÖ´Ù.)
¨Ï ¹üÁÖÀÇ ¿À·ù : µÎ³ú »óÅÂ¿Í ½É¸® »óÅ´ ¹üÁÖ°¡ ´Ù¸£´Ù.
ex) µÎ³ú»óÅ¿¡´Â T. F¸¦ ºÎ¿©ÇÒ ¼ö ¾ø´Ù. (Àǹ̷ÐÀû ¹®Á¦.)
±×¸®°í ½É¸® »óÅ´ °ø°£Àû ¼Ó¼ºÀÌ ¾ø´Ù.
¨Ð º¹¼ö½ÇÇö °¡´É¼º : ÇÑ À¯ÇüÀÇ Á¤½Å»óÅ¿¡ ¿©·¯°¡Áö ¹°¸® »óŵéÀÌ ´ëÀÀµÉ ¼ö ÀÖ´Ù.
¡æ À¯Çü µ¿ÀϷп¡ ´ëÇÑ ¹Ý·Ð.