| Popis: |
Wie bereits in der Einleitung vermerkt, werden Kategorien und Funktoren in dieser Arbeit herangezogen, um lineare Sprachen und ihre Homomorphismen zu beschreiben. In diesem Paragraphen wird eine erste Rechtfertigung hierzu vorbereitet. Bei der Uebertragung des “Homomorphiesatzes” und des “Reduktionsverbandes” [9] der endlichen Automaten auf lineare Sprachen stellt sich namlich heraus, dass man diese Satze leicht aus den allgemeineren Ueberlegungen dieses Paragraphen fur endlich erzeugte freie Kategorien folgern kann, dass es sich also im wesentlichen um kategorientheoretische Satze handelt. |
