booleanstructuredstackmurecursivemachine