diff --git a/TaskB00/run.py b/TaskB00/run.py index 25eff7f..3404da8 100644 --- a/TaskB00/run.py +++ b/TaskB00/run.py @@ -50,4 +50,16 @@ for line in table: elif len(line.split('\t')) == 1: fsa.add_final_state(line) else: - assert False \ No newline at end of file + assert False + +for line in sys.stdin: + + line = line.rstrip() + for symbol in line: + if symbol not in fsa.alphabet: + assert False + + if fsa.accepts(line): + print('YES') + else: + print('NO') diff --git a/TaskC00/run.py b/TaskC00/run.py new file mode 100644 index 0000000..395316b --- /dev/null +++ b/TaskC00/run.py @@ -0,0 +1,48 @@ +import sys + + +class FSA: + + def __init__(self,): + self.initial_state = '0' + self.final_states = set() + + self.transitions = dict() + self.alphabet = set() + + def add_transition(self, state_from, state_to, symbol): + + if state_from in self.transitions.keys(): + if symbol not in self.transitions[state_from].keys(): + self.transitions[state_from][symbol] = {state_to} + else: + self.transitions[state_from][symbol] |= {state_to} + else: + self.transitions[state_from] = dict() + self.transitions[state_from][symbol] = {state_to} + + def add_final_state(self, state): + self.final_states.add(state) + + +fsa = FSA() + +table = open(sys.argv[1]) +for line in table: + line = line.rstrip() + + if len(line.split('\t')) == 3: + a, b, c = line.split('\t') + fsa.add_transition(a, b, c) + fsa.alphabet.add(c) + else: + fsa.add_final_state(line) + + +for line in sys.stdin: + line = line.rstrip() + + if fsa.accepts(line): + print('YES') + else: + print('NO')