Définition et etude des Bilangages réguliers

https://doi.org/10.1016/S0019-9958(68)90999-6Get rights and content
Under an Elsevier user license
open archive

en

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.

Cited by (0)