Revistes Publicacions URV: Triangle - llenguatge, literatura, computació> 2012

Derivation 'Trees' and Parallelism in Chomsky-Type Grammars

  • Identification data

    Identifier: RP:4411
    Handle: https://hdl.handle.net/20.500.11797/RP4411
    Authors:
    Nagy, Benedek
    Abstract:
    In this paper we discuss parallel derivations for context-free, contextsensitive and phrase-structure grammars. For regular and linear grammars only sequential derivation can be applied, but a kind of parallelism is present in linear grammars. We show that nite languages can be generated by a recursion-free rule-set. It is well-known that in context-free grammars the derivation can be in maximal (independent) parallel way. We show that in cases of context-sensitive and recursively enumerable languages the parallel branches of the derivation have some synchronization points. In the case of context-sensitive grammars this synchronization can only be local, but in a derivation of an arbitrary grammar we cannot make this restriction. We present a framework to show how the concept of parallelism can be t to the derivations in formal language theory using tokens.

  • Others:

    Author, as appears in the article.: Nagy, Benedek
    Keywords: langauge
    Abstract: In this paper we discuss parallel derivations for context-free, contextsensitive and phrase-structure grammars. For regular and linear grammars only sequential derivation can be applied, but a kind of parallelism is present in linear grammars. We show that nite languages can be generated by a recursion-free rule-set. It is well-known that in context-free grammars the derivation can be in maximal (independent) parallel way. We show that in cases of context-sensitive and recursively enumerable languages the parallel branches of the derivation have some synchronization points. In the case of context-sensitive grammars this synchronization can only be local, but in a derivation of an arbitrary grammar we cannot make this restriction. We present a framework to show how the concept of parallelism can be t to the derivations in formal language theory using tokens.
    Journal publication year: 2012
    Publication Type: info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/article