U.S.-Hungary Mathematics Research on Iteration Theories

史蒂文斯理工学院的Stephen Bloom博士和Bolyai研究所Szeged的Zoltan Esik博士之间的这个美国-匈牙利数学研究项目的主要目标是研究与三个领域有关的特殊类迭代理论：代数自动机理论、程序正确性和并发进程的语义。特别是，我们将致力于解决矩阵和矩阵迭代理论以及同步树理论。这些努力应该会产生关于形式幂函数级数的方程性质的新知识，以及对完全正确性的新处理。总而言之，这些结果有望帮助统一理论计算机科学中的一系列工作，这些工作表达在迭代理论的框架内。这一计算理论项目通过使美国和东欧的顶尖专家能够结合互补的人才并在具有强烈共同兴趣和能力的领域共享研究资源，实现了促进科学知识发展的计划目标。

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.