Róbert Szelepcsényi
RNDr. Róbert Szelepcsényi, CSc. (* 1967) je slovenský informatik. Je známy najmä vďaka svojmu výsledku v oblasti formálnych jazykov, dnes známemu ako Immermanova-Szelepcsényiho veta, ktorá hovorí, že trieda kontextových jazykov je uzavretá na komplement. Dôkaz objavil v roku 1987 ako študent Matematicko-fyzikálnej fakulty Univerzity Komenského v Bratislave. V tom istom roku, nezávisle od neho, prišiel k rovnakému výsledku aj americký informatik Neil Immerman. Obaja dostali v roku 1995 Gödelovu cenu.
| Róbert Szelepcsényi | |||
| slovenský informatik | |||
| Narodenie | 1967 | ||
|---|---|---|---|
| |||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.