תבנית:תורת החישוביות/מצב