mkuchnik·il y a 3 ans·discussHi, author of ReLM here. We use automata as well, like you describe, if I understand correctly.