Dzien dobry czy ktos moglby to zrobic w jezyku lisp ?
Dana jest rekursywna definicja funkcji Fun(x,y), gdzie SUCC(y)= y+1.
Fun(0,y)=y+2,
Fun(x+1,y)= SUCC(Fun(x, SUCC(y)))
Znajdź: Fun(1,4); Fun(3,2);
- Rejestracja:ponad 5 lat
- Ostatnio:ponad 5 lat
- Postów:6
Lisp - Rejestracja:ponad 5 lat
- Ostatnio:ponad 5 lat
- Postów:6
1
stivens napisał(a):
A co juz napisales?
Tak to treść zadania
- Rejestracja:ponad 8 lat
- Ostatnio:około 7 godzin
2
XD
Zapytalem o wklad wlasny. Pokaz co napisales i czego nie rozumiesz - pomozemy
Jak nie zaczales to moze: https://learnxinyminutes.com/docs/racket/
- Rejestracja:ponad 5 lat
- Ostatnio:ponad 5 lat
- Postów:6
0
stivens napisał(a):
XD
Zapytalem o wklad wlasny. Pokaz co napisales i czego nie rozumiesz - pomozemy
Jak nie zaczales to moze: https://learnxinyminutes.com/docs/racket/
wlasnie cos takiego zrobilem ale oczywiscie nie dziala to
(defun Fun (x y)
(if (= x 0) (+ y 2)
(if (Fun(+ x 1) (incf y))
)))
stivens
I jak, ogarnales juz? Czy napisac to nizej prefixowo?
KAMENSHIK
napisz
- Rejestracja:ponad 8 lat
- Ostatnio:około 7 godzin
4
sorry Racket to jedyny Lisp w jakim pisalem wiec bedziesz musial sobie przetlumaczyc swojego dialektu :P
- screenshot-20190825165935.png (98 KB) - ściągnięć: 195
edytowany 2x, ostatnio: stivens
bardzo dziękuje
@stivens: za proste to dla niego zrobiłeś, trzeba było tak: http://ix.io/1TBa
- Rejestracja:około 17 lat
- Ostatnio:13 dni
2
Proszę, bez większego problemu powinieneś to przetłumaczyć na dowolnego lispa-1:
((λ (func)
(printf "fun(1, 4) := ~s\n" (func 1 4))
(printf "fun(3, 2) := ~s\n" (func 3 2)))
((λ (succ Y) (Y (λ (f) (λ (x y) (if (= 0 x)
(+ y 2)
(succ (f (- x 1) (succ y))))))))
(λ (y) (+ y 1))
(λ (b) ((λ (f) (b (λ (x y) ((f f) x y))))
(λ (f) (b (λ (x y) ((f f) x y))))))))
edytowany 1x, ostatnio: hauleth
- Rejestracja:ponad 18 lat
- Ostatnio:11 dni
0
Po pierwsze oducz się tego "nie działa", konkrety: nie kompiluje się, wywala się czy co? Może zwraca Nil? Niestety nie mam pod ręką kompilatora, ale na pierwszy rzut oka, problemem jest ten drugi if. Operator if przykuje trzy parametry: warunek jesli-tak jeśli-nie. Jeśli ostatni nie jest podany zwróci Nil, jeśli warunek nie jest spełniony. Wobec tego, u ciebie najpierw jest sprawdzany właściwy warunek, jeśli spełniony, zwraca y+2, a jeśli nie... Zamiast po prostu zwrócić wartość, umieszczasz ja jako warunek dla kolejnego ifa bez kolejnych parametrów. To chyba się nie skompiluje... ?
Poza tym x+1 masz we wzorcu funkcji, tak więc w implementacji musisz odwrócić znak :)
Będzie jakoś tak:
(defun Fun (x y)
(if (= x 0) (+ y 2)
(+ (Fun (- x 1) (+ y 1)) 1)))
Zmieniłem też brzydkie incf. W tym miejscu jest bezzasadne (niepotrzebny skutek uboczny). Zmiennego stanu używaj tylko jeśli wiesz co robisz. To jest bagno.
Edit: zabrakło jeszcze +1
edytowany 7x, ostatnio: elwis