Complex sentence: The machine below is described informally but note that this machine will be a deterministic Muller automaton.
Split into simpler sentences: The machine below is described informally. Note that this machine will be a deterministic Muller automaton.