Оспособеност за користење на формалните модели на пресметливост како основа за
теорија и пракса на програрамските јазици, компајлери, како и за пратење на повисок
курс од теоријата на пресметливоста. Запознавање со јазици, регуларни и контекстно
слободни јазици, конечни автомати и push down автомати, граматики и врската меѓу
определен вид на автомати и јазици.