نظریه زبان ها و ماشین ها - جلسه سیزدهم