What is usually used as a state for the abstract machine in operational semantics?

Language Theory

New · 0d
question
What is usually used as a state for the abstract machine in operational semantics?
Hint
© 2026 Scrambled Kitchen·GitHub