¹ø¿ª   |   Ãâó   |   ºñ°í   |
---|---|---|
  ¸í»ç½Ä   |   kwang   |   ¼¼ú½Ä(predicate)Àº Âü/°ÅÁþÀ» ¼¼ú. ¸í»ç½Ä(term)Àº ´ë»ó¹°(¹°°Ç,°ª)µîÀ» Ç¥Çö.   |
  ³¹¸»   |   kwang   |   snu 664/05 20.tex ÁýÇÕÁ¦¾à½ÄºÐ¼®¿¡¼   |
°áÁ¤Àû | determinisitc |
³¹¸» | term |
¸í»ç½Ä | term |
ºñ°áÁ¤Àû | non-deterministic |