)(онтекстно-свободный синтаксис позволяет их описать наи-1учшим образом и очень полезен при построении трансляторов для этих языков. Проверка некоторых контекстных зависимостей может легко включаться в общие схемы, примером чему служит использование таблицы идентификаторов в рассматриваемой программе.

Перед тем как строить отдельные процедуры грамматиче-ского разбора, соответствующие отдельным синтаксическим ♦-рафам, полезно установить, как эти графы взаимосвязаны. Для этого строится так называемая диаграмма зависимости; она изображает связи между графами, т. е. для каждого графа G указывает все такие графы Gi ... G , с помощью

program PLO (input, output);

[транслятор с ПЛ/G, только синтаксический анализ] label 99;

const ЙОГИ = 11; [число зарезервированных слов] к txmax 100; [длина таблицы имен] Щ птах ь= 14; [максимальное число цифр в числах] В о/ >= 10; [длина имен]

type symbol =.

(nul, ident, number, plus, minus, times, slash, oddsym, eql, neq, Iss, leq, gtr, geq, Iparen, rparen, comma, semicolon, period, becomes, beginsym, endsym, ifsym, tfiensym,

whilesym, dosym , callsym, constsym., rarsym, procsym); alfa = packed array [1.. al] of char; object = (constant, variable, procedure); ch: char; [последний прочитанный .входной символ]

sym: symbol; [последний прочитанный символ языка] id: alfa; [последнее прочитанное имя]

пит: integer; [последнее прочитанное число] сс: integer; [счетчик символов]

П: integer; [длина строки]

кк: integer;

line:, array [1.. 81] of char; a: alfa;

word: array [1.. norw] of а^а', wsym: array [1.. norw] of symbol; ssym: ansy [char] of symbol; table: array [0.. txmax] of record ййте: alfa; kind: object

end;

ргосбйиге error Qi. integer),

Ы^п writeln { :cc, f, n:2); goto 99

end [error]

procedure ge/im; var t,JJc: integer;

procedure getch; begin if cc = then begin if eof (input) then

begin write ( PROGRAM INCOMPLETE); goto 99

end ;

Oj cc := 0; write( ); while -ieoln(inpUt) do

begin := +1; read(ch); write(ch); Jineyi] ;== ch

end;

writeln; II := ll+l;read(line[ll]) end ;

C(? I B cc+l; ch I- line[cc}

ead ;

begin [getsym] while СЙ = do getch;

if c/!in[A..Z]then

begin [имя, или зарезервированное слово) . к ;= 0{ repeat if А: < a/thea

begin/; := А:+1; а[Л] := ch end ;

until -.(с/г in [A.. Z, 0.. 9]); iSkkk then kk k else

repeat о[А:А:] := ; :=

until kk k; id a; i := 1; / := norw; repeats (i+j)Ai\2;

if id <, word[k] then J 1}

if i(/ then /:=

until I > j;

if/-1 > jthen;/?! ;== elsejyw i = ident

end else

if с/г in [0..9] then

begin [число] к 0; шда := 0; sym number; repeat пит :-= 10*йг и + (ord(ch)-ord(0))i

к : = fc+1; gefc until -n(ch in [0.. 9]); if fc > nmax then ewr (30)

end else

if ch = :theH begin getch;

if ch = then

begin sym : = becomes; getch

end else sym := ml; end else

beginsym := ssym[ch]; getch end

end [getsym] ;

procedure block (tx: integer); procedure enter (k: object); begin [запись объекта в таблицу]

tx := tx + 1;

with tabltx] do

begin name id; kind := k;

end end{ewte-} ;

function position (id: alfa); integer;

var i: integer; begin [поиск имени id в таблице]

table[0].name := id; i := tx;

while table[i].name ф id do г := i-l;

position i end [position] ;

procedure constdeclaration; beginsym - ident then bin getsym;

ifsym egltben begin getsym;

if sym = number then

begin enter (constant); getsym end else error (2) end else error (3) end else error (4) end [constdeclaration] ;

procedure rardeclaration; begin if sym = /йен? then

begin enter (variable); getsym

end else error (4) end [vardeclaration] ;