Codes, Automata, Formal Languages

代码、自动机、形式语言

• 批准号: RGPIN-2017-06926
• 负责人: Jurgensen, Helmut
• 金额: $ 1.46万
• 依托单位: University of Western Ontario
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634932
• 关键词: Codes; Automata; Formal; Languages

Fundamental problems of computer science centering around codes, information encoding and decoding, and information processing even in the presence of errors are considered. In this general context, an information transmission system can be as simple as a wire and also as complicated as an abstract computing machine, even a machine which relies on uncomputable oracles.

计算机科学的基本问题以编码、信息编码和解码以及即使存在错误的信息处理为中心被考虑。在这个大背景下，信息传输系统可以像电线一样简单，也可以像抽象计算机器一样复杂，甚至像依赖不可计算的先知的机器一样复杂。