尤利娅·特奥多拉·巴努·德默根;格奥尔赫·斯特凡内斯库 面向交互式系统的形式化表示。 （英语） Zbl 1359.68156号 芬丹。通知。 131，编号3-4，313-336（2014）. 摘要：强大的代数技术已经被开发用于经典的顺序计算。其中许多是基于正则表达式和相关的正则代数。对于并行和交互式计算，通常需要扩展来处理二维模式。有限交互系统是有限自动机的二维版本，可用于识别二维语言。在本文中，我们提出了一个蓝图，用于获得并行交互程序及其语义的形式化表示。它基于最近引入的一种获取二维模式正则表达式的方法，特别是使用任意形状的单词和强大的构图控制机制。我们用新的控制特性扩展了以前定义的表达式类n2RE，逐步增加了形式主义的表达能力，直到可以获得生成有限交互系统接受的单词的过程。目标应用程序来自通过相关场景语义对结构化交互程序进行建模、规范、分析和验证的领域。 MSC公司： 65年第68季度 形式语言和自动机 68号30 软件工程的数学方面（规范、验证、度量、需求等） 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：并行程序设计;交互式编程;正则表达式;正则代数;克莱恩定理;网络代数;二维语言;有限交互系统;关系语义学;规范;验证;结构化交互式编程 软件：阿加皮亚 PDF格式BibTeX公司 XML格式引用 \textit{I.T.Banu-Demergian}和\textit{G.Stefanescu}，Fundam。通知。131，编号3--4313--336（2014；Zbl 1359.68156） 全文： 内政部