Klaus Lagally

Universität Stuttgart · Institut für Formale Methoden der Informatik

ArabT E X is a package extending the capabilities of T E X/L A T E X to generate the Perso-Arabic writing from an ASCII transliteration for texts in several languages using the Arabic script. It consists of a T E X macro package and an Arabic font in several sizes, presently only available in the Naskhi style. ArabT E X will run with Plain T E X an...

35 pages Wir schlagen vor, bei der Verarbeitung linguistischer Informationen die Darstellung der Daten anwendungsunabhängig zu halten und die spätere Verarbeitung davon strikt zu trennen. Wir erreichen damit nicht nur eine strenge Arbeitsteilung, sondern auch flexible Wiederverwendbarkeit. Wir demonstrieren das Konzept an einem einfachen, aber repr...

this report. As a reminder, the command arabstat will cause a list of all commands that are presently valid inside Arabic text to appear in the T E Xlogfile. 4

6 pages We propose a general strategy for deriving 7-bit encodings for texts in languages which use an alphabetic non-Roman script, like Arabic, Persian, Sanskrit and many other Indic scripts, and for which there is some transliteration convention using Roman letters with additional diacritical marks. These schemes, which we will call ``meta-transl...

We propose a general strategy for deriving 7-bit encodings for texts in languages which use an alphabetic non-Roman script, like Arabic, Persian, Sanskrit and many other Indic scripts, and for which there is some transliteration convention using Roman letters with additional diacritical marks. These schemes, which we will call 'meta-transliteration...

: [symbolic markup, dictionary, T E X] We propose some simple design rules for encoding multi-lingual texts for flexibility of further automatic processing. Our main recommendation is to include the available descriptive information with the data, and to use symbolic markup conventions. We report on the successful application of these rules in the...

We present a T E X macro package for generating the arabic writing from a standardized ASCII input notation. It can handle partial or full vocalization, and generates automatically most of the common ligatures. There is limited support for Farsi, Urdu, and Pashto. ArabT E X is compatible with Plain T E X and also most L a T E X environments; arabic...

We propose some simple design rules for encoding multi-lingual texts for flexibility of further automatic processing. Our main recommendation is to include the available descriptive information with the data, and to use symbolic markup conventions. These rules have been applied successfully to the first steps of compiling a multi-lingual dictionary...

ArabT E X, a macro package for use with T E X, the powerful typesetting system designed by D. E. Knuth, and L a T E X, its extension by L. Lamport to handle structured documents, was initially designed to support Arabic quotations inside scholarly texts written in some Western language. A prototype was released in the fall of 1991, and since then t...

T E X, the powerful computer typesetting system by D.E. Knuth, and L a T E X, its extension by L. Lamport to handle structured documents, have both been adapted to handle passages of arabic script. Our new system, ArabT E X, will accept as input an ASCII encoding of the standard transliteration of Arabic, and will generate the arabic writing with a...

T E X has originally been designed with European languages in mind, and thus, whenever a paragraph contains text portions running in opposite directions, e.g. when combining English and Arabic or Hebrew in the same document, the task of line-breaking becomes rather complicated. For a clean solution, Knuth and MacKay have proposed an modification to...

58 pages ArabTeX is a package extending the capabilities of TeX/LaTeX to generate the Arabic writing from an ASCII transliteration for texts in several languages using the Arabic script. It consists of a TeX macro package and an Arabic font in several sizes, presently only available in the Naskhi style. ArabTeX will run with Plain TeX and also with...

16 pages WRG ist ein Parsergenerator, der aus einer EBNF-Beschreibung einer kontextfreien Grammatik einen "recursive-descent"-Parser in (Turbo-)Pascal erzeugt. Eine Syntaxfehlerbehandlung, die notfalls Teile der Eingabe überspringt, wird auf Wunsch automatisch generiert. Die Grammatik kann eine L-Attributierung tragen, die auf das Parameter-Konzept...

37 pages XPASCAL ist ein experimentelles Programmsystem zur Unterstützung exakter Berechnungen in arithmetischen Zahlkörpern, das derzeit in der Abteilung Betriebssoftware am Institut für Informatik der Universität Stuttgart entwickelt wird. Bisher haben daran neben dem Verfasser die Studenten G. Neusetzer, U. Schoppe, G. Wahl, Th. Schöbel und S. R...

Without Abstract

Rechenanlagen, die für Mehrprogrammbetrieb ausgelegt sind, verfügen im allgemeinen über Hardware-Speicherschutz und mindestens zwei Betriebsmodi („Prozeßmodus“ und „Systemmodus“) sowie spezielle Maschinenbefehle „Systemaufruf“ (supervisor call) und „Systemrückkehr“ zum kontrollierten Übergang zwischen den Modi. Damit läßt sich sicherstellen, daß Be...

Wenn es sinnvoll sein soll, Grundprogramme, etwa Betriebssysteme oder Sprachübersetzer, in einer höheren Programmiersprache zu schreiben, so muß gewährleistet sein, daß der Programmierer alle wesentlichen Maschineneigenschaften ausnutzen kann. Dabei sollen Sicherheit gegenüber Trivialfehlern und Bequemlichkeit bei der Formulierung des Algorithmus w...

this report. As a reminder, the command arabstat will cause a list of all commands that are presently valid inside Arabic text to appear in the T E X log file. 4

Ohne Zusammenfassung

D -70565 Stuttgart Zur Vorlesung Die Vorlesung " Einführung in die Informatik I" soll in die Begriffswelt der Informatik einführen und Grundlage sein für ein mehrsemestriges Studium der Informatik oder auch der Softwaretechnik, auch im Rahmen eines Nebenfaches. Außenstehende sind willkommen, mögen aber gelegentlich verwundert sein darüber, daß auch...

München, Naturwiss. F., Diss. v. 17. März 1967.