Diller, gramerler ve hesaplama kuramına giriş, Chomsky hiyerarşisi, düzgün diller ve düzgün deyimler, sonlu durumlu makineler, gerekirci olmayan makineler, düzgün diller için pompalama teoremi ve kapalılık özellikleri, çevrimden bağımsız diller ve gramerler, üstten-bastırmalı makineler, çevrimden bağımsız diller için pompalama teoremi.