Пред.Страница  След.Страница   Раздел   Содержание 

3.11.2. Пример работы расширенного магазинный автомат

В качестве иллюстрации работы расширенного автомата рассмотрим автомат, допускающий язык L={ww^R | w О {a, b}*}.

M3.1:    P = {a, b}, S = {s₀, s₁},  H = {a, b, <I>, h₀}, F = {s₁} ,
 

d(s₀, a, h₀) = (s₀, h₀a),                 d(s₀, a, <I>) = (s₀, <I>a),
d(s₀, b, h₀) = (s₀, h₀b),                d(s₀, b, <I>) = (s₀, <I>b),
d(s₀, a, a) = (s₀, aa),                    d*(s₀, a, a<I>a) = (s₀, <I>),
d(s₀, b, a )= (s₀, ba),                   d*(s₀, b, a<I>a) = (s₀, <I>),
d(s₀, a, b) = (s₀, ab),                   d*(s₀, a, b<I>b) = (s₀, <I>),
d(s₀, b, b) = (s₀, bb),                  d*(s₀, b, b<I>b) = (s₀, <I>),
d*(s₀, a, aa) = (s₀, <I>),             d*(s₀, $, a<I>a) = (s₀, <I>),
d*(s₀, b, aa) = (s₀, <I>),             d*(s₀, $, b<I>b) = (s₀, <I>),
d*(s₀, a, bb) = (s₀, <I>),             d*(s₀, $, h₀<I>) = (s₁, $).
d*(s₀, b, bb) = (s₀, <I>),

Пред.Страница  След.Страница   Раздел   Содержание