Displaying similar documents to “Directable automata and directly subdefinite events”