0 VORWORT Die für die Übersetzung von Programmiersprachen benötigten Analyse- und Synthesealgorithmen können bereits seit geraumer Zeit relativ gut sprachunabhängig formuliert werden. Dies findet seinen Ausdruck unter anderem in einer Vielzahl von Generatoren, die den Übersetzungsproze? ganz oder teilweise automatisieren lassen. Die Syntax der zu verarbeitenden Sprache steht gewöhnlich in Datenform (Graphen, Listen) auf der Basis formaler Beschreibungsmittel (z.B. BNF) zur Verfügung. Im Bereich der Übersetzung natürlicher Sprachen ist die Trennung von Sprache und Verarbeitungsalgorithmen - wenn überhaupt - erst ansatzweise vollzogen. Die Gründe liegen auf der Hand. Natürliche Sprachen sind mächtiger, ihre formale Darstellung schwierig. Soll die Übersetzung auch die mündliche Kommunikation umfassen, d.h. den menschlichen Dolmetscher auf einer internationalen Konferenz oder beim Telefonieren mit einem Partner, der eine andere Sprache spricht, ersetzen, kommen Echtzeitanforderungen dazu, die dazu zwingen werden, hochparallele Ansätze zu verfolgen. Der Prozess der Übersetzung ist auch dann, wenn keine Echtzeiterforderungen vorliegen, außerordentlich komplex. Lösungen werden mit Hilfe des Interlingua- und des Transferansatzes gesucht. Verstärkt werden dabei formale Beschreibungsmittel realtiv gut erforschter Teilgebiete der Informatik eingesetzt (Operationen über dekorierten Bäumen, Baum-zu-Baum-Übersetzungsstrategien), von denen man hofft, daß die Ergebnisse weiter führen werden als spektakuläre Prototypen, die sich jetzt schon am Markt befinden und oft aus heuristischen Ansätzen abgeleitet sind. [...]

Mass communication through the print and the electronic media has not been spared by the post-Cold-War wind of change that is sweeping across Africa and the rest of the world. According to Wilcox (1974: 37), in 1974 over 70 percent of all the newspapers that were printed in Africa were government-owned; in the same year, almost all radio and T.V. stations were owned by government. In the changing socio-eonomic climate, however, a state monopoly of the mass media in many Sub- Saharan African countries is now a thing of the past (see for instance, Bourgault 1995). Where, for example, there used to be only one or two newspapers owned by the government or the ruling party, there now exists a plethora of privately owned competing newspapers and other publications; and where there used to be only one sycophantic radio and T. V. station owned by the government, there now exist several radio and T. V. stations, many of them privately-owned commercial broadcasters. The general philosophy behind the liberalization of the mass media is what has come to be called `the freedom of speech`. Citing the liberalization of the electronic media in Kenya, this paper argues that the liberalization of the media in many Sub-Saharan countries has not been matched by policies that encourage the entrenchment, spread and full utilization of African indigenous languages. It is further argued that the lack of media policy that favours African indigenous languages is likely to lead to negative consequences for the languages of Africa.

This paper deals with decision problems related to the star problem in trace monoids, which means to determine whether the iteration of a recognizable trace language is recognizable. Due to a theorem by G. Richomme from 1994 [32, 33], we know that the star problem is decidable in trace monoids which do not contain a submonoid of the form {a,c}* x {b,d}*. Here, we consider a more general problem: Is it decidable whether for some recognizable trace language and some recognizable or finite trace language P the intersection R ∩ P* is recognizable? If P is recognizable, then we show that this problem is decidale iff the underlying trace monoid does not contain a submonoid of the form {a,c}* x b*. In the case of finite languages P, we show several decidability and undecidability results.

In Deutschland boomt die Digitalisierung der Bibliotheken und Archive. Der Trend geht eindeutig in Richtung virtuelle Bibliothek mit über das Internet abrufbaren Beständen. Auch die kleinen „Orchideenfächer“ sind aktiv geworden. Erste Projekte zur Digitalisierung von orientalischen Handschriften, Papyri und Ostraka wurden bereits erfolgreich abgeschlossen.

No description available.

Zugl.: Heidelberg, Universiẗat, Diss., 2002.

Thesis (Ph. D.)--Brandeis University, 1989. / Includes bibliographical references (p. [241]-247).

Thesis--Aarhus, 1975. / Includes indexes. Includes bibliographical references (p. 418-428).

Zugl.: Kiel, Univ., Diss., 2008

Role-based modeling has been proposed in 1977 by Charles W. Bachman, as a means to model complex and dynamic domains, because roles are able to capture both context-dependent and collaborative behavior of objects. Consequently, they were introduced in various fields of research ranging from data modeling via conceptual modeling through to programming languages. More importantly, because current software systems are characterized by increased complexity and context-dependence, there is a strong demand for new concepts beyond object-oriented design. Although mainstream modeling languages, i.e., Entity-Relationship Model, Unified Modeling Language, are good at capturing a system's structure, they lack ways to model the system's behavior, as it dynamically emerges through collaborating objects. In turn, roles are a natural concept capturing the behavior of participants in a collaboration. Moreover, roles permit the specification of interactions independent from the interacting objects. Similarly, more recent approaches use roles to capture context-dependent properties of objects. The notion of roles can help to tame the increased complexity and context-dependence. Despite all that, these years of research had almost no influence on current software development practice. To make things worse, until now there is no common understanding of roles in the research community and no approach fully incorporates both the context-dependent and the relational nature of roles. In this thesis, I will devise a formal model for a family of role-based modeling languages to capture the various notions of roles. Together with a software product line of Role Modeling Editors, this, in turn, enables the generation of a role-based language family for Role-based Software Infrastructures (RoSI).