felix
/
slime
1
0
포크 0
코드 이슈 0 풀 리퀘스트 0 릴리즈 0 위키 활동
25개 이상의 토픽을 선택하실 수 없습니다. Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
213 커밋
1 브렌치
21 MiB
 
 
 
 
 
 
트리: 76dd4d6482
브랜치 태그
${ item.name }
${ searchTerm } 브랜치 생성
from '76dd4d6482'
${ noResults }
slime/bin/tests/automata.slime

47 lines
1.3 KiB
Raw Blame 히스토리 

  1. (import "sets.slime")

  2. (import "automata.slime")

  3. 

  4. ;; (make-delta

  5. ;;  ("q0" :: "M" -> "q1")

  6. ;;  ("q1" :: "A" -> "q0"

  7. ;;           "G" -> "q1")

  8. ;;  ("q2" :: "E" -> "q0"))

  9. 

  10. (define (delta q s)

  11.   (cond (s (case q

  12.              (("q0") (case s (("M") "q1")))

  13.              (("q1") (case s (("A") "q0")

  14.                              (("G") "q2")))

  15.              (("q2") (case s (("E") "q0")))))

  16.         (else q)))

  17. 

  18. (define aut (automata::make-dfa (set::make "q0" "q1" "q2")

  19.                                 (set::make "M" "A" "G" "E")

  20.                                 delta

  21.                                 "q0"

  22.                                 (set::make "q0")))

  23. 

  24. (let ((state (aut ())))

  25.   (assert (= (car state)        :accept))

  26.   (assert (= (car (cdr state)) "q0")))

  27. 

  28. (let ((state (aut "M")))

  29.   (assert (= (car state)        :fail))

  30.   (assert (= (car (cdr state)) "q1")))

  31. 

  32. (let ((state (aut "A")))

  33.   (assert (= (car state)        :accept))

  34.   (assert (= (car (cdr state)) "q0")))

  35. 

  36. (let ((state (aut "M")))

  37.   (assert (= (car state)        :fail))

  38.   (assert (= (car (cdr state)) "q1")))

  39. 

  40. (let ((state (aut "G")))

  41.   (assert (= (car state)        :fail))

  42.   (assert (= (car (cdr state)) "q2")))

  43. 

  44. (let ((state (aut "E")))

  45.   (assert (= (car state)        :accept))

  46.   (assert (= (car (cdr state)) "q0")))