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) 
View Large
Close Modal
This Feature Is Available To Subscribers Only

or Create an Account

Close Modal
Close Modal
This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy.
Accept