"Computer_Science" . . . "named entity 'transition relation'" . . . . . . .