To convert AFND to AFD