Tеория на автоматизация