DFA that accepts strings with at most one a + Proof of correctness

preview_player
Показать описание
In this video, I quickly build a DFA that accepts that language containing strings with at most one a and then prove the correctness of the DFA,
Рекомендации по теме