Examples

You can download and import samples.

DFA

link Even Number of Zeros: A DFA that checks whether the number of zeros in the input is even or not. link Ends with 'ab': A DFA that checks whether the input string ends with "ab" or not.

NFA

link Contains 'aa' or 'bb': An NFA that checks whether the input string contains "aa" or "bb". link Binary String with Odd Number of '1's: An NFA that checks whether the input string contains an odd number of '1's.

PDA

link Balanced Parentheses: A PDA that checks whether the parentheses of type ( and ) are balanced or not. link Equal Number of 'a' and 'b': A PDA that accepts strings containing an equal number of 'a's and 'b's.