state transition system

abstract machine used in the study of computation

카테고리: