"Formal Languages, Codes, Automata"

“形式语言、代码、自动机”

• 批准号: 243-2012
• 负责人: Jurgensen, Helmut
• 金额: $ 1.24万
• 依托单位: University of Western Ontario
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=568104
• 关键词: 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.

我正在进行的研究主题是计算基础。我研究了计算和信息处理的模型，以及它们在有限的真实场景中的适用性。我的工作涉及信息的表示、信息的结构、形式语言、代码、语法和自动机等基本问题。 在这些理论的范围内，我研究了如何识别事件序列中的变化，如何同步事件，以及需要哪些类型的计算设备来提供必要的通信。 形式语言和自动机提供组合和计算框架；代码形式化处理通信和同步。因此，我期待对形式语言的信息、同步和通信结构以及特殊类型的代码在应用于同步和容错问题时的能力有基本的了解。