Recent questions tagged cmi2022

1 votes
0 answers
1
A Muller automaton is defined as a tuple $\text{M} = (\text{Q}, \text{I}, \Sigma, \rightarrow, \text{T})$ where:$\text{Q}$ is a finite set of states;$\text{I} \subseteq \...
0 votes
0 answers
14
To see more, click for the full list of questions or popular tags.