Zur Kontextanalyse einer algebraischen Programmiersprache