Edi Muškardin

icon indicating a website link https://emuskardin.github.io/ icon indicating an email [email protected]

icon company Silicon Austria Labs and Graz University of Technology icon location Graz, Austria icon location Automata Learning Enjoyer

Results 4 comments of Edi Muškardin

Fix to_state_setup() with unreachable states

Hi, good catch, thank you! I would rather ignore the unreachable state, since it is unreachable anyways, and keeping it there adds to the confusion (imo). In other words, if...

Fix to_state_setup() with unreachable states

I will see still, need to sleep it over :p I would still consider all of these in some way or another improper handling of states. Automaton contains behavior that...

Fix to_state_setup() with unreachable states

@MaxiSchwindler Did you find this bug in a natural use of AALpy or were you experimenting? As if the former is the case, I also need to fix this :)

Fix to_state_setup() with unreachable states

Merged. Test case for future referance: ``` from aalpy.utils import generate_random_deterministic_automata from aalpy.automata.MealyMachine import MealyState mealy = generate_random_deterministic_automata('mealy', 5, input_alphabet_size=2, output_alphabet_size=3) unreachable_1 = MealyState('unreachable_1') unreachable_2 = MealyState('unreachable_2') unreachable_1.transitions['i1'] = unreachable_1...