def test_afw_to_nfa_conversion_language_bis(self):
""" Test a correct afw conversion to nfa comparing the language read
by the two automaton.
Here we take a nfa, we covert it to afw and back to nfa,
then the original and final nfa are compared trough the language
read.
"""
original_nfa_to_afw = AFW.nfa_to_afw_conversion(
self.nfa_afw_to_nfa_test_01)
nfa_01 = AFW.afw_to_nfa_conversion(original_nfa_to_afw)
i = 0
last = 7
while i <= last:
base = list(itertools.repeat('a', i))
base += list(itertools.repeat('b', i))
# build all permutation of 'a' and 'b' till length i
word_set = set(itertools.permutations(base, i))
for word in word_set:
word = list(word)
# print(word)
original_nfa_acceptance = NFA.nfa_word_acceptance(
self.nfa_afw_to_nfa_test_01, word)
nfa_acceptance = NFA.nfa_word_acceptance(nfa_01, word)
self.assertEqual(original_nfa_acceptance, nfa_acceptance)
i += 1
def test_nfa_to_afw_conversion_empty_states(self):
""" Tests converting an empty nfa """
expected_solution = {
'alphabet': set(),
'states': {'root'},
'initial_state': 'root',
'accepting_states': set(),
'transitions': {}
}
self.assertDictEqual(
AFW.nfa_to_afw_conversion(self.nfa_nfa_to_afw_test_empty),
expected_solution)
def test_nfa_to_afw_conversion(self):
""" Tests a correct nfa to afw conversion """
afw_01 = AFW.nfa_to_afw_conversion(self.nfa_nfa_to_afw_test_01)
self.assertSetEqual(afw_01['alphabet'],
self.afw_nfa_to_afw_test_01['alphabet'])
self.assertSetEqual(afw_01['states'],
self.afw_nfa_to_afw_test_01['states'])
self.assertEqual(afw_01['initial_state'],
self.afw_nfa_to_afw_test_01['initial_state'])
self.assertSetEqual(afw_01['accepting_states'],
self.afw_nfa_to_afw_test_01['accepting_states'])
self.assertEqual(len(afw_01['alphabet']),
len(self.afw_nfa_to_afw_test_01['alphabet']))
def test_nfa_to_afw_conversion_empty_transition(self):
""" Tests converting an nfa without transition """
expected_solution = {
'alphabet': self.nfa_nfa_to_afw_test_01['alphabet'],
'states': self.nfa_nfa_to_afw_test_01['states'].union({'root'}),
'initial_state': 'root',
'accepting_states': self.nfa_nfa_to_afw_test_01[
'accepting_states'],
'transitions': {}
}
self.nfa_nfa_to_afw_test_01['transitions'] = {}
self.assertDictEqual(
AFW.nfa_to_afw_conversion(self.nfa_nfa_to_afw_test_01),
expected_solution)
def test_nfa_to_afw_conversion_side_effects(self):
""" Tests the function doesn't make any side effect on the input """
before = copy.deepcopy(self.nfa_nfa_to_afw_test_01)
AFW.nfa_to_afw_conversion(self.nfa_nfa_to_afw_test_01)
self.assertDictEqual(before, self.nfa_nfa_to_afw_test_01)
def test_nfa_to_afw_conversion_wrong_dict(self):
""" Tests the function using an input different from a well
formatted dict representing a afw. [EXPECTED FAILURE] """
AFW.nfa_to_afw_conversion({'goofy': 'donald'})
def test_nfa_to_afw_conversion_wrong_input(self):
""" Tests the function using an input different from a dict object.
[EXPECTED FAILURE] """
AFW.nfa_to_afw_conversion(0)
