Alternating Turing machine

abstract computation model

دسته بندی ها: