Finite Automata simulator

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

---

---

file: '_sample.fa'

# # This is a *.fa (i.e. finite automata) definition file # which follows the yaml.org data format. # The ~ character is used to refer to the empty string. # The automata below is non-deterministic, since both # ~ and lists of symbols are used in the transition table. # start: start_00 transitions : # state x alpha -> state - [ start_00, [0dddd,000000], start_00] - [ start_00, [1dd10,1111010], red_01 ] - [ start_00, [1dd01,0100011], yellow_10] - [ start_00, [(1dd11,0111010)], red_01 ] - [ start_00, [1dd00,0111010], red_01 ] - [ red_01, [d0d,011010], red_01 ] - [ red_01, [d1d,100011], yellow_10 ] - [ yellow_10, [d0d,000011], yellow_10 ] - [ yellow_10, [d1d,110111], green_11] - [ green_11, [dd0,010111], green_11] - [ green_11, [dd1,0010111], off_00] - [ off_00, [dd1,010111], green_11] - [ off_00, [dd0,100011], yellow2_10] - [ yellow2_10, [d0d,000011], yellow2_10 ] - [ yellow2_10, [d1d,111010], red_01] tests : - [ yes, ~ ] - [ no, 00000 ] - [ yes, 1111 ] - [ no, 1010 ] - [ yes, 111000 ]

---

---

Running finite_automata on _sample.fa .

===== _sample.fa =====
OOPS - no accept states specified.
 analysis :
   It's not a strict DFA.
   Running inputs and tests :
     '' => no (NOT ok)
     '00000' => no (ok)
     '1111' => no (NOT ok)
     '1010' => no (ok)
     '111000' => no (NOT ok)
   Failed 3 out of 5.
   Diagram created in file '_sample.png'

---