03921nam 22006615 450 99646549730331620200629121246.03-540-47340-810.1007/BFb0013875(CKB)1000000000233878(SSID)ssj0000323882(PQKBManifestationID)11254234(PQKBTitleCode)TC0000323882(PQKBWorkID)10303304(PQKB)10210586(DE-He213)978-3-540-47340-4(PPN)155204734(EXLCZ)99100000000023387820121227d1992 u| 0engurnn|008mamaatxtccrHyperedge Replacement: Grammars and Languages[electronic resource] /by Annegret Habel1st ed. 1992.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1992.1 online resource (XI, 221 p.) Lecture Notes in Computer Science,0302-9743 ;643Bibliographic Level Mode of Issuance: Monograph3-540-56005-X General Introduction -- to hyperedge-replacement grammars -- Basic properties of HRG's -- Characterizations of HRL's -- Structural aspects of HRL's -- Generative power of HRG's -- Graph-theoretic aspects of HRL's -- Boundedness aspects of HRL's -- Extensions and variations of HRG's -- Conclusion.The area of graph grammars is theoretically attractive and well motivated byvarious applications. More than 20 years ago, the concept of graph grammars was introduced by A. Rosenfeld as a formulation of some problems in pattern recognition and image processing, as well as by H.J. Schneider as a method for data type specification. Within graph-grammar theory one maydistinguish the set-theoretical approach, the algebraic approach, and the logical approach. These approaches differ in the method in which graph replacement is described. Specific approaches, node replacement and hyperedge replacement, concern the basic units of a hypergraph, nodes and hyperedges. This monograph is mainly concerned with the hyperedge-replacement approach. Hyperedge-replacement grammars are introduced as a device for generating hypergraph languages including graph languages and string languages. The concept combines a context-free rewriting with a comparatively large generative power. The volume includes a foreword by H. Ehrig.Lecture Notes in Computer Science,0302-9743 ;643ComputersProgramming languages (Electronic computers)Mathematical logicCombinatoricsTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Combinatoricshttps://scigraph.springernature.com/ontologies/product-market-codes/M29010Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Computers.Programming languages (Electronic computers).Mathematical logic.Combinatorics.Theory of Computation.Programming Languages, Compilers, Interpreters.Mathematical Logic and Formal Languages.Combinatorics.Mathematical Logic and Foundations.004.0151Habel Annegretauthttp://id.loc.gov/vocabulary/relators/aut745731BOOK996465497303316Hyperedge replacement1487592UNISA