Myhill-Nerode theorem

From Free net encyclopedia