Formleg mál og reiknanleiki

Dćmi 5


  1. Dćmi 2.10 á bls. 121 í kennslubók.

  2. Dćmi 2.18a), b) á bls. 121 í kennslubók.

  3. Gefiđ bćđi óformlega lýsingu og stöđuvél fyrir Turing vél sem samţykkir máliđ {anbncn | n >= 0}.

  4. Dćmi 3.7 á bls. 148 í kennslubók. (Ath. villa í dćminu, á ađ vera "The input is a polynomial p over ...". Ţađ vantar sem sagt "p")

  5. Dćmi 3.8a), b) á bls. 148 í kennslubók.

Skiliđ ţessum dćmum fyrir hádegi mánudaginn 5. október.


hh (hja) hi.is, 29. september, 1998.