Content deleted Content added
→See also: clean up links |
|||
Line 145:
==See also==
{{columns-list|colwidth=30em|
* [[
* [[DFA minimization]]
* [[Monadic second-order logic]]
* [[
* [[Quantum finite
* [[Separating words problem]]
* [[Turing machine]]
* [[Two-way
* [[Weighted automaton]]
}}
|