예제 #1
0
def test_file_4():
    nfa = Nondeterministic_Finite_State_Machine("testFile4.txt")
    assert nfa.accepts("") == False
    assert nfa.accepts("_00") == True
    assert nfa.accepts("_11") == True
    assert nfa.accepts("_111") == False
    assert nfa.accepts("_0000") == False
    assert nfa.accepts("00") == False
    assert nfa.accepts("11") == False
예제 #2
0
def test_file_9():
    nfa = Nondeterministic_Finite_State_Machine("testFile9.txt")
    assert nfa.accepts("") == False
    assert nfa.accepts("_") == False
    assert nfa.accepts("0") == True
    assert nfa.accepts("1") == False
    assert nfa.accepts("000000000000") == True
    assert nfa.accepts("0000000000001") == False
    assert nfa.accepts("1000000000000") == False
예제 #3
0
def test_file_6():
    nfa = Nondeterministic_Finite_State_Machine("testFile6.txt")
    assert nfa.accepts("a") == True
    assert nfa.accepts("ab") == False
    assert nfa.accepts("abc") == True
    assert nfa.accepts("abcb") == False
    assert nfa.accepts("abcbc") == True
    assert nfa.accepts("") == False
    assert nfa.accepts("_") == False
예제 #4
0
def test_file_0():
    nfa = Nondeterministic_Finite_State_Machine("testFile0.txt")
    assert nfa.accepts("") == False
    assert nfa.accepts("a") == True
    assert nfa.accepts("aaaaa") == True
    assert nfa.accepts("b") == False
    assert nfa.accepts("_") == True
    assert nfa.accepts("__") == False
    assert nfa.accepts("aaaaaaaaaaaaaaa") == True
예제 #5
0
def test_file_5():
    nfa = Nondeterministic_Finite_State_Machine("testFile5.txt")
    assert nfa.accepts("") == False
    assert nfa.accepts("_") == False
    assert nfa.accepts("___") == True
    assert nfa.accepts("_10") == True
    assert nfa.accepts("__0") == True
    assert nfa.accepts("_100") == True
    assert nfa.accepts("___0") == True
    assert nfa.accepts("____") == False
    assert nfa.accepts("_1_0") == True