compute operator semantics tables