Gibt es eine Alternative für Flex / Bison, die auf 8-Bit-Embedded-Systemen verwendet werden kann?

Wenn Sie möchten, eine einfache Möglichkeit, um code-Parser, oder Sie sind dicht am Platz, Sie sollten hand-code eine rekursive Abstieg parser; diese sind im wesentlichen LL(1) - Parser. Dies ist besonders wirksam für Sprachen, die als "einfach" als Basic. (Ich habe mehrere von diesen zurück in die 70er Jahre!). Die gute Nachricht ist, diese enthält keinen code für die Bibliothek; genau das, was Sie schreiben.

Sind Sie ziemlich einfach zu code, wenn Sie bereits eine Grammatik.
Erste, Sie haben, um loszuwerden, von Links-rekursive Regeln (z.B., X = X-Y ).
Dies ist in der Regel Recht einfach zu tun, also lasse ich es als eine übung.
(Sie müssen nicht, dies zu tun für die Liste-Regeln bilden;
siehe Diskussion unten).

Dann, wenn Sie die BNF-Regel der form:

 X = A B C ;

erstellen Sie eine Unterroutine für jedes Element in der Regel (X, A, B, C), die einen booleschen Wert zurückgibt
zu sagen: "ich sah die entsprechenden syntax-Konstrukt". Für X, code:

subroutine X()
     if ~(A()) return false;
     if ~(B()) { error(); return false; }
     if ~(C()) { error(); return false; }
     //insert semantic action here: generate code, do the work, ....
     return true;
end X;

Ähnlich für A, B, C.

Wenn ein token ist ein terminal, code schreiben, der prüft,
der input-stream für die Zeichenkette, die macht das terminal.
E. g, für eine Reihe, überprüfen Sie, dass input-stream enthält Ziffern und Voraus
input stream, cursor Vergangenheit die Ziffern. Dies ist besonders einfach, wenn Sie
analysieren, aus einem Puffer (für BASIC, neigen Sie dazu, um eine Zeile zu Zeit)
durch einfach vorwärts nicht voran, ein buffer scan-Zeiger.
Dieser code ist im wesentlichen der lexer Teil des parsers.

Wenn Ihr BNF-Regel ist rekursiv... Mach dir keine sorgen. Nur code der rekursiven Aufrufs.
Diese Griffe Grammatik-Regeln wie:

T  =  '('  T  ')' ;

Dieser kann codiert werden als:

subroutine T()
     if ~(left_paren()) return false;
     if ~(T()) { error(); return false; }
     if ~(right_paren()) { error(); return false; }
     //insert semantic action here: generate code, do the work, ....
     return true;
end T;

Wenn Sie eine BNF-Regel mit einer alternative:

 P = Q | R ;

dann code P mit alternativen Möglichkeiten:

subroutine P()
    if ~(Q())
        {if ~(R()) return false;
         return true;
        }
    return true;
end P;

Manchmal werden Sie stoßen Liste bilden Regeln.
Diese sind in der Regel Links-rekursiv, und dieser Fall ist einfach in der Handhabung.
Beispiel:

L  =  A |  L A ;

Können Sie code dieser:

subroutine L()
    if ~(A()) then return false;
    while (A()) do //loop
    return true;
end L;

Können Sie code mehrere hundert Grammatik-Regeln in ein oder zwei Tage auf diese Weise.
Es gibt noch mehr details zu füllen, aber die Grundlagen sollten hier mehr als genug.

Wenn Sie wirklich fest auf Raum, können Sie erstellen eine virtuelle Maschine implementiert
diese Ideen. Das ist, was ich damals in den 70ern, wenn 8K 16-bit-Worte, das war das, was Sie bekommen konnte.

Wenn Sie nicht wollen, um code von hand, können Sie automatisieren es mit einem metacompiler (Meta-II) , produziert im wesentlichen die gleiche Sache. Diese sind mind-blowing technische Spaß und dauert wirklich ganze Arbeit tun, auch für große Grammatiken.

August 2014:

Bekomme ich viele Anfragen für "wie Baue ich einen AST mit einem parser". Für details zu dieser, die im wesentlichen baut diese Antwort, siehe meine andere Antwort SO https://stackoverflow.com/a/25106688/120163

Juli 2015:

Gibt es viele Leute was schreiben wollen, eine einfache Ausdrucksauswertung. Sie können dies tun, indem Sie die gleichen Arten von Dingen, die "AST-generator" - link oben deutet; nur rechnen, statt Knoten im Baum.
Hier ist eine Ausdrucksauswertung auf diese Weise getan.

InformationsquelleAutor der Antwort Ira Baxter

GCC kann cross-kompilieren, um eine Vielzahl von Plattformen, aber Sie flex und bison auf der Plattform führen Sie den compiler auf. Sie Spucke C-code, den der compiler erstellt dann. Testen, um zu sehen, wie groß die resultierende ausführbare Datei wirklich ist. Beachten Sie, dass Sie Laufzeit-Bibliotheken (libfl.a etc.) Sie haben auch, um cross-kompilieren zu Ihrem Ziel.

InformationsquelleAutor der Antwort ConcernedOfTunbridgeWells

Anstatt neu zu erfinden das Rad, werfen Sie einen Blick auf LUA: http://www.lua.org. Es ist eine interpretierende Sprache soll eingebettet werden in andere software und verwendet auf kleine Systeme, wie embedded-Systeme. Built-in-prozedurale syntax-parsing-Baum -, Kontroll-Logik, Mathematik und variable Unterstützung — keine Notwendigkeit, neu zu erfinden, etwas, dass Tausende andere haben das bereits ausgetestet und verwendet. Und es ist erweiterbar, was bedeutet, können Sie die Grammatik, indem Sie Ihre eigenen C-Funktionen.

InformationsquelleAutor der Antwort Scott Hall