
example.FA  - number of a's mod 2 = 0  and number of b's mod 3 = 0
example.PDA  - a^Nb^M where M<=N<=3M, 1-3 a's for every b, a's come first.
example.TM - adds unary numbers
example.TTM  - a^nb^nc^n
