felix
/
slime
1
0
Fork 0
Code Issues 0 Pull-Requests 0 Releases 0 Wiki Aktivität
Du kannst nicht mehr als 25 Themen auswählen Themen müssen entweder mit einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.
238 Commits
1 Branch
21 MiB
 
 
 
 
 
 
Branch: master
Branches Tags
${ item.name }
Erstelle Branch ${ searchTerm }
von „master“
${ noResults }
slime/bin/tests/automata.slime

47 Zeilen
1.3 KiB
Originalformat Permalink Blame Verlauf 

  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")))