digvijay/Aniket : user can create a dfa machine and check valid inputs