Prof.dr. Sergiu RUDEANU
Universitatea din Bucuresti, Facultatea de Matematica si Informatica
Bucuresti
Romania
-----------------------------------
          
Comportarea automatelor
-----------------------------------
          
ABSTRACT
-----------------------------------
Sunt propuse notiunile de automat comportamental si F-automat.

Automatul comportamental este o incercare de a unifica notiunile
de automat Moore/Mealy si automat Rabin-Scott pe baza unui substrat
comun ce poate fi numit comportarea lor.
Notiunea de F-automat este o generalizare comuna a notiunilor
de automat Moore si automat Mealy, pentru care se demonstreaza
ca realizarea F-automatului minimal de tip Nerode revine la
o pereche de functori adjuncti. Astfel se generalizeaza o teorema
a lui Goguen pentru automate Moore si se obtine o teorema analoga
pentru automatele Mealy. Rezultatul este intarit in cazul semiautomatelor:
categoria semiautomatelor este isomorfa cu categoria comportarilor
lor.
          
SHORT CV
-----------------------------------
Profesorul Sergiu Rudeanu face parte din scoala de logica si
algebra a lui Grigore Moisil. 
De altfel doctoratul l-a obtinut cu teza "Ecuatiile booleene
si aplicatiile lor" sub conducerea Profesorului Moisil.
Domeniile in care activeaza sunt algebrele booleene, algebrele
universale, teoria laticilor, logica algebrica, fundamentele
algebrice ale informaticii. 
In 1968 a primit premiul "Gheorghe Titeica" al Academiei Romane.

Este unul dintre putinii matematicieni romani care are cinci
carti publicate la marile edituri stiintifice ale lumii (Springer
si North-Holland), unele dintre ele fiind traduse apoi in Franta
(Dunod) si Japonia (Kogaku Tosho). Ar fi suficient sa mentionam
monografia dedicata functiilor si ecuatiilor booleene (North-Holland
1974), cea dedicata functiilor si ecuatiilor laticiale (Springer
2001), precum si volumul dedicat algebrelor Lukasiewicz-Moisil
(North-Holland 1991).