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.

Kontextfreie Grammatiken

Category: 

Eine Kontextfreie Grammatik ist eine formale Grammatik, bei der immer genau ein Nichtterminalsymbol auf eine beliebig lange Folge von Terminalen und Nichtterminalen abgeleitet wird. KFGs sind insbesondere im Zusammenhang von Programmiersprachen wichtig, da deren Syntax durch eine KFG beschrieben wird.

Subscribe to RSS - basics