Antonio Restivo
Salt la navigare Salt la căutare
Antonio Restivo ( Palermo , 9 martie 1945 ) este un fizician italian .
Licențiat în fizică cu o teză despre teoria cuantică a câmpului , a colaborat în 1970 la proiectul Procrustes la Laboratorul de Cibernetică CNR în regia lui Eduardo Caianiello . [1] Prima sa publicație despre teoria automatelor tratează una dintre problemele deschise conținute în Automatele fără contra de Robert McNaughton și Seymour Papert . [1] [2]
În anii 1980 a colaborat cu Christophe Reutenauer la problema Burnside în contextul semigrupurilor . [3] Împreună au demonstrat teorema Restivo-Reutenauer. [4]
Notă
- ^ a b Restivo , 2010 .
- ^ (EN) Antonio Restivo, Despre o chestiune de McNaughton și Papert ( abstract ), în Informații și control, vol. 25, nr. 1, 1973, pp. 93-101, DOI : 10.1016 / S0019-9958 (74) 90821-3 .
- ^ Antonio Restivo, Christophe Reutenauer, Despre problema Burnside pentru semigrupuri , în Journal of Algebra , n. 89, 1984, pp. 102-104.
- ^ (EN) Manfred Droste, Werner Kuich; Heiko Vogler, Seria rațională și recunoscută , în Manualul automatelor ponderate , Springer, 2009, p. 167 , ISBN 978-3-642-01491-8 .
Bibliografie
- Antonio Restivo, De la proiectul procustean la cercetarea limbajelor formale , în Pietro Greco și Settimo Termini (editat de), Memorie și proiect. Un model pentru Sud care servește întreaga țară , Gruppo Editoriale Muzzio Edizioni, 2010, pp. 37-40, ISBN 978-88-96159-36-1 .
Elemente conexe
Controlul autorității | VIAF ( EN ) 85534338 |
---|