This is a deterministic finite automata, equivalent to a relatively small nondeterministic finite automata.
<p>It is the result of using the Powerset Construction algorithm on this NFA: <a href="//commons.wikimedia.org/wiki/File:Relatively_small_NFA.svg" class="image"><img alt="Relatively small NFA.svg" src="https://upload.wikimedia.org/wikipedia/commons/thumb/5/59/Relatively_small_NFA.svg/140px-Relatively_small_NFA.svg.png" decoding="async" width="140" height="551" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/5/59/Relatively_small_NFA.svg/210px-Relatively_small_NFA.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/5/59/Relatively_small_NFA.svg/280px-Relatively_small_NFA.svg.png 2x" data-file-width="140" data-file-height="551"></a>
</p><p>Created with <a rel="nofollow" class="external free" href="https://github.com/nielstron/powerset_construction_nfa">https://github.com/nielstron/powerset_construction_nfa</a> and GraphViz.
Source code (GraphViz):
</p>
<pre>digraph {

    "__init" [shape = point];
    "{0, X}" [shape = circle];
    "{1, X}" [shape = circle];
    "{2, X}" [shape = circle];
    "{0, 1, 2, X}" [shape = circle];
    "{3, X}" [shape = doublecircle];
    "{0, 1, 3, X}" [shape = doublecircle];
    "{0, 2, 3, X}" [shape = doublecircle];
    "{1, 2, 3, X}" [shape = doublecircle];
    "{X}" [shape = circle];
    "{0, 1, X}" [shape = circle];
    "{0, 2, X}" [shape = circle];
    "{1, 2, X}" [shape = circle];
    "{0, 3, X}" [shape = doublecircle];
    "{1, 3, X}" [shape = doublecircle];
    "{2, 3, X}" [shape = doublecircle];
    "{0, 1, 2, 3, X}" [shape = doublecircle];

    __init -&gt; "{X}";

    "{0, X}" -&gt; "{1, X}" [label = "0"];
    "{0, X}" -&gt; "{0, 1, X}" [label = "1"];
    "{1, X}" -&gt; "{2, X}" [label = "0"];
    "{1, X}" -&gt; "{0, 2, X}" [label = "1"];
    "{2, X}" -&gt; "{3, X}" [label = "0"];
    "{2, X}" -&gt; "{0, 3, X}" [label = "1"];
    "{0, 1, 2, X}" -&gt; "{1, 2, 3, X}" [label = "0"];
    "{0, 1, 2, X}" -&gt; "{0, 1, 2, 3, X}" [label = "1"];
    "{3, X}" -&gt; "{X}" [label = "0"];
    "{3, X}" -&gt; "{0, X}" [label = "1"];
    "{0, 1, 3, X}" -&gt; "{1, 2, X}" [label = "0"];
    "{0, 1, 3, X}" -&gt; "{0, 1, 2, X}" [label = "1"];
    "{0, 2, 3, X}" -&gt; "{1, 3, X}" [label = "0"];
    "{0, 2, 3, X}" -&gt; "{0, 1, 3, X}" [label = "1"];
    "{1, 2, 3, X}" -&gt; "{2, 3, X}" [label = "0"];
    "{1, 2, 3, X}" -&gt; "{0, 2, 3, X}" [label = "1"];
    "{X}" -&gt; "{X}" [label = "0"];
    "{X}" -&gt; "{0, X}" [label = "1"];
    "{0, 1, X}" -&gt; "{1, 2, X}" [label = "0"];
    "{0, 1, X}" -&gt; "{0, 1, 2, X}" [label = "1"];
    "{0, 2, X}" -&gt; "{1, 3, X}" [label = "0"];
    "{0, 2, X}" -&gt; "{0, 1, 3, X}" [label = "1"];
    "{1, 2, X}" -&gt; "{2, 3, X}" [label = "0"];
    "{1, 2, X}" -&gt; "{0, 2, 3, X}" [label = "1"];
    "{0, 3, X}" -&gt; "{1, X}" [label = "0"];
    "{0, 3, X}" -&gt; "{0, 1, X}" [label = "1"];
    "{1, 3, X}" -&gt; "{2, X}" [label = "0"];
    "{1, 3, X}" -&gt; "{0, 2, X}" [label = "1"];
    "{2, 3, X}" -&gt; "{3, X}" [label = "0"];
    "{2, 3, X}" -&gt; "{0, 3, X}" [label = "1"];
    "{0, 1, 2, 3, X}" -&gt; "{1, 2, 3, X}" [label = "0"];
    "{0, 1, 2, 3, X}" -&gt; "{0, 1, 2, 3, X}" [label = "1"];
}</pre>
<a href="//commons.wikimedia.org/w/index.php?title=User:Nmndlr&amp;action=edit&amp;redlink=1" class="new" title="User:Nmndlr (page does not exist)">Niels Mündler</a>
<span class="int-own-work" lang="en">Own work</span>