Skip to content

Implementation of a logical programming language including a tokenizer, LL(1)-parser, translator, evaluator and an execution CLI

License

Notifications You must be signed in to change notification settings

suesslin/programmiersprache-l

Repository files navigation

Programmiersprache L

Beschreibung

Ziel ist es die im Skript »Übersetzerbau – Abstrakte Maschinen« von den Autoren François Bry und Norbert Einsinger beschriebene Programmiersprache L umzusetzen. Dazu sind unter anderem auch ein Tokenizer und Parser notwendig. Dieses Projekt wird im Rahmen des Praktikums »Implementierung von Programmiersprachen« als Bachelormodul der Informatik an der LMU München umgesetzt.

Abstrakte Maschine: MiniL, GroundL, ML

Wir haben mit MiniL angefangen und sind bis zu ML gekommen. Auf diesem Weg wurden »alte« Implementierungen gestrichen. Dies betrifft beispielsweise auch die explizite Behandlung der Negation durch Scheitern.

In der Git-Historie kann jedoch nach Implementationen geschaut werden, sollten diese doch relevant sein. Aufgrund der Einfachheit haben wir überwiegend darauf verzichtet, veraltete Implementationen als »dead code« zu behalten.

Benotung

Nach der abschließenden Präsentation am 13.09.2021 erhielten alle Gruppenmitglieder die Note 1,0 („sehr gut“).

Genutzte Technologien

Gruppenmitglieder

About

Implementation of a logical programming language including a tokenizer, LL(1)-parser, translator, evaluator and an execution CLI

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published