mkuchnik·vor 3 Jahren·discussHi, author of ReLM here. We use automata as well, like you describe, if I understand correctly.