Skip to Main Content
Table 2 

Terminology and notational conventions used for multiset automata and DAG automata.

DAG automatonMultiset automaton 
state m-state   
transition m-transition   
M A (automaton) 
Q Ξ (state set) 
Σ Q (input alphabet) 
Δ τ (transitions) 
DAG automatonMultiset automaton 
state m-state   
transition m-transition   
M A (automaton) 
Q Ξ (state set) 
Σ Q (input alphabet) 
Δ τ (transitions) 
Close Modal

or Create an Account

Close Modal
Close Modal