\uc815\ud615\uc2dd(Regular Expression, \uc904\uc5ec\uc11c \uc815\uaddc \ud45c\ud604\uc2dd)\uc740 \ud2b9\uc815\ud55c \ud328\ud134\uc744 \ud45c\ud604\ud558\uae30 \uc704\ud574 \uc0ac\uc6a9\ub418\ub294 \ubb38\uc790\uc5f4\uc758 \ud615\uc2dd\uc785\ub2c8\ub2e4. \uc8fc\ub85c \ud14d\uc2a4\ud2b8 \uac80\uc0c9 \ubc0f \uc870\uc791\uc5d0 \ud65c\uc6a9\ub418\uba70, \ubcf5\uc7a1\ud55c \ubb38\uc790\uc5f4\uc758 \uac80\uc0c9 \ubc0f \ub300\uccb4 \uc791\uc5c5\uc5d0 \ud6a8\uacfc\uc801\uc785\ub2c8\ub2e4. \uc815\ud615\uc2dd\uc740 \ub2e4\uc591\ud55c \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uc640 \ub3c4\uad6c\uc5d0\uc11c \uc9c0\uc6d0\ub418\uba70, \uadf8 \uc815\uc758\uc640 \ud2b9\uc9d5\uc740 \ub2e4\uc74c\uacfc \uac19\uc2b5\ub2c8\ub2e4.1. **\uc815\uc758**: \uc815\ud615\uc2dd\uc740 \ubb38\uc790, \ubb38\uc790 \ud074\ub798\uc2a4, \uba54\ud0c0\ubb38\uc790 \ubc0f \ubc18\ubcf5\uc744 \ub098\ud0c0\ub0b4\ub294 \uae30\ud638\ub4e4\uc744 \uc870\ud569\ud558\uc5ec \ud2b9\uc815 \ubb38\uc790\uc5f4 \ud328\ud134\uc744 \uae30\uc220\ud55c \uac83\uc785\ub2c8\ub2e4. \uc774\ub7ec\ud55c \ud328\ud134\uc740 \ud2b9\uc815 \uc870\uac74\uc744 \ub9cc\uc871\ud558\ub294 \ubaa8\ub4e0 \ubb38\uc790\uc5f4\uc744 \ucc3e\uac70\ub098 \uc0dd\uc131\ud558\ub294 \ub370 \uc0ac\uc6a9\ub429\ub2c8\ub2e4.2. **\ud2b9\uc9d5**: – **\uc720\uc5f0\uc131**: \uc815\ud615\uc2dd\uc740 \ub9e4\uc6b0 \uc720\uc5f0\ud558\uace0 \uac04\uacb0\ud558\uac8c \ub2e4\uc591\ud55c \ubb38\uc790\uc5f4 \ud328\ud134\uc744 \uc815\uc758\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4. \uc608\ub97c \ub4e4\uc5b4, \uc22b\uc790, \ubb38\uc790, \uacf5\ubc31 \ub4f1\uc744 \uc870\ud569\ud558\uc5ec \ub2e4\uc591\ud55c \uaddc\uce59\uc744 \ub9cc\ub4e4 \uc218 \uc788\uc2b5\ub2c8\ub2e4. – **\ub9e4\uce6d**: \uc815\ud615\uc2dd\uc740 \ud14d\uc2a4\ud2b8 \ubb38\uc790\uc5f4\uc5d0\uc11c \ud328\ud134\uc744 \ucc3e\uc544 \ub9e4\uce6d\ud558\ub294 \ub370 \uac15\ub825\ud55c \ub3c4\uad6c\uc785\ub2c8\ub2e4. \uc774\ub294 \uac80\uc0c9, \uac80\uc99d, \ubcc0\ud658 \ub4f1\uc758 \uc791\uc5c5\uc5d0\uc11c \uc720\uc6a9\ud569\ub2c8\ub2e4. – **\uba54\ud0c0\ubb38\uc790**: ^ (\uc2dc\uc791), $ (\ub05d), . (\uc784\uc758\uc758 \ubb38\uc790), * (0\ud68c \uc774\uc0c1\uc758 \ubc18\ubcf5), + (1\ud68c \uc774\uc0c1\uc758 \ubc18\ubcf5) \ub4f1 \uc5ec\ub7ec \uba54\ud0c0\ubb38\uc790\ub97c \uc0ac\uc6a9\ud558\uc5ec \ubcf5\uc7a1\ud55c \uac80\uc0c9 \ud328\ud134\uc744 \uc791\uc131\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4. – **\uadf8\ub8f9\ud654**: ()\ub97c \uc0ac\uc6a9\ud558\uc5ec \ud558\uc704 \ud45c\ud604\uc2dd\uc744 \uadf8\ub8f9\ud654 \ud560 \uc218 \uc788\uc73c\uba70, | \uae30\ud638\ub97c \uc0ac\uc6a9\ud558\uc5ec ‘\ub610\ub294’ \uad00\uacc4\ub97c \ud45c\ud604\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4. – **\ud50c\ub7ab\ud3fc \ub3c5\ub9bd\uc131**: \ub300\ubd80\ubd84\uc758 \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uc5d0\uc11c \uc815\ud615 \uc2dd \ubb38\ubc95\uc744 \uc9c0\uc6d0\ud558\uba70, \ubbf8\ub9ac \uc815\uc758\ub41c \ud568\uc218\uc640 \ud568\uaed8 \uc0ac\uc6a9\ud558\uc5ec \uc77c\uad00\ub41c \uacb0\uacfc\ub97c \uc5bb\uc744 \uc218 \uc788\uc2b5\ub2c8\ub2e4. – **\uc815\ud655\uc131**: \uc815\ud615\uc2dd\uc744 \uc0ac\uc6a9\ud558\uba74 \ubb38\uc790\uc5f4\uc774 \ud2b9\uc815\ud55c \ud615\uc2dd\uc774\ub098 \uc870\uac74\uc744 \ucda9\uc871\ud558\ub294\uc9c0 \uac80\uc99d\ud560 \uc218 \uc788\uc5b4 \ub370\uc774\ud130 \uc720\ud6a8\uc131 \uac80\uc0ac\uc5d0 \ud6a8\uacfc\uc801\uc785\ub2c8\ub2e4.\uc774\ub7ec\ud55c \uc815\ud615\uc2dd\uc740 \uc6f9 \ud504\ub85c\uadf8\ub798\ubc0d, \ub370\uc774\ud130 \ucc98\ub9ac, \ub85c\uadf8 \ud30c\uc77c \ubd84\uc11d \ub4f1 \ub2e4\uc591\ud55c \ubd84\uc57c\uc5d0\uc11c \ub110\ub9ac \uc0ac\uc6a9\ub418\uba70, \ubcf5\uc7a1\ud55c \ubb38\uc790\uc5f4 \ucc98\ub9ac\ub97c \ub2e8\uc21c\ud558\uac8c \ub9cc\ub4e4\uc5b4 \uc8fc\ub294 \uc911\uc694\ud55c \ub3c4\uad6c\ub85c \uc790\ub9ac\uc7a1\uace0 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd(Formal Language)\uc740 \uc218\ud559 \ubc0f \ucef4\ud4e8\ud130 \uacfc\ud559\uc5d0\uc11c \uc0ac\uc6a9\ub418\ub294 \uc5b8\uc5b4\uc758 \ud55c \uc885\ub958\ub85c, \uc8fc\ub85c \ud615\uc2dd\uc801\uc778 \uaddc\uce59\uc5d0 \ub530\ub77c \uc815\uc758\ub429\ub2c8\ub2e4. \uc815\ud615\uc2dd\uc740 \uc5ec\ub7ec \uc720\ud615\uc73c\ub85c \ub098\ub258\uba70, \uac01\uac01\uc758 \ud2b9\uc131\uacfc \uc6a9\ub3c4\uac00 \ub2e4\ub985\ub2c8\ub2e4. \uac00\uc7a5 \uc77c\ubc18\uc801\uc778 \uc815\ud615\uc2dd\uc758 \uc720\ud615\uc73c\ub85c\ub294 \ub2e4\uc74c\uacfc \uac19\uc2b5\ub2c8\ub2e4.1. **\uc815\uaddc \uc5b8\uc5b4(Regular Language)**: \uc815\uaddc \uc5b8\uc5b4\ub294 \uc815\uaddc \ud45c\ud604\uc2dd\uc774\ub098 \uc720\ud55c \uc624\ud1a0\ub9c8\ud0c0\ub97c \uc0ac\uc6a9\ud558\uc5ec \uc815\uc758\ub418\ub294 \uc5b8\uc5b4\uc785\ub2c8\ub2e4. \uc815\uaddc \uc5b8\uc5b4\ub294 \ub9e4\uc6b0 \uac04\ub2e8\ud55c \uad6c\uc870\ub97c \uac00\uc9c0\uace0 \uc788\uc73c\uba70, \ubb38\uc790\uc5f4\uc758 \ud2b9\uc815 \ud328\ud134\uc744 \uc778\uc2dd\ud558\ub294 \ub370 \uc720\uc6a9\ud569\ub2c8\ub2e4.2. **\ubb38\ub9e5 \uc790\uc720 \uc5b8\uc5b4(Context-Free Language)**: \ubb38\ub9e5 \uc790\uc720 \uc5b8\uc5b4\ub294 \ucee8\ud14d\uc2a4\ud2b8 \ud504\ub9ac \uadf8\ub77c\uba38(Context-Free Grammar)\ub85c \uc815\uc758\ub429\ub2c8\ub2e4. \uc774 \uc5b8\uc5b4\ub294 \uc911\ucca9\ub41c \uad6c\uc870\ub97c \ud45c\ud604\ud560 \uc218 \uc788\uc5b4 \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uc758 \ud30c\uc2f1\uacfc Compiler \uc124\uacc4\uc5d0 \ud544\uc218\uc801\uc785\ub2c8\ub2e4.3. **\ubb38\ub9e5 \ubbfc\uac10 \uc5b8\uc5b4(Context-Sensitive Language)**: \ubb38\ub9e5 \ubbfc\uac10 \uc5b8\uc5b4\ub294 \ubb38\ub9e5 \ubbfc\uac10 \uadf8\ub77c\uba38\ub85c \uc815\uc758\ub429\ub2c8\ub2e4. \uc774\ub294 \ub354 \ubcf5\uc7a1\ud55c \uad6c\uc870\ub97c \uac00\uc9c0\uba70, \uc8fc\ub85c \uc790\uc5f0\uc5b4 \ucc98\ub9ac\uc640 \uac19\uc740 \uc751\uc6a9 \ubd84\uc57c\uc5d0\uc11c \uc0ac\uc6a9\ub429\ub2c8\ub2e4.4. **\ub300\uc218\uc801 \uc5b8\uc5b4(Recursively Enumerable Language)**: \ub300\uc218\uc801 \uc5b8\uc5b4\ub294 \ud29c\ub9c1 \uae30\uacc4\ub85c \uc778\uc2dd \uac00\ub2a5\ud55c \uc5b8\uc5b4\ub85c, \ubaa8\ub4e0 \uac00\ub2a5\ud55c \ubb38\uc790\uc5f4 \uc870\ud569\uc744 \ucc98\ub9ac\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4. \uc774\ub294 \uc774\ub860\uc801\uc73c\ub85c \uac00\uc7a5 \uac15\ub825\ud55c \uc720\ud615\uc774\uc9c0\ub9cc, \uacb0\uc815\uc131\uc774 \uc5c6\ub294 \uacbd\uc6b0\ub3c4 \ub9ce\uc2b5\ub2c8\ub2e4.\uac01\uac01\uc758 \uc815\ud615\uc2dd\uc740 \ud2b9\uc815\ud55c \ubb38\uc81c\ub97c \ud574\uacb0\ud558\uae30 \uc704\ud55c \ubaa9\uc801\uacfc \ud2b9\uc131\uc744 \uac00\uc9c0\uace0 \uc788\uc73c\uba70, \uc5b8\uc5b4\uc758 \ubcf5\uc7a1\uc131\uc5d0 \ub530\ub77c \uc801\uc808\ud55c \uc720\ud615\uc744 \uc120\ud0dd\ud558\ub294 \uac83\uc774 \uc911\uc694\ud569\ub2c8\ub2e4. \uc774\ub7ec\ud55c \uc815\ud615\uc2dd\uc758 \uc774\ud574\ub294 \ucef4\ud4e8\ud130 \uacfc\ud559, \uc5b8\uc5b4 \ucc98\ub9ac \ubc0f \uc54c\uace0\ub9ac\uc998 \uc124\uacc4 \ub4f1 \uc5ec\ub7ec \ubd84\uc57c\uc5d0\uc11c \ud544\uc218\uc801\uc785\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd\uc740 \uc218\ud559 \ubc0f \ucca0\ud559\uc5d0\uc11c \uc911\uc694\ud55c \uac1c\ub150\uc73c\ub85c, \uc218\ud559\uc801 \uad6c\uc870\ub098 \uc774\ub860\uc744 \uba85\ud655\ud558\uace0 \uccb4\uacc4\uc801\uc73c\ub85c \ub098\ud0c0\ub0b4\uae30 \uc704\ud574 \uc0ac\uc6a9\ub429\ub2c8\ub2e4. \uc774 \uac1c\ub150\uc740 \uae30\uc6d0\uc804 \uace0\ub300 \uadf8\ub9ac\uc2a4 \uc2dc\ub300\uc5d0 \uc2dc\uc791\ub418\uc5b4, \ud2b9\ud788 \uc720\ud074\ub9ac\ub4dc\uc758 ‘\uc6d0\ub860’\uc5d0\uc11c \uadf8 \uae30\ucd08\ub97c \ucc3e\uc744 \uc218 \uc788\uc2b5\ub2c8\ub2e4. \uc720\ud074\ub9ac\ub4dc\ub294 \uae30\ud558\ud559\uc744 \uacf5\ub9ac\uc640 \uc815\uc758\ub97c \ud1b5\ud574 \uccb4\uacc4\uc801\uc73c\ub85c \uc815\ub9bd\ud558\uc600\uace0, \uc774\ub294 \ud6c4\uc5d0 \ub17c\ub9ac\uc801 \ucd94\ub860\uc758 \ubc29\ubc95\ub860\uc801 \uae30\ucd08\ub97c \ub9c8\ub828\ud558\uac8c \ub429\ub2c8\ub2e4. \uadf8 \uc774\ud6c4\ub85c, \uc911\uc138 \uc2dc\ub300\uc640 \uadfc\ub300 \ucd08\uae30\uc5d0 \uc774\ub974\uae30\uae4c\uc9c0 \uc5ec\ub7ec \uc218\ud559\uc790\ub4e4\uc774 \uc815\ud615\uc2dd\uc744 \ubc1c\uc804\uc2dc\ucf1c \uc654\uc2b5\ub2c8\ub2e4. \ud2b9\ud788 \ube4c\ud5ec\ub984 \ub77c\uc774\ud504\ub2c8\uce20\uc640 \uace0\ub4dc\ud504\ub9ac \ud5e8\ub9ac \ube44\ub4e4, \uadf8\ub9ac\uace0 \uc870\uc9c0 \ubd80\uc5bc\uacfc \uac19\uc740 \uc778\ubb3c\ub4e4\uc774 \uc815\ud615\uc2dd\uc758 \uae30\ucd08\ub97c \ud655\ub9bd\ud558\ub294 \ub370 \ud06c\uac8c \uae30\uc5ec\ud588\uc2b5\ub2c8\ub2e4. 19\uc138\uae30\uc5d0\ub294 \uc218\ud559\uc801 \ub17c\ub9ac\ub97c \ud615\uc2dd\ud654\ud558\ub824\ub294 \ub178\ub825\uc774 \ud655\uc0b0\ub418\uc5c8\uace0, \uc774\ub294 \uc218\ub9ac \ub17c\ub9ac\ud559\uc758 \ubc1c\uc804\uc73c\ub85c \uc774\uc5b4\uc84c\uc2b5\ub2c8\ub2e4. 20\uc138\uae30\uc5d0 \ub4e4\uc5b4\uc11c\ub294 \uc815\ud615\uc2dd\uc774 \ucef4\ud4e8\ud130 \uacfc\ud559\uacfc \uc778\uacf5\uc9c0\ub2a5\uc758 \ubc1c\uc804\uc5d0 \uc911\uc694\ud55c \uc5ed\ud560\uc744 \ud558\uac8c \ub418\uba70, \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uc640 \uc54c\uace0\ub9ac\uc998 \uc124\uacc4\uc758 \ud30c\uc6b4\ub370\uc774\uc158\uc73c\ub85c \uc790\ub9ac\uc7a1\uc558\uc2b5\ub2c8\ub2e4. \uc774\ub7ec\ud55c \uc815\ud615\uc2dd\uc758 \ubc1c\uc804\uc740 \uc624\ub298\ub0a0\uc758 \uc2dc\uc2a4\ud15c \uc774\ub860 \ubc0f \uc815\ubcf4 \uae30\uc220 \ubd84\uc57c\uc5d0\uae4c\uc9c0 \uc601\ud5a5\uc744 \ubbf8\uce58\uace0 \uc788\uc2b5\ub2c8\ub2e4.\uacb0\ub860\uc801\uc73c\ub85c, \uc815\ud615\uc2dd\uc740 \uc218\ud559\uc801 \uc0ac\uace0\uc758 \uc9c4\ud654\ub97c \ubc18\uc601\ud558\uba70, \uac01 \uc2dc\ub300\uc758 \uc218\ud559\uc801 \uc0ac\uace0\uc640 \uae30\uc220\uc801 \ud544\uc694\uc5d0 \uc758\ud574 \uacc4\uc18d\ud574\uc11c \uc9c4\ud654\ud574 \uc654\uc2b5\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd \uc774\ub860(Formalism)\uc740 \ubb38\ud559\uc744 \ubd84\uc11d\ud558\uace0 \uc774\ud574\ud558\ub294 \ub370 \uc788\uc5b4 \ud14d\uc2a4\ud2b8 \uc790\uccb4\uc758 \uad6c\uc870\uc640 \ud615\uc2dd\uc5d0 \uc911\uc810\uc744 \ub450\ub294 \uc811\uadfc \ubc29\uc2dd\uc785\ub2c8\ub2e4. \uc774 \uc774\ub860\uc758 \uc8fc\uc694\ud55c \uc774\ub860\uac00 \uba87 \uba85\uc740 \ub2e4\uc74c\uacfc \uac19\uc2b5\ub2c8\ub2e4.1. **\ub85c\ub9cc \uc57c\ucf65\uc2a8(Roman Jakobson)**: \ub7ec\uc2dc\uc544\uc5b4 \ubb38\ud559 \uc774\ub860\uac00\uc774\uc790 \uc5b8\uc5b4\ud559\uc790\ub85c, \uc815\ud615\uc2dd \uc774\ub860\uc758 \ubc1c\uc804\uc5d0 \ud070 \uc601\ud5a5\uc744 \ubbf8\ucce4\uc2b5\ub2c8\ub2e4. \uadf8\ub294 \ubb38\ud559\uc744 \uc5b8\uc5b4\uc801 \ud604\uc0c1\uc73c\ub85c \ubd84\uc11d\ud558\uba70, \uc2dc\uc758 \uc5b8\uc5b4\uc801 \uae30\ub2a5\uacfc \uc74c\uc131\ud559\uc801 \ud2b9\uc131\uc744 \uac15\uc870\ud588\uc2b5\ub2c8\ub2e4.2. **\ube44\ud06c\ud1a0\ub974 \uc26c\ud074\ub85c\ud504\uc2a4\ud0a4(Viktor Shklovsky)**: \uadf8\uc758 ‘\ub0af\uc126\uc758 \uae30\uc220(Ostranenie)’ \uac1c\ub150\uc740 \ubb38\ud559 \uc791\ud488\uc774 \uc77c\uc0c1\uc801\uc778 \uc5b8\uc5b4\ub97c \ud1b5\ud574 \ub3c5\uc790\uc5d0\uac8c \ub0af\uc120 \uacbd\ud5d8\uc744 \uc81c\uacf5\ud574\uc57c \ud55c\ub2e4\uace0 \uc8fc\uc7a5\ud588\uc2b5\ub2c8\ub2e4. \uadf8\ub294 \ubb38\ud559\uc758 \ubaa9\uc801\uc774 \ub3c5\uc790\uc758 \uc9c0\uac01\uc744 \uc0c8\ub86d\uac8c \ub9cc\ub4dc\ub294 \uac83\uc774\ub77c\uace0 \ubcf4\uc558\uc2b5\ub2c8\ub2e4.3. **\ube0c\ub85c\ub2c8\uc2a4\uc640\ud504 \uc18c\ubbfc(Bronis\u0142aw Malinowski)**: \uadf8\ub294 \ubb38\ud559\uc5d0\uc11c\uc758 \ud615\uc2dd\uacfc \ub0b4\uc6a9 \uc0ac\uc774\uc758 \uad00\uacc4\ub97c \ud0d0\uad6c\ud558\uc600\uc73c\uba70, \ubb38\ud559 \uc791\ud488\uc774 \uc5b4\ub5bb\uac8c \ubb38\ud654\uc801 \ub9e5\ub77d\uacfc \uc5f0\uacb0\ub418\ub294\uc9c0\ub97c \uc0b4\ud3b4\ubcf4\uc558\uc2b5\ub2c8\ub2e4.4. **\ud504\ub808\ub370\ub9ad \uc81c\uc784\uc2a8(Fredric Jameson)**: \uadf8\ub294 \ubb38\ud559 \ud14d\uc2a4\ud2b8\ub97c \uad6c\uc870\uc801\uc73c\ub85c \ubd84\uc11d\ud558\ub294 \uac83 \uc678\uc5d0\ub3c4, \uc815\uce58\uc801 \ubc0f \uc0ac\ud68c\uc801 \ub9e5\ub77d\uc744 \uace0\ub824\ud558\uc5ec \ud14d\uc2a4\ud2b8\ub97c \ud574\uc11d\ud558\ub294 \ub370 \uc911\uc810\uc744 \ub450\uc5c8\uc2b5\ub2c8\ub2e4.\uc815\ud615\uc2dd \uc774\ub860\uc740 \uc608\uc220\uc791\ud488\ubfd0\ub9cc \uc544\ub2c8\ub77c \ubb38\ud654 \uc804\ubc18\uc5d0 \uac78\uccd0 \uae4a\uc774 \uc788\ub294 \ubd84\uc11d\uc744 \uac00\ub2a5\ud558\uac8c \ud558\uba70, \ud14d\uc2a4\ud2b8\uc758 \ud615\uc2dd\uc801 \uc694\uc18c\uac00 \uc5b4\ub5bb\uac8c \uc758\ubbf8\ub97c \uc0dd\uc131\ud558\ub294\uc9c0\ub97c \ubc1d\ud788\ub294 \ub370 \uc911\uc694\ud55c \uc5ed\ud560\uc744 \ud569\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd \ubd84\uc11d \ubc29\ubc95(Formal Methods)\uc740 \uc18c\ud504\ud2b8\uc6e8\uc5b4 \uac1c\ubc1c \ubc0f \uc2dc\uc2a4\ud15c \uacf5\ud559 \ubd84\uc57c\uc5d0\uc11c \uc8fc\uc694\ud55c \uae30\uc220\uc801 \uc811\uadfc\ubc95\uc73c\ub85c, \uc218\ud559\uc801 \uae30\ubc95\uc744 \uc0ac\uc6a9\ud574 \uc2dc\uc2a4\ud15c\uc758 \uc548\uc804\uc131, \uc2e0\ub8b0\uc131 \ubc0f \uc815\ud655\uc131\uc744 \uac80\uc99d\ud558\ub294 \ub370 \uc911\uc810\uc744 \ub461\ub2c8\ub2e4. \uc774 \ubc29\ubc95\ub860\uc740 \uc8fc\ub85c \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4, \uc54c\uace0\ub9ac\uc998 \ubc0f \ud558\ub4dc\uc6e8\uc5b4 \uc124\uacc4\uc758 \uba85\uc138\ub97c \uc218\ud559\uc801\uc73c\ub85c \ud45c\ud604\ud558\uc5ec \uc2dc\uc2a4\ud15c\uc758 \ub3d9\uc791\uc744 \uc774\ub860\uc801\uc73c\ub85c \ubaa8\ub378\ub9c1\ud569\ub2c8\ub2e4. \uc815\ud615\uc2dd \ubc29\ubc95\uc5d0\ub294 \ud06c\uac8c \uc138 \uac00\uc9c0 \uc720\ud615\uc774 \uc788\uc2b5\ub2c8\ub2e4. \uccab\uc9f8, \uba85\uc138(specification)\ub294 \uc2dc\uc2a4\ud15c\uc758 \uc694\uad6c\uc0ac\ud56d\uc744 \uc218\ud559\uc801\uc73c\ub85c \uc11c\uc220\ud558\ub294 \ub2e8\uacc4\uc785\ub2c8\ub2e4. \ub458\uc9f8, \uac80\uc99d(verification)\uc740 \ubaa8\ub378\uc774 \uba85\uc138\uc640 \uc77c\uce58\ud558\ub294\uc9c0\ub97c \ud655\uc778\ud558\ub294 \ub2e8\uacc4\ub85c, \uc8fc\ub85c \uc790\ub3d9\ud654\ub41c \ub3c4\uad6c\ub97c \uc0ac\uc6a9\ud558\uc5ec \uc218\ud589\ub429\ub2c8\ub2e4. \uc14b\uc9f8, \uc720\ud6a8\uc131 \uac80\uc0ac(validation)\ub294 \uad6c\ud604\ub41c \uc2dc\uc2a4\ud15c\uc774 \uc2e4\uc81c \uc694\uad6c\uc0ac\ud56d\uc744 \ucda9\uc871\ud558\ub294\uc9c0\ub97c \ud655\uc778\ud558\ub294 \ub2e8\uacc4\uc785\ub2c8\ub2e4.\uc774\ub7ec\ud55c \uc815\ud615\uc2dd \ubc29\ubc95\uc740 \ub2e4\uc591\ud55c \uc0b0\uc5c5 \ubd84\uc57c\uc5d0\uc11c \uc0ac\uc6a9\ub418\uba70, \ud2b9\ud788 \ud56d\uacf5\uc6b0\uc8fc, \uc790\ub3d9\ucc28, \uc758\ub8cc \uae30\uae30 \ubc0f \uae08\uc735 \uc2dc\uc2a4\ud15c\uc5d0\uc11c \uadf8 \uc911\uc694\uc131\uc774 \uac15\uc870\ub429\ub2c8\ub2e4. \uc774\ub7ec\ud55c \ubc29\ubc95\ub860\uc758 \uc0ac\uc6a9\uc73c\ub85c \uc778\ud55c \ucd5c\ub300\uc758 \uc7a5\uc810\uc740 \uc2dc\uc2a4\ud15c\uc758 \uc624\ub958\ub97c \uc0ac\uc804\uc5d0 \ubc1c\uacac\ud558\uace0, \ube44\uc6a9\uacfc \uc2dc\uac04\uc744 \uc808\uac10\ud560 \uc218 \uc788\ub2e4\ub294 \uac83\uc785\ub2c8\ub2e4. \uadf8\ub7ec\ub098 \uc815\ud615\uc801 \uc811\uadfc\uc740 \ubcf5\uc7a1\ud55c \uc2dc\uc2a4\ud15c \uc124\uacc4\ub97c \uc694\uad6c\ud558\ubbc0\ub85c, \uc804\ubb38\uc801\uc778 \uc9c0\uc2dd\uacfc \uacbd\ud5d8\uc774 \ud544\uc694\ud569\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd\uc801 \uc811\uadfc(formal approach)\uc740 \ubb38\uc81c \ud574\uacb0\uc774\ub098 \uc2dc\uc2a4\ud15c \uac1c\ubc1c \uacfc\uc815\uc5d0\uc11c \uba85\ud655\ud55c \uaddc\uce59\uacfc \uc808\ucc28\ub97c \ub530\ub974\ub294 \ubc29\ubc95\ub860\uc785\ub2c8\ub2e4. \uc774\ub294 \ud2b9\ud788 \ucef4\ud4e8\ud130 \uacfc\ud559, \uc218\ud559, \uacf5\ud559 \ub4f1 \uc5ec\ub7ec \ubd84\uc57c\uc5d0\uc11c \ub110\ub9ac \uc0ac\uc6a9\ub429\ub2c8\ub2e4. \uc7a5\uc810\uc73c\ub85c\ub294:1. **\uba85\ud655\uc131**: \uc815\ud615\uc2dd\uc801 \uc811\uadfc\uc740 \uad6c\uccb4\uc801\uc778 \uaddc\uce59\uacfc \uc808\ucc28\ub97c \uc81c\uacf5\ud558\uc5ec, \ud300 \ub0b4\uc5d0\uc11c\uc758 \uc758\uc0ac\uc18c\ud1b5\uc744 \uba85\ud655\ud788 \ud569\ub2c8\ub2e4.2. **\uc77c\uad00\uc131**: \ubaa8\ub4e0 \uac1c\ubc1c\uc790\uac00 \ub3d9\uc77c\ud55c \uae30\uc900\uacfc \uc808\ucc28\ub97c \ub530\ub77c \ud504\ub85c\uc81d\ud2b8\ub97c \uc9c4\ud589\ud558\ubbc0\ub85c \uacb0\uacfc\ubb3c\uc774 \uc77c\uad00\ub418\uac8c \uc720\uc9c0\ub429\ub2c8\ub2e4.3. **\uac80\uc99d \uac00\ub2a5\uc131**: \ud615\uc2dd\uc801\uc778 \ubc29\ubc95\ub860\uc744 \ud1b5\ud574 \uacb0\uacfc\ubb3c\uc758 \uc815\ud655\uc131\uacfc \uc2e0\ub8b0\uc131\uc744 \uac80\uc99d\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.4. **\ubb38\uc11c\ud654\uc758 \uc6a9\uc774\uc131**: \uc815\ud615\uc2dd\uc801 \uc811\uadfc\uc740 \ubb38\uc11c\ud654\ud558\uae30 \uc26c\uc6cc, \ud504\ub85c\uc81d\ud2b8 \uc9c4\ud589 \uc0c1\ud669 \ubc0f \uacb0\uc815 \uacfc\uc815\uc744 \uba85\ud655\ud558\uac8c \ub0a8\uae38 \uc218 \uc788\uc2b5\ub2c8\ub2e4.\ub2e8\uc810\uc73c\ub85c\ub294:1. **\uc720\uc5f0\uc131 \ubd80\uc871**: \uc815\ud615\uc801 \uc811\uadfc\uc740 \uaddc\uce59 \uae30\ubc18\uc774\uae30 \ub54c\ubb38\uc5d0 \ubcc0\uacbd\uc774 \ud544\uc694\ud560 \uacbd\uc6b0 \uc720\uc5f0\ud558\uac8c \ub300\ucc98\ud558\uae30 \uc5b4\ub835\uc2b5\ub2c8\ub2e4.2. **\uc2dc\uac04 \uc18c\ubaa8**: \uc808\ucc28\ub97c \ub530\ub974\ub294 \uacfc\uc815\uc5d0\uc11c \uc2dc\uac04\uc774 \ub9ce\uc774 \uc18c\uc694\ub420 \uc218 \uc788\uc2b5\ub2c8\ub2e4. 3. **\ucc3d\uc758\uc131 \uc81c\ud55c**: \uc9c0\ub098\uce58\uac8c \ud615\uc2dd\uc801\uc778 \uc811\uadfc\uc740 \ucc3d\uc758\uc801\uc778 \ubb38\uc81c \ud574\uacb0 \ub2a5\ub825\uc744 \uc81c\ud55c\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.4. **\ud559\uc2b5 \uace1\uc120**: \uc0c8\ub85c\uc6b4 \uc2dc\uc2a4\ud15c\uc774\ub098 \uc808\ucc28\ub97c \ubc30\uc6b0\ub294 \ub370 \uc2dc\uac04\uc774 \uac78\ub9ac\ub294 \uacbd\uc6b0\uac00 \ub9ce\uc544, \ucd08\uae30 \ub3c4\uc785 \uc2dc \ucd94\uac00\uc801\uc778 \uad50\uc721\uc774 \ud544\uc694\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.\uacb0\ub860\uc801\uc73c\ub85c, \uc815\ud615\uc2dd\uc801 \uc811\uadfc\uc740 \uba85\ud655\ud55c \uc808\ucc28\uc640 \uaddc\uce59\uc744 \ud1b5\ud574 \ud504\ub85c\uc81d\ud2b8\uc758 \uc77c\uad00\uc131\uacfc \uc2e0\ub8b0\uc131\uc744 \ub192\uc77c \uc218 \uc788\ub294 \ubc18\uba74, \uc9c0\ub098\uce58\uac8c \ud615\uc2dd\uc801\uc778 \ubc29\ubc95\uc740 \uc720\uc5f0\uc131\uc744 \uc800\ud574\ud558\uace0 \ucc3d\uc758\uc131\uc744 \uc81c\ud55c\ud560 \uc218 \uc788\ub294 \ub2e8\uc810\uc744 \uac00\uc9c0\uace0 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd(Polyhedra)\ub294 \uc218\ud559\uacfc \ucef4\ud4e8\ud130 \uacfc\ud559, \uacf5\ud559 \ub4f1 \uc5ec\ub7ec \ubd84\uc57c\uc5d0\uc11c \uad11\ubc94\uc704\ud558\uac8c \uc751\uc6a9\ub418\uace0 \uc788\uc2b5\ub2c8\ub2e4. \uc6b0\uc120, \ucef4\ud4e8\ud130 \uadf8\ub798\ud53d\uc2a4 \ubd84\uc57c\uc5d0\uc11c\ub294 3D \ubaa8\ub378\ub9c1\uacfc \uc560\ub2c8\uba54\uc774\uc158\uc5d0\uc11c \uc815\ud615\uc2dd\uc744 \uc0ac\uc6a9\ud558\uc5ec \ud604\uc2e4\uac10\uc744 \ub192\uc774\uace0 \ubcf5\uc7a1\ud55c \ubb3c\uccb4\ub97c \uc2dc\ubbac\ub808\uc774\uc158\ud569\ub2c8\ub2e4. \uc774\uc640 \ud568\uaed8 \uac74\ucd95\uc124\uacc4\uc5d0\uc11c\ub3c4 \uc815\ud615\uc2dd\uc740 \uac74\ubb3c\uc758 \uad6c\uc870\uc801 \uc548\uc804\uc131\uc744 \ubd84\uc11d\ud558\uace0 \ucd5c\uc801\ud654\ud558\ub294 \ub370 \uc911\uc694\ud55c \uc5ed\ud560\uc744 \ud569\ub2c8\ub2e4.\uc218\ub9ac\uacfc\ud559\uc5d0\uc11c\ub294 \uc815\ud615\uc2dd\uc744 \ud1b5\ud574 \uae30\ud558\ud559\uc801 \ubb38\uc81c\ub97c \ud574\uacb0\ud558\uace0 \ub2e4\uc591\ud55c \ud615\ud0dc\uc758 \uacf5\uac04\uc744 \ubd84\uc11d\ud569\ub2c8\ub2e4. \uc608\ub97c \ub4e4\uc5b4, \uc815\ud615\uc2dd\uc740 \ucd5c\uc801\ud654 \ubb38\uc81c\ub97c \ud480\uac70\ub098 \ub300\uce6d\uc131\uacfc \uacf5\ub9ac \uc2dc\uc2a4\ud15c\uc744 \uc5f0\uad6c\ud558\ub294 \ub370 \uc720\uc6a9\ud55c \ub3c4\uad6c\ub85c \uc0ac\uc6a9\ub429\ub2c8\ub2e4. \ub610\ud55c, \ubb3c\ub9ac\ud559\uacfc \ud654\ud559 \ubd84\uc57c\uc5d0\uc11c\ub294 \ubd84\uc790\uc758 \uad6c\uc870\uc640 \ubc18\uc751 \uacbd\ub85c\ub97c \uc124\uba85\ud558\uae30 \uc704\ud574 \uc815\ud615\uc2dd\uc774 \uc774\uc6a9\ub429\ub2c8\ub2e4.\uacbd\uc81c\ud559\uc5d0\uc11c\ub294 \uc815\ud615\uc2dd\uc774 \uc2dc\uc7a5 \ubaa8\ub378\uacfc \uac8c\uc784 \uc774\ub860 \ub4f1 \ub2e4\uc591\ud55c \uacbd\uc81c\uc801 \uc2dc\uc2a4\ud15c\uc758 \ubd84\uc11d\uc5d0 \ud65c\uc6a9\ub429\ub2c8\ub2e4. \ub9c8\uc9c0\ub9c9\uc73c\ub85c \ub370\uc774\ud130 \uc2dc\uac01\ud654\uc5d0\uc11c\ub3c4 \uc815\ud615\uc2dd\uc740 \uc815\ubcf4\ub97c \uac04\uacb0\ud558\uac8c \ud45c\ud604\ud558\uace0 \uc2dc\uac01\uc801 \uc778\uc0ac\uc774\ud2b8\ub97c \uc81c\uacf5\ud558\ub294 \ub370 \uae30\uc5ec\ud558\uace0 \uc788\uc2b5\ub2c8\ub2e4. \uc774\ucc98\ub7fc \uc815\ud615\uc2dd\uc740 \ub2e4\uc591\ud55c \ubd84\uc57c\uc5d0\uc11c \ubc1c\uc804\uacfc \ud601\uc2e0\uc744 \uc774\ub044\ub294 \ud575\uc2ec \uc694\uc18c\ub85c \uc790\ub9ac\uc7a1\uace0 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd\uacfc \ube44\uc815\ud615\uc2dd\uc740 \ub370\uc774\ud130\uc758 \uad6c\uc870\uc640 \ud615\uc2dd\uc758 \ucc28\uc774\uc5d0 \ub530\ub77c \uad6c\ubd84\ub418\ub294 \uac1c\ub150\uc785\ub2c8\ub2e4. \uc815\ud615\uc2dd \ub370\uc774\ud130\ub294 \uba85\ud655\ud55c \uad6c\uc870\ub97c \uac00\uc9c0\uace0 \uc788\uc73c\uba70, \uc608\ub97c \ub4e4\uc5b4 \ub370\uc774\ud130\ubca0\uc774\uc2a4 \ud14c\uc774\ube14\uc774\ub098 \uc2a4\ud504\ub808\ub4dc\uc2dc\ud2b8\uc5d0\uc11c \ubcfc \uc218 \uc788\ub294 \ub370\uc774\ud130\uac00 \uc774\uc5d0 \ud574\ub2f9\ud569\ub2c8\ub2e4. \uc774\ub7ec\ud55c \ub370\uc774\ud130\ub294 \uace0\uc815\ub41c \ud544\ub4dc\uc640 \uc81c\ubaa9\uc774 \uc788\uc73c\uba70, \uc27d\uac8c \ubd84\uc11d\ud558\uace0 \ucc98\ub9ac\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.\ubc18\uba74 \ube44\uc815\ud615\uc2dd \ub370\uc774\ud130\ub294 \uba85\ud655\ud55c \uad6c\uc870\uac00 \uc5c6\uace0 \ub2e4\uc591\ud55c \ud615\ud0dc\ub85c \uc874\uc7ac\ud558\ub294 \ub370\uc774\ud130\ub85c, \ud14d\uc2a4\ud2b8 \ubb38\uc11c, \uc774\ubbf8\uc9c0, \ube44\ub514\uc624, \uc18c\uc15c \ubbf8\ub514\uc5b4 \ud3ec\uc2a4\ud2b8 \ub4f1\uc774 \ud3ec\ud568\ub429\ub2c8\ub2e4. \ube44\uc815\ud615\uc2dd \ub370\uc774\ud130\ub294 \ubd84\uc11d\ud558\uae30\uac00 \ub354 \ubcf5\uc7a1\ud558\uba70, \ubcc4\ub3c4\uc758 \ucc98\ub9ac \uacfc\uc815\uc774 \ud544\uc694\ud569\ub2c8\ub2e4.\uc815\ud615\uc2dd\uc740 \uc8fc\ub85c \uc815\ub7c9\uc801 \ubd84\uc11d\uc5d0 \uc801\ud569\ud55c \ubc18\uba74, \ube44\uc815\ud615\uc2dd\uc740 \uc815\uc131\uc801 \ubd84\uc11d\uc744 \ud1b5\ud574 \ub354 \uae4a\uc740 \ud1b5\ucc30\ub825\uc744 \uc81c\uacf5\ud560 \uc218 \uc788\ub294 \uacbd\uc6b0\uac00 \ub9ce\uc2b5\ub2c8\ub2e4. \ub370\uc774\ud130\uc758 \uc131\uaca9\uc5d0 \ub530\ub77c \uc801\uc808\ud55c \ubd84\uc11d \uae30\ubc95\uc744 \uc120\ud0dd\ud558\ub294 \uac83\uc774 \uc911\uc694\ud569\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd \uc5f0\uad6c\ub294 \ucef4\ud4e8\ud130 \uacfc\ud559 \ubc0f \uc218\ud559\uc758 \uc911\uc694\ud55c \ubd84\uc57c\ub85c, \ud504\ub85c\uadf8\ub7a8\uc758 \uc815\ud655\uc131\uacfc \uc2e0\ub8b0\uc131\uc744 \ubcf4\uc7a5\ud558\uae30 \uc704\ud55c \ub2e4\uc591\ud55c \uae30\uc220\uacfc \ubc29\ubc95\ub860\uc744 \uac1c\ubc1c\ud558\ub294 \uac83\uc744 \ubaa9\ud45c\ub85c \ud558\uace0 \uc788\uc2b5\ub2c8\ub2e4. \ud604\uc7ac \uc815\ud615\uc2dd \uc5f0\uad6c\ub294 \ub2e4\uc74c\uacfc \uac19\uc740 \uba87 \uac00\uc9c0 \uc8fc\uc694 \ub3d9\ud5a5\uc744 \ubcf4\uc774\uace0 \uc788\uc2b5\ub2c8\ub2e4. \uccab\uc9f8, \uc778\uacf5\uc9c0\ub2a5 \ubc0f \uba38\uc2e0\ub7ec\ub2dd\uacfc\uc758 \uc735\ud569\uc785\ub2c8\ub2e4. \ucd5c\uadfc\uc5d0\ub294 \uc815\ud615\uc2dd \uae30\ubc95\uc744 \ud65c\uc6a9\ud558\uc5ec \uba38\uc2e0\ub7ec\ub2dd \ubaa8\ub378\uc758 \ud559\uc2b5 \uacfc\uc815\uacfc \uacb0\uacfc\ub97c \uac80\uc99d\ud558\uace0, \ubaa8\ub378\uc758 \uc2e0\ub8b0\uc131\uc744 \ub192\uc774\uae30 \uc704\ud55c \uc5f0\uad6c\uac00 \ud65c\ubc1c\ud788 \uc9c4\ud589\ub418\uace0 \uc788\uc2b5\ub2c8\ub2e4.\ub458\uc9f8, \ubcf5\uc7a1\ud55c \uc2dc\uc2a4\ud15c\uc5d0 \ub300\ud55c \uc815\ud615\uc801 \uac80\uc99d\uc758 \ud655\ub300\uc785\ub2c8\ub2e4. \uc778\ud130\ub137 of Things(IoT), \uc790\uc728\uc8fc\ud589\ucc28, \ubd84\uc0b0 \uc2dc\uc2a4\ud15c \ub4f1 \ubcf5\uc7a1\ud55c \uc2dc\uc2a4\ud15c\uc758 \uad6c\uc870\uc640 \ub3d9\uc791\uc744 \uc815\ud655\ud558\uac8c \ubaa8\ub378\ub9c1\ud558\uace0 \uac80\uc99d\ud558\ub824\ub294 \ub178\ub825\uc774 \ucee4\uc9c0\uace0 \uc788\uc2b5\ub2c8\ub2e4.\uc14b\uc9f8, \uc815\ud615\uac80\uc99d \ub3c4\uad6c\uc758 \ubc1c\uc804\uc785\ub2c8\ub2e4. \ucd5c\uc2e0 \uc815\ud615\uac80\uc99d \ub3c4\uad6c\ub294 \ub354 \ub9ce\uc740 \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uc640 \ud50c\ub7ab\ud3fc\uc744 \uc9c0\uc6d0\ud558\uace0, \uc0ac\uc6a9\uc790 \uce5c\ud654\uc801\uc778 \uc778\ud130\ud398\uc774\uc2a4\ub97c \uc81c\uacf5\ud558\uc5ec \uc5f0\uad6c\uc790\uc640 \uac1c\ubc1c\uc790\uac00 \uc27d\uac8c \uc811\uadfc\ud560 \uc218 \uc788\ub3c4\ub85d \ud558\uace0 \uc788\uc2b5\ub2c8\ub2e4.\ub137\uc9f8, \uad50\uc721 \ubc0f \uc778\ub825 \uc591\uc131\uc758 \uc911\uc694\uc131 \uc99d\uac00\uc785\ub2c8\ub2e4. \uc815\ud615\uc2dd \uc5f0\uad6c\uc758 \uc911\uc694\uc131\uc774 \ucee4\uc9c0\uba74\uc11c, \uad00\ub828 \uad50\uc721\uacfc \ud504\ub85c\uadf8\ub7a8\uc774 \ub298\uc5b4\ub098\uace0, \uc815\ud615\uc801 \uc0ac\uace0\ub97c \uc7a5\ub824\ud558\ub294 \ucee4\ub9ac\ud058\ub7fc\uc774 \ub3c4\uc785\ub418\uace0 \uc788\uc2b5\ub2c8\ub2e4.\uacb0\ub860\uc801\uc73c\ub85c, \uc815\ud615\uc2dd \uc5f0\uad6c\ub294 \uae30\uc220 \ubc1c\uc804\uacfc \uc0ac\ud68c\uc801 \uc694\uad6c\uc5d0 \ubc1c\ub9de\ucd94\uc5b4 \uacc4\uc18d\ud574\uc11c \uc9c4\ud654\ud558\uace0 \uc788\uc73c\uba70, \ubbf8\ub798\uc5d0\ub3c4 \ub9ce\uc740 \uac00\ub2a5\uc131\uc744 \uc9c0\ub2c8\uace0 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd(\uc815\ud615\uc801 \ubb38\ubc95)\uc740 \ucef4\ud4e8\ud130 \uacfc\ud559\uacfc \uc18c\ud504\ud2b8\uc6e8\uc5b4 \uacf5\ud559 \ubd84\uc57c\uc5d0\uc11c \uc911\uc694\ud55c \uc5ed\ud560\uc744 \ud558\uace0 \uc788\uc73c\uba70, \uc55e\uc73c\ub85c\uc758 \uc804\ub9dd\uc740 \ub9e4\uc6b0 \ubc1d\uc2b5\ub2c8\ub2e4. \ucd5c\uadfc \uc778\uacf5\uc9c0\ub2a5\uacfc \uba38\uc2e0\ub7ec\ub2dd \uae30\uc220\uc758 \ubc1c\uc804\uc73c\ub85c \uc778\ud574 \uc815\ud615\uc2dd\uc758 \uc751\uc6a9 \ubd84\uc57c\uac00 \ud655\ub300\ub418\uace0 \uc788\uc2b5\ub2c8\ub2e4.\ud2b9\ud788, \uc790\ub3d9\ud654\ub41c \uc18c\ud504\ud2b8\uc6e8\uc5b4 \uac80\uc99d, \uc548\uc804\uc131 \ubc0f \ubcf4\uc548\uc131 \ud5a5\uc0c1, \uadf8\ub9ac\uace0 \ub2e4\uc591\ud55c \uc2dc\uc2a4\ud15c\uc758 \uc0c1\ud638\uc6b4\uc6a9\uc131 \ubcf4\uc7a5 \ub4f1\uc744 \uc704\ud55c \uc815\ud615\uc801 \uc811\uadfc\ubc95\uc774 \uc810\uc810 \ub354 \uc911\uc694\ud574\uc9c0\uace0 \uc788\uc2b5\ub2c8\ub2e4. \ub610\ud55c, \uc815\ud615\uc2dd\uc740 \ubcf5\uc7a1\ud55c \uc2dc\uc2a4\ud15c\uc758 \uc124\uacc4\uc640 \ubd84\uc11d\uc5d0 \ub3c4\uc6c0\uc744 \uc8fc\uc5b4, \uc2e4\uc2dc\uac04 \uc2dc\uc2a4\ud15c\uc774\ub098 \ubd84\uc0b0 \uc2dc\uc2a4\ud15c\uacfc \uac19\uc740 \ucd5c\uc2e0 \uae30\uc220\uc5d0\ub3c4 \uc801\uc6a9 \uac00\ub2a5\uc131\uc774 \ub192\uc2b5\ub2c8\ub2e4.\uc774 \uc678\uc5d0\ub3c4, \uc815\ud615\uc2dd\uc740 \ud6a8\uacfc\uc801\uc778 \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uc640 \uad6c\uc870\uc801 \ub514\uc790\uc778 \uacfc\uc815\uc5d0\uc11c \uc911\uc694\ud55c \uc5ed\ud560\uc744 \ud558\uba70, \uc774\ub7ec\ud55c \ub3c4\uad6c\ub4e4\uc744 \ud1b5\ud574 \uac1c\ubc1c\uc790\ub4e4\uc740 \ub354\uc6b1 \uc548\uc804\ud558\uace0 \uacac\uace0\ud55c \uc18c\ud504\ud2b8\uc6e8\uc5b4\ub97c \ub9cc\ub4e4 \uc218 \uc788\uc744 \uac83\uc774\ub780 \uae30\ub300\uac00 \ud07d\ub2c8\ub2e4. \uc774\ub7ec\ud55c \uacbd\ud5a5\uc740 \uc0ac\uc774\ubc84 \ubcf4\uc548\uc774 \uc810\uc810 \ub354 \uc911\uc694\ud574\uc9c0\ub294 \ud604\ub300 \uc0ac\ud68c\uc5d0\uc11c \ub354\uc6b1 \ub450\ub4dc\ub7ec\uc9c8 \uac83\uc785\ub2c8\ub2e4.\uacb0\uad6d, \uc815\ud615\uc2dd\uc758 \ubbf8\ub798\ub294 \uae30\uc220 \ubc1c\uc804\uacfc \ud568\uaed8 \uacc4\uc18d\ud574\uc11c \uc9c4\ud654\ud560 \uac83\uc774\uba70, \uc5f0\uad6c\uc790\ub4e4\uacfc \uc0b0\uc5c5\uacc4\uc758 \ud611\ub825\uc5d0 \ub530\ub77c \uadf8 \uac00\ub2a5\uc131\uc740 \ub354\uc6b1 \ud655\ub300\ub420 \uac83\uc785\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd<\/p>\n
\uc815\ud615\uc2dd, \ub610\ub294 \uc815\uaddc \ud45c\ud604\uc2dd(Regular Expression, RegEx)\uc740 \ubb38\uc790\uc5f4 \ub0b4\uc5d0\uc11c \ud2b9\uc815\ud55c \ud328\ud134\uc744 \ucc3e\uc544\ub0b4\uae30 \uc704\ud55c \uac15\ub825\ud55c \ub3c4\uad6c\uc785\ub2c8\ub2e4. \uc8fc\ub85c \ubb38\uc790\uc5f4 \uac80\uc0c9, \ub300\uccb4, \ubd84\uc11d \ub4f1\uc758 \uc791\uc5c5\uc5d0 \uc0ac\uc6a9\ub418\uba70, \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uc640 \ud14d\uc2a4\ud2b8 \ucc98\ub9ac \uc18c\ud504\ud2b8\uc6e8\uc5b4\uc5d0\uc11c \uad11\ubc94\uc704\ud558\uac8c \ud65c\uc6a9\ub429\ub2c8\ub2e4. \uc815\ud615\uc2dd\uc758 \uae30\ubcf8 \uc694\uc18c\ub294 \ub2e4\uc74c\uacfc \uac19\uc2b5\ub2c8\ub2e4: 1. **\ubb38\uc790 \ud074\ub798\uc2a4**: \ub300\uad04\ud638([])\ub0b4\uc5d0 \ud3ec\ud568\ub41c \ubb38\uc790 \uc911 \ud558\ub098\uc640 \uc77c\uce58\ud558\ub294 \ud328\ud134. \uc608\ub97c \ub4e4\uc5b4, [abc]\ub294 ‘a’, ‘b’, \ub610\ub294 ‘c’\uc640 \uc77c\uce58\ud569\ub2c8\ub2e4. 2. **\uba54\ud0c0 \ubb38\uc790**: \ud2b9\uc815 \uae30\ub2a5\uc744 \ud558\ub294 \uae30\ud638\ub85c, \uc608\ub97c \ub4e4\uc5b4 ‘.’\ub294 \uc784\uc758\uc758 \ub2e8\uc77c \ubb38\uc790\uc640 \uc77c\uce58\ud558\uba70, ‘*’\ub294 0\uac1c \uc774\uc0c1\uc758 \ubc18\ubcf5\uc744 \ub098\ud0c0\ub0c5\ub2c8\ub2e4. 3. **\uc218\ub7c9\uc790**: \ud328\ud134\uc774 \uc5bc\ub9c8\ub098 \ub9ce\uc774 \ubc18\ubcf5\ub418\ub294\uc9c0\ub97c \uc815\uc758\ud569\ub2c8\ub2e4. \uc608\ub97c \ub4e4\uc5b4, ‘a{2,5}’\ub294 ‘aa’, ‘aaa’, ‘aaaa’, \ub610\ub294 ‘aaaaa’\uc640 \uc77c\uce58\ud569\ub2c8\ub2e4. 4. **\uadf8\ub8f9\ud654**: \uad04\ud638()\ub97c \uc0ac\uc6a9\ud558\uc5ec \ud328\ud134\uc758 \uadf8\ub8f9\uc744 \ub9cc\ub4e4\uc5b4 \ub17c\ub9ac\uc801 \uc870\ud569\uc744 \ud615\uc131\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4. \uc815\ud615\uc2dd\uc740 \uc0ac\uc6a9\uc790\uac00 \uc6d0\ud558\ub294 \ubcf5\uc7a1\ud55c \ud328\ud134\uc744 \uc27d\uac8c \uc815\uc758\ud558\uace0, \uc774\ub97c \ubc14\ud0d5\uc73c\ub85c \ub370\uc774\ud130\uc758 \uc720\ud6a8\uc131\uc744 \uac80\uc0ac\ud558\uac70\ub098 \ubb38\uc790\ub97c \ucc98\ub9ac\ud558\ub294 \ub370 \ub9e4\uc6b0 \uc720\uc6a9\ud569\ub2c8\ub2e4. \ub9ce\uc740 \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uc5d0\uc11c \uc815\ud615\uc2dd\uc744 \uc9c0\uc6d0\ud558\uba70, \uc774\ub97c \ud1b5\ud574 \ud6a8\uc728\uc801\uc778 \ubb38\uc790\uc5f4 \uc870\uc791\uc774 \uac00\ub2a5\ud569\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd \uc124\uba85: \uc815\ud615\uc2dd\uc740 \ubb38\uc790\uc5f4\uc5d0\uc11c \ud2b9\uc815 \ud328\ud134\uc744 \ucc3e\uae30 \uc704\ud55c \uaddc\uce59\uc73c\ub85c, \uac80\uc0c9, \ub300\uccb4 \ubc0f \ub370\uc774\ud130 \uac80\uc99d\uc5d0\uc11c \ub110\ub9ac \uc0ac\uc6a9\ub429\ub2c8\ub2e4. \ub2e4\uc591\ud55c \uae30\ud638\uc640 \ubb38\uc790\ub97c \uc870\ud569\ud558\uc5ec \ubcf5\uc7a1\ud55c \ubb38\uc790\uc5f4 \ud328\ud134\uc744 \uc815\uc758\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n
\uba54\ud0c0 \ubb38\uc790 \uc124\uba85: \uba54\ud0c0 \ubb38\uc790\ub294 \uc815\ud615\uc2dd \ub0b4\uc5d0\uc11c \ud2b9\ubcc4\ud55c \uc758\ubbf8\ub97c \uc9c0\ub2cc \ubb38\uc790\ub85c, \ubb38\uc790\uc5f4 \ub0b4\uc5d0\uc11c \ud2b9\uc815 \uc870\uac74\uc744 \uad6c\ud604\ud558\ub294 \ub370 \uc0ac\uc6a9\ub429\ub2c8\ub2e4. \uc608\ub97c \ub4e4\uc5b4, ‘.’\ub294 \uc784\uc758\uc758 \ub2e8\uc77c \ubb38\uc790\uc640 \uc77c\uce58\ud558\uace0, ‘*’\ub294 0\uac1c \uc774\uc0c1\uc758 \ubc18\ubcf5\uc744 \ub098\ud0c0\ub0b4\uc5b4 \ubb38\uc790\uc5f4 \ud328\ud134\uc744 \uc720\uc5f0\ud558\uac8c \uc815\uc758\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n
\uc815\ud615\uc2dd\uc740 \ub2e8\uc21c\ud788 \ubb38\uc790\uc5f4\uc744 \ub2e4\ub8e8\ub294 \ub3c4\uad6c\ub97c \ub118\uc5b4, \ub370\uc774\ud130 \ubd84\uc11d \ubc0f \ucc98\ub9ac\uc758 \ud601\uc2e0\uc801\uc778 \ubc29\ubc95\ub860\uc744 \uc81c\uacf5\ud569\ub2c8\ub2e4. \uc6b0\ub9ac\ub294 \ub9e4\uc77c \uc218\ub9ce\uc740 \ub370\uc774\ud130\ub97c \uc811\ud558\uba70, \ud544\uc694\ud55c \uc815\ubcf4\ub97c \uc2e0\uc18d\ud558\uac8c \ucc3e\uc544\ub0b4\ub294 \uac83\uc774 \ud544\uc218\uc801\uc785\ub2c8\ub2e4. \uc815\ud615\uc2dd\uc744 \ud1b5\ud574 \ubcf5\uc7a1\ud55c \ubb38\uc790\uc5f4 \ud328\ud134\uc744 \uc190\uc27d\uac8c \ub2e4\ub8f0 \uc218 \uc788\uac8c \ub418\uba70, \uc774\ub294 \uc6b0\ub9ac\uc758 \uc791\uc5c5 \ud6a8\uc728\uc131\uc744 \uadf9\ub300\ud654\ud558\ub294\ub370 \uae30\uc5ec\ud569\ub2c8\ub2e4. \ub370\uc774\ud130 \uc2dc\ub300\uc5d0 \uc0b4\uc544\uac00\ub294 \ud604\ub300\uc778\uc73c\ub85c\uc11c \uc815\ud615\uc2dd\uc758 \ud65c\uc6a9\ubc95\uc744 \uc775\ud788\uace0, \uadf8 \ub9e4\ub825\uc744 \ub290\uaef4\ubcf4\ub294 \uac83\uc740 \ub9e4\uc6b0 \uc911\uc694\ud569\ub2c8\ub2e4. \uc774\uc81c, \uc815\ud615\uc2dd\uc758 \uc138\uacc4\ub85c \ud55c \uac78\uc74c \ub354 \ub4e4\uc5b4\uac00 \ubcf4\uc138\uc694!<\/p>\n","protected":false},"excerpt":{"rendered":"
\uc815\ud615\uc2dd\uc758 \uc815\uc758\uc640 \ud2b9\uc9d5 \uc815\ud615\uc2dd(Regular Expression, \uc904\uc5ec\uc11c \uc815\uaddc \ud45c\ud604\uc2dd)\uc740 \ud2b9\uc815\ud55c \ud328\ud134\uc744 \ud45c\ud604\ud558\uae30 \uc704\ud574 \uc0ac\uc6a9\ub418\ub294 \ubb38\uc790\uc5f4\uc758 \ud615\uc2dd\uc785\ub2c8\ub2e4. \uc8fc\ub85c \ud14d\uc2a4\ud2b8 \uac80\uc0c9 \ubc0f \uc870\uc791\uc5d0 \ud65c\uc6a9\ub418\uba70, \ubcf5\uc7a1\ud55c \ubb38\uc790\uc5f4\uc758 \uac80\uc0c9 \ubc0f \ub300\uccb4 \uc791\uc5c5\uc5d0 \ud6a8\uacfc\uc801\uc785\ub2c8\ub2e4. \uc815\ud615\uc2dd\uc740 \ub2e4\uc591\ud55c \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uc640 \ub3c4\uad6c\uc5d0\uc11c \uc9c0\uc6d0\ub418\uba70, \uadf8 \uc815\uc758\uc640 \ud2b9\uc9d5\uc740 \ub2e4\uc74c\uacfc \uac19\uc2b5\ub2c8\ub2e4.1. **\uc815\uc758**: \uc815\ud615\uc2dd\uc740 \ubb38\uc790, \ubb38\uc790 \ud074\ub798\uc2a4, \uba54\ud0c0\ubb38\uc790 \ubc0f \ubc18\ubcf5\uc744 \ub098\ud0c0\ub0b4\ub294 \uae30\ud638\ub4e4\uc744 \uc870\ud569\ud558\uc5ec \ud2b9\uc815 \ubb38\uc790\uc5f4 \ud328\ud134\uc744 \uae30\uc220\ud55c \uac83\uc785\ub2c8\ub2e4. […]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"om_disable_all_campaigns":false,"_monsterinsights_skip_tracking":false,"_uf_show_specific_survey":0,"_uf_disable_surveys":false,"footnotes":""},"categories":[1],"tags":[],"_links":{"self":[{"href":"https:\/\/dohokin.com\/index.php?rest_route=\/wp\/v2\/posts\/2571"}],"collection":[{"href":"https:\/\/dohokin.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dohokin.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dohokin.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/dohokin.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2571"}],"version-history":[{"count":0,"href":"https:\/\/dohokin.com\/index.php?rest_route=\/wp\/v2\/posts\/2571\/revisions"}],"wp:attachment":[{"href":"https:\/\/dohokin.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2571"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dohokin.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2571"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dohokin.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2571"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}