Finite Automata simulator

all files | finite_automata docs,code | web app script,template

---

---

file: 'and.fa'

# # number of 0's is 1,4,7,10,... # and # number of 1's is 0,2,4,6,8,... # start: zero_even # accept: [one_even] # transitions: # - [ zero_even, 0, one_even ] - [ one_even, 0, two_even ] - [ two_even, 0, zero_even ] # - [ zero_odd, 0, one_odd ] - [ one_odd, 0, two_odd ] - [ two_odd, 0, zero_odd ] # - [ zero_even, 1, zero_odd ] - [ one_even, 1, one_odd ] - [ two_even, 1, two_odd ] # - [ zero_odd, 1, zero_even ] - [ one_odd, 1, one_even ] - [ two_odd, 1, two_even ] # tests: - [ no, ~ ] - [ yes, 0 ] - [ no, 10 ] - [ yes, 01010101 ]

---

---

Running finite_automata on and.fa .

===== and.fa =====
 states : [ one_even, one_odd, two_even, two_odd, zero_even, zero_odd ] 
 accept : [ one_even ]
 alphabet : [ 0, 1 ] 
 start : zero_even
 tests : 
   no    [  ]
   yes   [ 0 ]
   no    [ 1, 0 ]
   yes   [ 0, 1, 0, 1, 0, 1, 0, 1 ]
 transitions :
   one_even  x  1             =>  one_odd
   one_even  x  0             =>  two_even
   one_odd  x  1             =>  one_even
   one_odd  x  0             =>  two_odd
   two_even  x  1             =>  two_odd
   two_even  x  0             =>  zero_even
   two_odd  x  1             =>  two_even
   two_odd  x  0             =>  zero_odd
   zero_even  x  0             =>  one_even
   zero_even  x  1             =>  zero_odd
   zero_odd  x  0             =>  one_odd
   zero_odd  x  1             =>  zero_even
 analysis :
   It's a strict DFA.
   Running inputs and tests :
     '' => no (ok)
     '0' => yes (ok)
     '10' => no (ok)
     '01010101' => yes (ok)
   Passed all 4 tests.
   Diagram created in file 'and.png'

---