2010 | OriginalPaper | Buchkapitel
Sortal Equivalence of Bare Grammars
verfasst von : Thomas Holder
Erschienen in: The Mathematics of Language
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We discuss a concept of structural equivalence between grammars in the framework of Keenan and Stabler’s bare grammars. The definition of syntactic sorts for a grammar
L
permits the introduction of a sort structure group
Aut
π
(
L
). The automorphism group
Aut
(
L
) of
L
is found to be a group extension by
Aut
π
(
L
). We develop then a concept of equivalence of grammars based on isomorphisms between the syntactic sort algebras. We study the implications of this equivalence with techniques from category theory: we invert the class of grammar homomorphisms that induce isomorphisms of sort algebras. The resulting category of fractions is found to be equivalent to a category of sortally reduced grammars.