Frage zu Skript%3A%0A%0A------------%0Apda%3A%0D%0A%28s0%2C a%2C a%2C %29 %7C %28s0%2C b%2C a%2C %29 %3D%3E %28s0%2C aa%29%3B%0D%0A%28s0%2C a%2C k%29 %7C %28s0%2C b%2C k%29 %3D%3E %28s0%2C ak%29%3B%0D%0A%28s0%2C c%2C a%29 %7C %28s0%2C d%2C a%29 %7C %28s1%2C c%2C a%29 %7C %28s1%2C d%2C a%29 %3D%3E %28s1%2C lambda%29%3B%0D%0A--declarations--%0D%0Ae%3D%23n%23%3B%0D%0As0%3Ds0%3B%0D%0AF%3Ds0%2Cs1%3B%0D%0AkSymb%3Dk%3B%0D%0Ainputs%3Dacc%3B%0D%0AsimSteps%3D3%0D%0A--declarations-end--%0A------------