Você pode utilizar o site a seguir para testar a conformidade dos cógidos com

a Gramática PEG do pseudocódigo:

http://pegjs.majda.cz/online

Programa para calcular a média das notas. 

DECLARA nota1,nota2,media:NUMERO

ESCREVA "Digite a nota1:"

LEIA nota1
ESCREVA "Digite a nota2:"
LEIA nota2

media = (nota1 + nota2)/2

ESCREVA "Sua média foi:"

ESCREVA media

SE media >= 7 ENTÃO

ESCREVA "APROVADO"
SE media < 4 ENTÃO
ESCREVA "REPROVADO"
SE media >= 4 E media < 7 ENTÃO
ESCREVA "Precisa fazer prova final"

O uso do SE. 

LEIA x
SE x < 20 ENTÃO
ESCREVA "o valor de X é menor que 20"

O uso do SE e SENÃO. 

LEIA nota
SE nota >= 7 ENTÃO
ESCREVA "Aprovado"
SENÃO
ESCREVA "Reprovado"

Mostrar que não há ambiguidade no SE..SE..SENÃO, através da árvore sintática

do seguinte código.

O último SENÃO está associado ao SE do x ou SE do y?

SE x>2 ENTÃO
SE y>3 ENTÃO
z = 4
SENÃO w = 5

Na realidade, se a árvore sintática foi construída, a ambiguidade já foi resolvida.

O uso do ENQUANTO. 

ENQUANTO nota != -1 FAÇA

LEIA nota
SE nota >= 7 ENTÃO
ESCREVA "Aprovado"
SENÃO
ESCREVA "Reprovado"
FIM_ENQUANTO

O uso do PARA. 

DECLARA numero,potencia,resultado:NUMERO

resultado = 1
PARA i=0 ATÉ potencia FAÇA
resultado = numero * resultado
FIM_PARA
Na próxima seção veremos como modificar a linguagem para que ela
seja Turing Completa.