文脈自由言語
δ ( q 0 , a , z ) = ( q 0 , a ) {\displaystyle \delta (q_{0},a,z)=(q_{0},a)} δ ( q 0 , a , a ) = ( q 0 , a ) {\displaystyle \delta (q_{0},a,a)=(q_{0},a)} δ ( q 0 , b , a ) = ( q 1 , x ) {\displaystyle \delta (q_{0},b,a)=(q_{1},x)} δ ( q 1 , b , a ) = ( q 1 , x ) {\displaystyle \delta (q_{1},b,a)=(q_{1},x)} δ ( q 1 , b , z ) = ( q f , z ) {\displaystyle \delta (q_{1},b,z)=(q_{f},z)} ここで z は初期スタック記号、x はポップ動作を意味する。
例えば、数式など(プログラミング言語などにおける)の括弧の対応は S → S S | ( S ) | λ {\displaystyle S\to SS~|~(S)~|~\lambda } というような規則になる。数式などはだいたい文脈自由言語である。