Semantics Without the Notions of State or State Transitions -- Decidability and