词条 | Ludwig Staiger |
释义 |
Ludwig Staiger is a German mathematician and computer scientist at the Martin-Luther-Universität Halle-Wittenberg, Germany. Previously he had positions at the Academy of Sciences in Berlin (East), the Central Institute of Cybernetics and Information Processes, the Karl Weierstrass Institute for Mathematics and the Technical University Otto-von-Guericke Magdeburg. He was a visiting professor at the RWTH Aachen, the universities Dortmund, Siegen, Cottbus in Germany and the Technical University Vienna, Austria. He is a member of the Managing Committee of the Georg Cantor Association and an external researcher of the Center for Discrete Mathematics and Theoretical Computer Science at the University of Auckland, New Zealand.[1] He co-invented with Klaus Wagner the Staiger-Wagner Automaton. Staiger is an expert in ω-languages, an area in which he wrote more than 19 papers [2] including the paper on this topic in the monograph.[3] He found surprising applications of ω-languages in the study of Liouville numbers. Staiger is an active researcher in combinatorics on words, automata theory, effective dimension theory[4] and algorithmic information theory. Notes1. ^CDMTCS External Researchers 2. ^{{DBLP |name=Ludwig Staiger}} 3. ^[https://www.springer.com/gp/book/9783642638596 Handbook of Formal Languages] 4. ^[https://eccc.weizmann.ac.il/search/?search=Staiger ECCC Reports of Ludwig Staiger] Bibliography
External links
6 : Theory of computation|Formal languages|German mathematicians|Year of birth missing (living people)|Living people|German computer scientists |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。