We present a unified rule format for structural operational semantics with terms as labels that guarantees that the associated labelled transition system has some bounded-nondeterminism property. The properties we consider include finite branching, initials finiteness and image finiteness.

翻译：我们提出了一种用于以项为标签的结构化操作语义的统一规则格式，该格式能确保相应的带标签转移系统具有某种有界非确定性性质。我们考虑的性质包括有限分支性、初始符号有限性以及像有限性。