Skip to main content

Illustration DFA - |w| greater than or equal to 3 and the 3rd symbol from the back is 0

<span>DFA - |w| greater than or equal to 3 and the 3rd symbol from the back is 0</span>
DFA - length greater than or equal to 3 and the 3rd symbol from the back is 0
Download

Share — copy and redistribute the material in any medium or format

Adapt — remix, transform, and build upon the material for any purpose, even commercially.

Sharing and adapting of the illustration is allowed with indication of the link to the illustration.

Sketch of a deterministic finite automaton (DEA) for the following regular language (type 3):$$ L ~=~ \{ w \in \{0,1\}^* ~:~ |w| \geq 3 \text{ and the 3rd letter from rhs is } 0 \} $$

This is an infinite language whose words are at least three characters long, and the 3rd symbol from right-hand side is a zero:$$ L ~=~ \{ 000, 011, 1000, 0001, 101011, ~... \} $$