Quotient and bounded context-free languages

Abstract

Nous montrons que la famille des langages algébriques est fermée par quotient par un langage algébrique borné et que le cône rationnel engendré par la famille des langages algébriques bornés est fermé par quotient.

We prove that the family of context-free languages is closed under quotient by a bounded context-free language and that the rational cone generated by the family of bounded context-free languages is closed under quotient.

Keywords:

• Language
• context-free
• bounded
• quotient
• rational transduction
• ISA-language

C.R. Categories:

• F.4.3