Formleg mál og reiknanleiki

Dćmi 6

1. Dćmi 3.5 á bls. 148 í kennslubók.

2. Dćmi 3.10 á bls. 148 í kennslubók.

3. Dćmi 3.12 á bls. 149 í kennslubók. (Ath. orđin "Turing machine" eiga ađ koma á eftir orđinu "ordinary" í fyrstu línu dćmisins.)

4. Dćmi 3.19 á bls. 149 í kennslubók.

5. Sýniđ ótakmarkađa (unrestricted) málfrćđi fyrir máliđ {aⁿbⁿcⁿ | n >= 0 }

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