Železnikar, Anton (1928–)

Železnikar Anton P(avel), elektrotehnik, specialist za računalništvo in informatiko, r. 8. jun. 1928 v Slovenj Gradcu kirurgu Vinku in učiteljici Pavli r. Rogina, živi v Ljubljani. Po real. gimn. v Mrbu (mat. 1948) je v Lj. štud. elektrotehniko in 1956 dipl. Magisterij je opravil 1966 ter bil 1967 prom. z dis. Splošna teorija substitucijskih algoritmov in njena povezava z digitalnimi avtomati. 1955–80 je bil zaposlen na Inst. J. Stefan v Lj., od 1980 je svetovalec za tehnološki razvoj v Iskri Delti. Na Fak. za elektrotehniko v Lj. je bil 1975 izvoljen za doc., 1977 za izr. in 1982 za red. prof. za predmet prevajalniki, predava pa tudi na Tehniški fak. v Mrbu. – 1967–75 je bil predstavnik v Internat. Federation for Information Processing in 1971 organiziral svet. kongres IFIP v Lj. 1976–81 je bil preds. Slov. društva Informatika, od 1977 je ur. časopisa Informatica. – Priznanja: 1968 Kidričeva nagrada za delo Overlapping algorithms, 1979 red dela z zlatim vencem.

Ukvarja se z digitalno tehniko, teorijo preklopniških vezij, funkcijami algebre logike, končnimi avtomati, algoritmi, formalnimi jeziki, prevajalniki programiranih jezikov, informacijsko logiko, mikroračunalniki, paralelnimi računalniškimi sistemi in s strategijo računalniške industrije. Razprave obj. v časopisih: Telefunken-Zg (Frankfurt, 1954: Die geometrische Transformation von Impendanzdiagrammen), EV (1957: Magnetostrikcijski vod), Glasnik matematičko fizički i astronomski (Zgb, 1960: Solvability problems of propositional equations; 1962: Some arithmetic normal algorithms, Behandlung logistischer Probleme mit Ziffernrechner), Elektrotehnika (1964: Notions on programmed abstract automata), Mathematical systems theory (New York, 1967: Overlapping algorithms), Automatika (Zgb, 1975: Uvod v normalne informacijske sisteme), Informatica (1987: On the way to information; 1988/9: Informational logic; 1989: Informacijski principi in formalizacija), Cybernetica (Namur, Belgija, 1988: Principles on information; 1988, 1989: Information determinations I, II) idr. – Napisal je več priročnikov za visokošol. študij: Some algorithm theory and its applicability (1963), Splošna teorija substitucijskih algoritmov in njena povezava z digitalnimi avtomati (1966), Formalni jeziki in problemi analize (1968), A parsing concept for a high-level programming language (1968), Prekrivni jeziki I, II (1968, 1969), Linear overlapping algorithms (1969), Linear overplanning languages (1969), Jezik in jezikovno prevajanje I, II (1970, 1971), Prevajalniki (1977).

Prim.: osebni podatki (z bibl); Bibl Inst. J. Stefan, 1979. – Slika: arhiv SBL. Sitar