1 
(define fun4

 (lambda ( ls)

(cond ((null? ls ) #f)

 (cons (((eqv? 'a (car ls))) && ((eqv? 'b (cdr ls)))))

(else (pattern2 cdr ls)))))

在此它显示错误 - 过程应用程序：预期过程，给定：#t（无参数），我的代码中的错误是什么。逻辑没问题？？？

4

3 回答 3

2

您的解决方案中有很多很多错误。让我们看看每个条件有什么问题：

  1. 递归的基本情况（空列表）是错误的：空列表是递归的出口，这意味着列表被正确遍历并且遵循模式
  2. 缺少另一个基本情况：如果列表只有一个元素怎么办？
  3. 如果模式不成立，我们必须#f立即返回，并注意我们如何使用cadr访问第二个元素，因为&&在 Scheme 中不起作用，您必须使用and逻辑与操作。此外，您在每个测试周围都有不必要的错误括号（顺便说一句：那些是导致“预期过程”错误的那些）
  4. 只有当上述条件都不成立时，我们才会推进递归，并且我们通过使用 将两个元素进一步向下移动来实现cddr。此外，您必须调用fun4以推进递归，而不是pattern2

这是解决问题的正确方法，请注意上述问题是如何解决的：

(define fun4
  (lambda (ls)
    (cond ((null? ls) #t)                                       ; 1
          ((null? (cdr ls)) #f)                                 ; 2
          ((not (and (eq? 'a (car ls)) (eq? 'b (cadr ls)))) #f) ; 3
          (else (fun4 (cddr ls))))))                            ; 4

始终测试您的程序，以上将正常工作：

(fun4 '())
=> #t
(fun4 '(a))
=> #f
(fun4 '(a b))
=> #t
(fun4 '(a b a))
=> #f
(fun4 '(a b a b))
=> #t

最后一点，如果空列表不应该遵循该模式，则在调用之前检查它，如果初始输入列表为空则fun4返回。#f

于 2013-10-16T01:15:59.680 回答
0 
(define fun 
  (lambda (ls)
    (cond ((null? ls) #t)
          ((and (eq? (car ls) 'a)       ; the first item is a
                (list? (cdr ls))        ; the rest of the list
                (not (null? (cdr ls)))  ; which is not null
                (eq? (cadr ls) 'b)      ; and it starts with b
                (fun (cddr ls))) #t)    ; and the rest of the expression is 
          (else #f))))                  ; also in the A B format

跑步：

> (fun '(a b a b))
#t
> (fun '(a b a))
#f
> (fun '(a b))
#t
> (fun '(a))
#f
> (fun '())
#t
>
于 2013-10-16T01:56:13.993 回答
0

如此多的车轮改造。只需使用 SRFI 1！

(require srfi/1)
(define (fun4 lst)
  (every eq? lst (circular-list 'a 'b)))

(a b a)（这是在应该有效而不是无效的假设下运行的。）

于 2013-10-17T19:43:14.740 回答