Used with http://www.lsv.fr/~gastin/ltl2ba/index.php .

ltl2ba_formatter.py

import re


def convert(s: str) -> str:
    start = re.search(r"/\* (.*) \*/\s*", s).group(1).replace("( ", "(")
    s = re.search(r"T0_init.*;", s, re.S).group(0)
    s = re.sub(r"/\*.*\*/\s*", "", s)
    s = s.replace("init", "S1").replace("&&", "&").replace("(", "").replace(")", "")
    s = re.sub(r"\s*(if|fi;)", "", s)
    s = re.sub(r"T\d+_S(\d+)", r"\1", s)
    s = re.sub(r":\s+::", "= ?\n    =", s)
    s = s.replace("::", "|").replace("\t", " " * 4).replace(" -> goto accept_all", "")
    s = re.sub(r"-> goto (\d+)", r"& X(\1)", s)
    s += "\n\ntrue = true & X(true) "
    s = s.replace("1 = ?", "1 = " + start)

    return s


if __name__ == "__main__":
    with open("in.txt") as f:
        print()
        print(convert(f.read()))