Lý thuyết tự động hoá