Antonio Restivo
Antonio Restivo (Palermo, 9 marzo 1945) è un fisico italiano.
Biografia
[modifica | modifica wikitesto]Laureato in fisica con una tesi sulla teoria quantistica dei campi, ha collaborato nel 1970 al progetto Procuste presso il Laboratorio di Cibernetica del CNR diretto da Eduardo Caianiello.[1] La sua prima pubblicazione riguardante la teoria degli automi tratta di uno dei problemi aperti contenuti in Counter-free Automata di Robert McNaughton e Seymour Papert.[1][2]
Negli anni ottanta ha collaborato con Christophe Reutenauer sul problema di Burnside nell'ambito dei semigruppi.[3] Insieme hanno dimostrato il teorema di Restivo-Reutenauer.[4]
Note
[modifica | modifica wikitesto]- ^ a b Restivo, 2010.
- ^ (EN) Antonio Restivo, On a question of McNaughton and Papert (abstract), in Information and Control, vol. 25, n. 1, 1973, pp. 93-101, DOI:10.1016/S0019-9958(74)90821-3.
- ^ Antonio Restivo, Christophe Reutenauer, On the Burnside problem for semigroups, in Journal of Algebra, n. 89, 1984, pp. 102-104.
- ^ (EN) Manfred Droste, Werner Kuich; Heiko Vogler, Rational and Recognisable Series, in Handbook of Weighted Automata, Springer, 2009, p. 167, ISBN 978-3-642-01491-8.
Bibliografia
[modifica | modifica wikitesto]- Antonio Restivo, Dal progetto Procuste alle ricerche sui linguaggi formali, in Pietro Greco e Settimo Termini (a cura di), Memoria e progetto. Un modello per il Mezzogiorno che serva a tutto il Paese, Gruppo Editoriale Muzzio Edizioni, 2010, pp. 37-40, ISBN 978-88-96159-36-1.
Voci correlate
[modifica | modifica wikitesto]| Controllo di autorità | VIAF (EN) 120787776 · ISNI (EN) 0000 0003 7472 3474 · GND (DE) 129845728 · J9U (EN, HE) 987007422645705171 |
|---|
