Alternating Turing machine

abstract computation model

카테고리: