2022-6-6 17:22 /
咪啪咪啪咪 —— 在一个故事里的咒语在另一个中就不灵了,这不好
;;;;;;;;;;;;;;;;;;;;;;;;;;;
(define actions (咪啪咪))
(define (咪啪 符号 语义)
(if (null? 符号) #t
(if (eval (car 符号) 语义) (咪啪与 (cdr 符号) 语义) #f)))
(define (咪啪或 符号 语义)
(if (null? 符号) #f
(if (eval (car 符号) 语义) #t (咪啪或 (cdr 符号) 语义))))
(define (咪啪与-2 符号 语义) ;;(if (a) (if (b) #t #f) #f)
(if (null? 符号) '#t
(make-if (car 符号) (咪啪与-2 (cdr 符号)) '#f)))
(define (咪啪或-2 符号 语义) ;;(if (a) #t (if (b) #t #f))
(if (null? 符号) '#f
(make-if (car 符号) '#t (咪啪或 (cdr 符号)))))
(咪啪咪! actions '咪啪与 (lambda (语义 . 符号) (咪啪与 符号 语义)))
(咪啪咪! actions '咪啪或 (lambda (语义 . 符号) (咪啪或 符号 语义)))
;;;;;;;;;;;;;;;;;;;;;;;;;;;
我也想码一个完整的图灵机 b38
;;;;;;;;;;;;;;;;;;;;;;;;;;;
(define actions (咪啪咪))
(define (咪啪 符号 语义)
(if (null? 符号) #t
(if (eval (car 符号) 语义) (咪啪与 (cdr 符号) 语义) #f)))
(define (咪啪或 符号 语义)
(if (null? 符号) #f
(if (eval (car 符号) 语义) #t (咪啪或 (cdr 符号) 语义))))
(define (咪啪与-2 符号 语义) ;;(if (a) (if (b) #t #f) #f)
(if (null? 符号) '#t
(make-if (car 符号) (咪啪与-2 (cdr 符号)) '#f)))
(define (咪啪或-2 符号 语义) ;;(if (a) #t (if (b) #t #f))
(if (null? 符号) '#f
(make-if (car 符号) '#t (咪啪或 (cdr 符号)))))
(咪啪咪! actions '咪啪与 (lambda (语义 . 符号) (咪啪与 符号 语义)))
(咪啪咪! actions '咪啪或 (lambda (语义 . 符号) (咪啪或 符号 语义)))
;;;;;;;;;;;;;;;;;;;;;;;;;;;
我也想码一个完整的图灵机 b38
#1 - 2022-6-6 17:37
你好F8 (整衣正色 往南三拜 焚琴煮鹤 挂印封金 ... ...)
#2 - 2022-6-7 11:46
阿猫✅官方认证♀ (我是阿猫,看轻小说)