natural operational semantics - معنی تخصصی در دیکشنری آبادیس