Computation Term
°áÁ¤¹®Á¦ (Entscheidungsproblem)
°è»ê°¡´É¼º ÀÌ·Ð (Computability Theory)
°è»ê°¡´É¼º ÀÌ·Ð (Computability Theory)
°è»êº¹ÀâµµÀÌ·Ð (Computational Complexity Theory)
°è»êÀÌ·Ð (Theory of Computation)
´ÙÇ׽İú ºñ°áÁ¤´ÙÇ×½Ä (P and NP)
¸¶¸£ÄÚÇÁ ¾Ë°í¸®Áò (Markov Algorithm)
¹®¸ÆÀÚÀ¯ ¹®¹ý (Context Free Grammar)
¼¼Æ÷ ÀÚµ¿ÀÚ (Cellular Automata)
¿ÀÅ丶Ÿ ÀÌ·Ð (Automata Theory)
ÀΰøÁö´É (Artificial Intelligence)
ÀÏÂ÷ ¼ú¾î°è»ê (First order predicate calculus)
óġ-Æ©¸µ ¸íÁ¦ (Church-Turing Thesis)
ÃνºÅ°°èÃþ (Chomsky Hierarchy)