Anil Nerode

Anil Nerode, né le à Los Angeles, est un mathématicien américain. Il est renommé comme coauteur du théorème de Myhill-Nerode qui donne une caractérisation des langages formels qui sont rationnels. Informations fournies par Wikipedia
Résultat(s) 1 - 2 résultats de 2 pour la requête 'Nerode, Anil', Temps de recherche: 0,04s Affiner les résultats
1
2
par Artemov, Sergei, Nerode, Anil
Publié 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral