Non-NFA (Stabilizer)