نظریه جبر پردازه و ماشین خودکاره