state transition system

abstract machine used in the study of computation

Kategorien: