Home Online Mathematical Communication Computational Complexity Challenge: Is there a small NFA for { a^i : i\ne 1000} ?