Définition et Etude des Bilangages Réguliers
Définition et Etude des Bilangages Réguliers
复制标题
双语言规则的定义和练习
DOI：
10.1016/s0019-9958(68)90999-6
复制
发表时间：
1968
期刊：
影响因子：
--
通讯作者：
A. Quéré
中科院分区：
文献类型：
--
作者：
C. Pair;A. Quéré
本文提出了一个定义的“树状结构”（或分支），使他们代数处理。由分支形成的“语言”被定义，我们称之为“双语”。“然后，正规语言的概念被推广到正规双语的概念。这些常规的双语相比，由上下文无关的语法产生的。证明了它们的性质，特别是，一个定理类似于Kleene的定理正规语言的陈述。
The paper presents a definition of" arborescent structures"(or ramifications) enabling to process them algebraically." Languages" formed with ramifications are defined and we call them" bilanguages." The notion of regular language is then generalized into the notion of regular bilanguage. These regular bilanguages are compared to those generated by context-free grammars. Their properties are demonstrated; especially, a theorem analogous to Kleene's theorem on regular languages is stated.