بسته های درس مبانی نظری محاسبه ، نظریه اتومات ها و زبان ها ، نظریه زبان ها و ماشین ها