Alternating finite automation

From Free net encyclopedia