basics

Compiler Entwicklung mit Coco/R

Category: 

Coco/R ist ein Compiler Generator, welcher eine attributierte Grammatik als Eingabe erhält und daraus einen Scanner und Parser erzeugt. Der Scanner arbeitet als deterministischer, endlicher Automat und zerlegt die Eingabe in Tokens. Der Parser ist ein sogenannter recursive descent parser.

Compiler Grundlagen

Category: 

Ein Compiler übersetzt den Code einer Sprache in den einer anderen Sprache. Klassische Compiler übersetzen dabei den Programmcode in Maschinencode, welcher direkt vom Computer ausgeführt werden kann. Manche Sprachen, wie z.B. Java und C# erzeugen Bytecode, welcher von einer virtuellen Maschine ausgeführt wird oder auch beim ersten starten in Maschinencode übersetzt wird.

Prädikatenlogik

Category: 

Die Prädikatenlogik (auch Quantorenlogik) ist ein Teilgebiet der Logik und erweitert die Aussagenlogik. Zentrales Element ist dabei das Prädikat, welches für übergebene Argumente einen Wahrheitswert liefert.

Aussagenlogik

Category: 

Die Aussagenlogik ist ein Teilgebiet der Logik, welches sich mit Aussagen und deren Verknüpfungen befasst. Die bekanntesten dieser Verknüpfungen sind selbstverständlich "und", sowie "oder". In der klassischen Aussagenlogik wird jede Aussage entweder zu "wahr" oder "falsch" ausgewertet ("true" oder "false" bzw. "1" oder "0").

Mengenlehre

Category: 

Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt. Sie ist für viele Bereiche in der Mathematik und Informatik von großer Bedeutung. Im Bereich der Informatik ist es z.B. für die Definition von kontextfreien Grammatiken wichtig.

Context Free Grammars

Category: 

A context-free grammar (cfg) is a formal grammar in which exactly one nonterminal symbol is derived on an arbitrarily long sequence of other symbols. They are important for programming languages, because their syntax is described by a cfg.

Definition

A context-free grammar $G$ is a 4-tuple $(N, T, P, S)$ with the following features:

Subscribe to RSS - basics