def test_afn_delta_hat():
#testeAutomato01
assert tc.delta_hat(A1, {'q0'}, [0]) == {'q0'}
assert tc.delta_hat(A1, {'q0'}, [1]) == {'q0', 'q1'}
#testeAutomato02
assert tc.delta_hat(A2, {'q0'}, [0]) == {'q0'}
assert tc.delta_hat(A2, {'q0'}, [1]) == {'q0', 'q1'}
def main(args):
print(test_afn_delta_hat())
print(test_afn_delta())
print(test_afn_aceita())
print(test_afn_eclose())
##############Testes Automato 01##################
#Função delta_hat testada(A1,'q0',t1)
print(tc.delta_hat(A1, 'q0', t1))
#Função delta testada
# Recebendo simbolo 1
proxSimbolo1 = tc.delta(A1, 'q0', 1)
print(proxSimbolo1)
# Recebendo simbolo 1 novamente
proxSimbolo2 = tc.delta(A1, proxSimbolo1, 1)
print(proxSimbolo2)
#Função aceita testada(A1,t1)
aceita = tc.aceita(A1, t1)
print(aceita)
#Funcao eclose testada(Automato,Estados)
eclose = tc.eclose(A1, {'q0', 'q1', 'q2', 'q3'})
print(eclose)
##############Testes Automato 02##################
#Função delta_hat testada(A2,'q0',t2)
print(tc.delta_hat(A2, 'q0', t2))
#Função delta testada
# Recebendo simbolo 1
proxSimbolo1_automato2 = tc.delta(A2, 'q0', 1)
print(proxSimbolo1_automato2)
# Recebendo simbolo 1 novamente
proxSimbolo2_automato2 = tc.delta(A2, proxSimbolo1_automato2, 1)
print(proxSimbolo2_automato2)
#Função aceita testada(A1,t1)
aceita_automato2 = tc.aceita(A2, t2)
print(aceita_automato2)
#Funcao eclose testada(Automato,Estados)
eclose_automato2 = tc.eclose(A2, {'q0', 'q1', 'q2'})
print(eclose_automato2)
return
def test_afn_delta_hat():
assert afn.delta_hat(exp_aceitacao.automato, {'q0'}, [0]) == {'q0', 'q1'}
assert afn.delta_hat(exp_aceitacao.automato, {'q0'}, [1]) == {'q0'}
assert afn.delta_hat(exp_aceitacao.automato, {'q1'}, [1]) == {'q2'}
assert afn.delta_hat(exp_aceitacao.automato, {'q1'}, [0]) == {None}
def test_afn_delta_hat():
assert afn.delta_hat(exp_aceitacao.automato, {'q0'}, [0]) == {'q0', 'q1'}
assert afn.delta_hat(exp_aceitacao.automato, {'q0'}, [1]) == {'q0'}
assert afn.delta_hat(exp_aceitacao.automato, {'q1'}, [1]) == {'q2'}
assert afn.delta_hat(exp_aceitacao.automato, {'q1'}, [0]) == set() # @Conrado Luiz set vazio. i.e. {}. Só a notação em python que é estranha