U.S.-Hungary Mathematics Research on Iteration Theories

美匈数学迭代理论研究

• 批准号: 9016123
• 负责人: Stephen Bloom
• 金额: $ 1.03万
• 依托单位: Stevens Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-03-01 至 1994-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9016123&HistoricalAwards=false
• 关键词: U.S.; Hungary; Mathematics; Research; Iteration

The primary objective of this U.S.-Hungary mathematics research project between Dr. Stephen BLoom of the Stevens Institute of Technology and Dr. Zoltan Esik of the Bolyai Institute, Szeged, is to study special classes of iteration theories that pertain to three areas: algebraic automata theory, program correctness and sematics of concurrent processes. In particular efforts will address matrix and matricial iteration theories and the theory of synchronization trees. These efforts should yield new knowledge of equational properties of formal power series and a new treatment of total correctness. Collectively the results are expected to help unify a body of work in theoretical computer science, expressed inside a framework of iteration theories. This project in computational theory fulfills the program objective of advancing scientific knowledge by enabling leading experts in the United States and Eastern Europe to combine complementary talents and share research resources in areas of strong mutual interests and competence.

美国的主要目标是-匈牙利数学 史蒂文斯大学的斯蒂芬·布鲁姆博士 技术研究所和Bolyai的Zoltan Esik博士 研究所，塞格德，是研究迭代特殊类 属于三个领域的理论：代数自动机 并发的理论、程序正确性和语义 流程. 特别是，将努力解决矩阵问题， 矩阵迭代理论和 同步树 这些努力应产生新的 形式幂级数方程性质的知识 以及对完全正确性的新处理。 统称 结果预计将有助于统一一个机构的工作， 理论计算机科学，在一个框架内表达 迭代理论。 这个计算理论的项目实现了程序 促进科学知识的目标， 美国和东欧的主要专家， 联合收割机互补人才，共享科研资源 在具有强烈共同利益和能力的领域。