مجموعه مقالات کتاب نظریه زبان ها و ماشین