نظریه زبان و ماشین