spieleprogrammierer.de - Forum und Wiki zur Spieleprogrammierung und Spieleentwicklung

Quellcode

Program einfache_Syntaxpruefung;

{
'nonterm' S(->N:Integer)
  S(->1)   : ab
  S(->N+1) : aS(->N)b
}

Function S (txt : String; var n : Integer) : Boolean;
Var p : Byte;
Begin
  Result := FALSE;
  if txt = 'ab' then Begin            // S(->1)   : ab
    n := 1;
    Result := TRUE;
  end else Begin                      // S(->N+1) : aS(->N)b
    p := Pos ('ab', txt);
    if p > 0 then Begin
      Delete (txt, p, 2);
      Result := S(txt, n);
      n := n+1;
    end else Result := FALSE;
  end;
end;



Var wort : String;
    i    : Byte;
    n    : Integer;

Begin
  WriteLn ('Syntaxpruefung fuer Gramatik "ab"');
  WriteLn ('nonterm S(->N:Integer)           ');
  WriteLn ('  S(->1)   : ab                  ');
  WriteLn ('  S(->N+1) : aS(->N)b            ');
  WriteLn ('---------------------------------');
  WriteLn ('Gebe "exit" ein zum Beenden.     ');
  WriteLn ('==========================================================');
  WriteLn;
  Repeat
    Write('>> ');ReadLn (wort);
    if UpCase(wort) = 'EXIT' then Break;
    if S(Wort, n) then Begin
      WriteLn ('Erfolgreich: n=', n);
    end else Begin
      WriteLn ('Syntaxfehler "',Wort,'"');
      WriteLn ('Syntax: ');
      WriteLn ('  a^nb^n');
      WriteLn ('  Bespiele: ab, aabb, aaabbb, ...');
    end;
    WriteLn ('--------------------------------------------------------');
  Until FALSE;
end.


{
                               aaabbb
                                  |
                              'a' S 'b'     // aabb   R02: S->aSb
                                  |
                              'a' S 'b'     //  ab    R02: S->aSb
                                  |                         
                                 'ab'       //        R01: S->ab
}