Myhill–Nerode theorem

From Free net encyclopedia