Home Online Mathematical Communication Computational Complexity Challenge about NFA for {a^y : y\ne 1000} answered.