"Formal Languages, Codes, Automata"

点击翻译按钮获取中文摘要

The ongoing theme of my research is foundations of computing. I study models of computation and information processing and also their applicability to limited real-live scenarios. My work addresses fundamental issues concerning the representation of information, structure of information, formal languages, codes, grammars and automata. Within the realm of these theories, I study how to identify changes in a sequence of events, how events are synchronized and which kinds of computational devices are needed and natural to afford the necessary communication. Formal languages and automata provide the combinatorial and computational framework; codes formalize the treatment of communication and synchronization. As results I expect fundamental insights into the information, synchronization and communication structure of formal languages and the capabilities of special kinds of codes when applied to synchronization and fault-tolerance issues.