郭，L。;萨洛马，K。;Yu，S。 关于同步语言。 （英语） Zbl 0843.68055号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 25，第3-4423-436号（1996年）. 摘要：新的同步构造称为同步表达式（SE），已开发为并行编程语言的高级语言构造。受某些同步要求约束的语句被标记，同步请求被指定为语句标记的表达式。在本文中，我们引入了一个新的语言家族，称为同步语言，用于对SE进行精确的语义描述。在这种描述下，SE之间的等价性和包含性等关系很容易理解和测试。在实践中，它还为并行编程语言中SE的实现和简化提供了一种系统的方法。我们证明了每个同步语言在以下重写规则下是封闭的：（1）（a_sb_s到b_sa），（2）（a_tb_t到b_ta）满足本文中规定的某些条件。我们推测，在上述重写规则下的闭包是正则st-语言成为同步语言的充分条件。还研究了同步语言的其他一些特性。 引用于1审查引用于4文件 理学硕士： 65年第68季度 形式语言和自动机 关键词：同步表达式;同步语言 PDF格式BibTeX公司 XML格式引用 \textit{L.Guo}等人，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.25，No.3--4，423--436（1996；Zbl 0843.68055）