Fig. 2
From: Quantum circuits from non-unitary sparse binary matrices

DFA over \(\Sigma = \{\text{a},\text{ b}\}\) recognizes the language L.
From: Quantum circuits from non-unitary sparse binary matrices
DFA over \(\Sigma = \{\text{a},\text{ b}\}\) recognizes the language L.