https://9dok.org/document/qvl8n6dd-directable-nondeterministic-trapped-automata-imrehj-cs-imrehj-ito.html