Questions tagged [omega-automata]
The omega-automata tag has no usage guidance.
1
question with no upvoted or accepted answers
2
votes
0
answers
121
views
Intersection of two deterministic parity automata
Given two deterministic parity automata $A_1=(Q_1,\Sigma,\delta,q_{01},c_1)$ and $A_2=(Q_2,\Sigma,\delta,q_{02},c_2)$ with the finite set of states $Q_i$, the finite alphabet $\Sigma_i$, the ...
- 391