它是真正的现有编程语言吗？ （代码的名称是什么）

Question

我读过一本关于编译器的编程书。

在lexer，parser等编译器中有一种东西......

当我阅读一个章节＆＃34;分析语法＆＃34;时，有一个例子说明源代码由我不知道的语言组成。

procedure pa;
begin
if nextsymbol = qa then get_nextsymbol else error
end;

procedure pb;
begin
if nextsymbol = qb then get_nextsymbol else error
end;

procedure PS;
begin
if nextsymbol = qa then begin pa; PA: pb end; else error
end

procedure PA;
begin
case nextsymbol of qa : begin pa; PS end; qb : pb; otherwise : error
end
end

begin
get_nextsymbol;
PS;
if nextsymbol = q$ then accept else error
end

这个语言名称是什么以及如何运行或编译以获得输出？

有没有人知道这种语言？