def ore_2_automaton_gff(omega_regex: str) -> str: check_correct_ore(omega_regex) w_regex = to_regex(omega_regex) w_regex = sub("([\W])(?:[Tt]rue|\.)([\W])", "\\1True\\2", w_regex) result = execute_translation("ORE", w_regex, "-se -sa") result = sub('<Alphabet type="Classical">', '<Alphabet type="Propositional">', result) result = regex_to_proposition(result) return result
def ore_2_automaton_gff(omega_regex: str) -> str: check_correct_ore(omega_regex) w_regex = to_regex(omega_regex) w_regex = sub("([\W])(?:[Tt]rue|\.)([\W])", "\\1True\\2", w_regex) result = execute_translation("ORE", w_regex, "-se -sa") result = sub("<Alphabet type=\"Classical\">", "<Alphabet type=\"Propositional\">", result) result = regex_to_proposition(result) return result
def pltl_2_automaton_gff(ltl: str) -> str: return execute_translation("QPTL", ltl, "-m pltl2ba -t nbw")