نظریه تصمیم‌پذیری و ساختارهای جبری