במדעי המחשב ובתורת האוטומטים, מצב (באנגלית: state) הוא תצורה (קונפיגורציה) ייחודית של מידע במעגל דיגיטלי או בתוכנה. המושג משמש לתיאור כלל המידע המאוחסן ברגע נתון בזמן, שהמעגל או התוכנה יכולים להשתמש בו. ניתן להתייחס למושג כ"תמונת מצב" (snapshot) של התנאים השונים המתקיימים ברגע זה במערכת.