### Abstract

We study the concept of bidirectional application of productions -- i.e., using a production of a grammar as a reduction too -- with respect to regularly controlled extended linear basic (macro) grammars [3], provided with a restricted mode of derivation. So this new grammatical model is in essence equal to the regularly controlled bidirectional context-free grammar of [15] in which the underlying context-free grammar is replaced by an extended linear basic grammar. We establish closure properties of the corresponding family of languages; viz. for the outside-in or OI mode we obtain a full substitution-closed AFL, and for the inside-out or IO mode we obtain a full QAFL closed under deterministic substitution. The notion of bidirectionality gives rise to a dramatic increase of generating power; even under minor assumptions the OI [IO] instance of such grammars generate all OI-macro [IO-macro, respectively] languages. Furthermore, in case of free application of productions and reductions we obtain a generating capacity equal to the one of phrase-structure grammars.
[3] P.R.J. Asveld & J. Engelfriet, Extended linear macro grammars, iteration grammars, and register programs, Acta Informatica 11 (1979) 259-285.
[15] J.A. Hogendorp, Controlled bidirectional grammars, Internat. J. of Computer Mathematics 27 (1989) 159-180.

Original language | Undefined |
---|---|

Place of Publication | Enschede |

Publisher | University of Twente, Department of Computer Science |

Number of pages | 45 |

Publication status | Published - 1989 |

### Publication series

Name | Memoranda Informatica |
---|---|

Publisher | Department of Computer Science, University of Twente |

No. | INF-89-69 |

ISSN (Print) | 0924-3755 |

### Keywords

- IR-64295
- HMI-SLT: Speech and Language Technology
- EWI-10899

## Cite this

Hogendorp, J. A. (1989).

*Regularly Controlled Bidirectional Extended Linear Basic Grammars (Revised and extended version)*. (Memoranda Informatica; No. INF-89-69). Enschede: University of Twente, Department of Computer Science.