Alternating Turing machine

abstract computation model

Κατηγορίες: