diff --git a/aalpy/automata/Sevpa.py b/aalpy/automata/Sevpa.py index b2a782a69..113ef9b6f 100644 --- a/aalpy/automata/Sevpa.py +++ b/aalpy/automata/Sevpa.py @@ -1,11 +1,9 @@ import random from collections import defaultdict, deque -from typing import Union +from typing import Union, List, Dict from aalpy.base import Automaton, AutomatonState -from typing import List, Dict - class SevpaAlphabet: """ @@ -54,7 +52,7 @@ class SevpaState(AutomatonState): def __init__(self, state_id, is_accepting=False): super().__init__(state_id) - self.transitions = defaultdict(list[SevpaTransition]) + self.transitions = defaultdict(List[SevpaTransition]) self.is_accepting = is_accepting @@ -90,7 +88,7 @@ class Sevpa(Automaton): """ empty = "_" - def __init__(self, initial_state: SevpaState, states: list[SevpaState]): + def __init__(self, initial_state: SevpaState, states: List[SevpaState]): super().__init__(initial_state, states) self.initial_state = initial_state self.states = states