U.S.-Hungary Mathematics Research on Iteration Theories

这个美国-匈牙利数学研究项目由斯蒂文斯理工学院的Stephen BLoom博士和塞格德博利亚研究所的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.