pascal5.fxb

编译原理-文法等价转换

. ; else end until procedure function begin 
ε 标识符 goto begin if repeat while for with 无正负号整数 case ; end until 
end until 
; 
end until 
end until 
无正负号整数 
ε 标识符 goto begin if repeat while for with case ; else end until 
; else end until 
ε 标识符 goto ; else end until 
begin if repeat while for with case 
; else end until 
ε ; else end until 
标识符 
标识符 
goto 
; else end until 
; else end until 
; else end until 
标识符 
; else end until 
标识符 
; else end until 
goto 
; else end until 
begin 
if case 
repeat while for 
with 
; else end until 
if 
case 
; else end until 
if 
; else end until 
; 
; else end until 
; else end until 
+ - ( not 标识符 [ 字符串 nil 无正负号整数 无正负号实数 
of 
标识符 字符串 无正负号整数 无正负号实数 + - 
; else end until 
标识符 字符串 无正负号整数 无正负号实数 + - 
: 
标识符 字符串 无正负号整数 无正负号实数 + - 
: 
: 
标识符 字符串 无正负号整数 无正负号实数 + - 
标识符 字符串 无正负号整数 无正负号实数 + - , : 
repeat 
while 
for 
; else end until 
repeat 
; else end until 
while 
; else end until 
for 
; else end until 
to 
downto 
+ - ( not 标识符 [ 字符串 nil 无正负号整数 无正负号实数 
标识符 
:= 
+ - ( not 标识符 [ 字符串 nil 无正负号整数 无正负号实数 
to downto 
+ - ( not 标识符 [ 字符串 nil 无正负号整数 无正负号实数 
do 
with 
; else end until 
标识符 
do 
, 
do 
do 
procedure 
function 
begin 
begin 
procedure 
procedure function begin 
label const type var procedure function 
forward 
procedure function begin 
procedure 
; ) 
标识符 
( , ) ; else end until 
procedure 

function 
procedure function begin 
label const type var procedure function 
forward 
procedure function begin 
function 
; ) 
标识符 
( * / div mod and + - or = <> < > <= >= ) .. , ] ; else end until of to downto do then 
标识符 
标识符 
; ) 
标识符 
; ) 
label const type var procedure function 
procedure function begin 
function 

( 
: ; ) 
; 
) 
) 
标识符 
var 
procedure 
function 
标识符 var 
; ) 
标识符 
; ) 
var 
; ) 
procedure 
; ) 
function 
; ) 
标识符 
var 
; ) 
标识符 
; ) 
var 
; ) 
标识符 
; ] 
array 
; ) 
; 
] 
] 
标识符 
array 
; ) 
无正负号整数 无正负号实数 
字符串 
标识符 
nil 
* / div mod and + - or = <> < > <= >= ) .. , ] ; else end until of to downto do then 
无正负号整数 
, ; : else end until 
+ - ( not 标识符 [ 字符串 nil 无正负号整数 无正负号实数 
then do ; else end until 
else 
; else end until 
; else end until 
case 
; else end until 
label const type var procedure function 
procedure function begin 
[First Fellow 集合]
  program
  $
  program
  ;
  label  const  type  var  procedure  function
  .
  标识符
  :  )
  ,  ε
  :  )
  无正负号整数  无正负号实数  +  -
  ..  ;  ,  ]  end  )  标识符  字符串  无正负号整数  无正负号实数  +  -  :
  无正负号整数  无正负号实数
  ..  ;  ,  ]  end  )  标识符  字符串  无正负号整数  无正负号实数  +  -  :  *  /  div  mod  and  or  =  <>  <  >  <=  >=  else  until  of  to  downto  do  then
  +  -
  无正负号整数  无正负号实数  (  not  标识符  [  字符串  nil
  label  const  type  var  procedure  function
  .  procedure  function  begin
  label  ε
  const  type  var  procedure  function  begin
  ,  ε
  ;
  const  ε
  type  var  procedure  function  begin
  ε  标识符
  type  var  procedure  function  begin
  标识符
  ;
  标识符  字符串  无正负号整数  无正负号实数  +  -
  ..  ;  ,  ]  end  )  标识符  字符串  无正负号整数  无正负号实数  +  -  :
  type  ε
  var  procedure  function  begin
  ε  标识符
  var  procedure  function  begin
  标识符
  ;
  标识符  (  字符串  无正负号整数  无正负号实数  +  -  array  record  set  file  ^
  ;  end  )
  标识符
  ;  ,  ]  end  )  of
  (  标识符  字符串  无正负号整数  无正负号实数  +  -  array  record  set  file  ^
  ;  end  )
  var  ε
  procedure  function  begin
  ε  标识符
  procedure  function  begin
  标识符
  ;
  标识符  (  字符串  无正负号整数  无正负号实数  +  -

  标识符  (  字符串  无正负号整数  无正负号实数  +  -
  ,  ]  ;  end  )
  标识符
  ,  ]  of  ;  end  )
  (  标识符  字符串  无正负号整数  无正负号实数  +  -
  ;  ,  ]  end  )
  (
  ;  ,  ]  end  )
  标识符  字符串  无正负号整数  无正负号实数  +  -
  ;  ,  ]  end  )
  标识符

  标识符  array  record  set  file

  标识符

  array  record  set  file
  ;  end  )
  array
  ;  end  )
  ,  ε
  ]
  标识符  (  字符串  无正负号整数  无正负号实数  +  -
  ,  ]
  标识符  (  字符串  无正负号整数  无正负号实数  +  -  array  record  set  file  ^
  ;  end  )
  record
  ;  end  )
  标识符  case
  end  )
  ;  ε
  end  )
  ε  标识符
  ;  end  )
  ;  ε
  ;  end  )
  标识符
  ;  end  )
  case
  end  )
  ;  ε
  end  )
  标识符
  of
  标识符  字符串  无正负号整数  无正负号实数  +  -
  ;  end  )
  标识符
  :
  标识符
  of
  set
  ;  end  )
  标识符  (  字符串  无正负号整数  无正负号实数  +  -
  ;  end  )
  file
  ;  end  )
  标识符  ^

  标识符
  ;  )
  ^
  ;  end  )
  标识符
  ;  end  )
  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  ε  =  <>  <  >  <=  >=
  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  =  <>  <  >  <=  >=
  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  =  <>  <  >  <=  >=  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  ε  +  -  or
  =  <>  <  >  <=  >=  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  +  -  or
  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  +  -  or  =  <>  <  >  <=  >=  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  ε  *  /  div  mod  and
  +  -  or  =  <>  <  >  <=  >=  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  *  /  div  mod  and
  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  标识符
  :=  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  [  ,  ]  .  ^  ;  else  end  until  of  to  downto  do  then
  标识符
  :=  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  [  ,  ]  .  ^  ;  else  end  until  of  to  downto  do  then
  标识符
  :=  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  [  ,  ]  .  ^  ;  else  end  until  of  to  downto  do  then
  标识符
  :=  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  [  ,  ]  .  ^  ;  else  end  until  of  to  downto  do  then
  标识符
  :=  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  [  ,  ]  .  ^  ;  else  end  until  of  to  downto  do  then
  ,  ε
  ]
  标识符
  [
  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  ,  ]
  标识符
  :=  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  [  ,  ]  .  ^  ;  else  end  until  of  to  downto  do  then
  标识符
  .  ,  do
  标识符
  :=  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  [  ,  ]  .  ^  ;  else  end  until  of  to  downto  do  then
  标识符
  :=  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  [  ,  ]  .  ^  ;  else  end  until  of  to  downto  do  then
  标识符
  :=  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  [  ,  ]  .  ^  ;  else  end  until  of  to  downto  do  then
  标识符
  ^
  标识符
  :=  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  [  ,  ]  .  ^  ;  else  end  until  of  to  downto  do  then
  标识符
  ^
  标识符
  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  标识符
  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  (  ε
  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  ,  ε
  )
  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  ,  )
  [
  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  ε  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  ]
  ,  ε
  ]
  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  ,  ]
  ..  ε
  ,  ]
  begin
  .  procedure  function  begin
  begin
  .  ;  else  end  until  procedure  function  begin
  标识符  goto  begin  if  repeat  while  for  with  无正负号整数  case
  end  until
  ;  ε
  end  until
  ε  标识符  goto  begin  if  repeat  while  for  with  无正负号整数  case
  ;  else  end  until
  ε  标识符  goto  begin  if  repeat  while  for  with  case
  ;  else  end  until
  ε  标识符  goto
  ;  else  end  until
  ε
  ;  else  end  until
  标识符
  ;  else  end  until
  标识符
  ;  else  end  until
  goto
  ;  else  end  until
  begin  if  repeat  while  for  with  case
  ;  else  end  until
  if  case
  ;  else  end  until
  if
  ;  else  end  until
  ;  ε
  ;  else  end  until
  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  of
  标识符  字符串  无正负号整数  无正负号实数  +  -
  ;  else  end  until
  标识符  字符串  无正负号整数  无正负号实数  +  -
  :
  ε  标识符  字符串  无正负号整数  无正负号实数  +  -
  :
  标识符  字符串  无正负号整数  无正负号实数  +  -
  标识符  字符串  无正负号整数  无正负号实数  +  -  ,  :
  repeat  while  for
  ;  else  end  until
  repeat
  ;  else  end  until
  while
  ;  else  end  until
  for
  ;  else  end  until
  to  downto
  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  标识符
  :=
  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  to  downto
  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  do
  with
  ;  else  end  until
  标识符
  do
  ,  ε
  do
  ε  procedure  function
  begin
  procedure
  procedure  function  begin
  forward  label  const  type  var  procedure  function
  procedure  function  begin
  procedure
  ;  )
  标识符
  (  ,  )  ;  else  end  until
  procedure

  function
  procedure  function  begin
  forward  label  const  type  var  procedure  function
  procedure  function  begin
  function
  ;  )
  标识符
  (  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  标识符
  ;  )
  标识符
  ;  )
  label  const  type  var  procedure  function
  procedure  function  begin
  function

  (
  :  ;  )
  ;  ε
  )
  标识符  var  procedure  function
  ;  )
  标识符
  ;  )
  var
  ;  )
  procedure
  ;  )
  function
  ;  )
  标识符  var
  ;  )
  标识符
  ;  )
  var
  ;  )
  标识符
  ;  ]
  array
  ;  )
  ;  ε
  ]
  标识符  array
  ;  )
  字符串  nil  无正负号整数  无正负号实数  标识符
  *  /  div  mod  and  +  -  or  =  <>  <  >  <=  >=  )  ..  ,  ]  ;  else  end  until  of  to  downto  do  then
  无正负号整数
  ,  ;  :  else  end  until
  +  -  (  not  标识符  [  字符串  nil  无正负号整数  无正负号实数
  then  do  ;  else  end  until
  else  ε
  ;  else  end  until
  case
  ;  else  end  until
  label  const  type  var  procedure  function
  procedure  function  begin