1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:

Algo(Satzform X) {

  Falls X kein Nichtterminalsymbol hat:
     Gib X zurück
  Sonst
     X = a1a2..akAY // ai sind Terminalsymbole, A ist das erste Nichtterminalsymbol und Y ist Satzform
     
     Für jede Produktion der Form A --> Z tue: // Z ist Satzform
        Gib Algo(a1a2...akZY) zurück.

}