TuringSim
C++ framework to simulate abstract computing models
Acceptance Namespace Reference

Types of nodes for alternating machines, with helping functions. More...

Detailed Description

Types of nodes for alternating machines, with helping functions.