The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
A context-free parser system based on DeRemer’s SLR(k)-method is described. It consists of (i) a parser generator constructing for any given context-free grammar SLR(k)control tables as far as practicable and (ii) a parser analysing sentences from left to right with occasional look-ahead. Emphasized is, by presenting some impressive examples, the treatment of nonLR(k)...
In the theory of automatic parser generation for context free grammars, one parsing method has an outstanding position. Parsers based on this method, which has become known as no backup recursive descent parsing, may be generated from the grammar by a simple transcription process. This gives rise to the interpretation of grammars as programs with a simple binary control structure. If regular expressions...
From a given context free grammar, it is possible in a variety of ways to generate automatically a program that acts as a recogniser for the language of that grammar. Under a number of conditions, depending on the particular technique used, this program is an “exact recogniser” of that language, accepting only sentences of the language and rejecting all other strings of symbols.
This paper deals with the application of the notion of semantic attributes (as developped by D.E. KNUTH [1]) to generation of optimized code. Taking local elimination of common sub-expressions as a starting point, it is demonstrated by means of an example that meta-compilation by attributes allows semantic formalization of classical optimization algorithms. A redundancy attribute, R+, is defined to...
Ein übersetzergenerierendes System sollte seinen Benutzern formale Modelle anbieten, mit denen die Syntax und die Semantik von Programmiersprachen beschrieben werden können. Zur Beschreibung der Syntax haben sich BNF und verwandte Beschreibungsverfahren schon seit vielen Jahren durchgesetzt. Der Fluß der semantischen Information läßt sich bequem durch Knuth’s Attribute (Knuth 68) bzw. Koster’s Affixe...
Zur globalen maschinen- und sprachunabhängigen Programmoptimierung werden bekanntlich im wesentlichen Algorithmen betrachtet, die ein Programm von seinen syntaktischen Gegebenheiten her, wie etwa dem (möglichen) Datenfluß und der Schleifenstruktur, bezüglich vorgegebener Kriterien verbessern. Es wird dabei versucht, für ein Programm möglichst optimalen Objektkode zu erstellen, wie etwa in [1], [2],...
Michael Flynn [1] proposed a classification scheme consisting of the following components: SI Single instruction stream MI Multi instruction stream SD Single data stream MD Multi data stream
Without adequate theoretical concepts, performance measurement is a sorcerer’s art. Until information energy can be measured, we can never compare the effectiveness with which different computer architectures or programs process information.3 Indeed, for all but the simplest information processing tasks, neither internal speeds, nor simulation, nor benchmarks reliably indicate the performance of the...
In Realzeitsystemen tritt sowohl in der Peripherie als auch in der Zentraleinheit häufig das Problem auf, daß mehrere Anforderungen aus verschiedenen Geräten bzw. Warteschlangen gleichzeitig dasselbe Betriebsmittel in Anspruch nehmen wollen. Als Beispiele seien genannt: a) der von Teilnehmerstationen erzeugte Verkehr in Teilnehmerrechensystemen, b) die aus der Peripherie kommenden Meldungen bei der...
Viele Erweiterungen kontextfreier Grammatiken entstanden in letzter Zeit dadurch, daß man Kontrollmechanismen definierte, welche die Anwendung der Regeln steuern. Man versieht dabei jede Regel einer kontextfreien Grammatik (Abk.: cfG) mit Namen und ordnet dann jeder Ableitung ein “Kontrollwort” zu, indem man die Namen der verwendeten Regeln hintereinanderschreibt. Über der Namenmenge definiert man...
Recently Lindenmayer systems have become a field of extensive study in theoretical informatics [1,2]. In such systems all symbols within a word have to be rewritten simultaneously. In this paper some special context-independent Lindenmayer systems (OL-systems) will be considered. They have to be placed between context-free SemiThue systems and OL-systems. It is assumed that the basic terminology of...
Nach der ursprünglichen Definition von ALGOL 68 ist die ‚mode-declaration‘ mode x = ref struct (x p, int w, x q) nur dann erlaubt, wenn man eine terminale Produktion xo der Metavariablen MODE finden kann, die der Gleichung x = reference-to-structured-with-x-field-letter-p-and-integral-field-letter-w-and-x-field-letter-q oder kurz x = rxpxq genügt (vgl. {1,2}). Es folgt, daß xo auch die Gleichungen...
Variants of the λ-calculus together with D. Scott’s lattice-theoretic models have turned out to be a basic tool for describing the semantics of programming languages (e.g. [LANDIN 66], [REYNOLDS 72, 74], [SCOTT 74], [SCOTT-STRACHEY 71]). Based upon these approaches, in LCF [WEYHRAUCH-MILNER 72] a typed λ-calculus has been imbedded into a type theory providing a system in which properties about programs...
Das Gebiet des automatischen Beweisens ist etwa seit 1965 zusehends unübersichtlicher geworden, da von Jahr zu Jahr neue Beweisprozeduren auftauchen, von denen die Autoren meistens behaupten, sie seien effizienter als die bis dahin bekannten Verfahren. Zur Begründung werden zwar nicht mehr die CPU-Zeiten von ein paar zufälligen Testbeispielen herangezogen, doch sehr viel überzeugender sind die Argumente...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.