Расширенный магазинный автомат - часть 2

                     Цепочка допускается расширенным автоматом, если
                     существует  последовательность конфигураций, 
                      первая из которых является начальной конфигурацией 
                       с заданной цепочкой, а последней  конфигурацией в 
                        последовательности является одна из 
                         заключительных конфигураций. 
 
                              ( s0, a,р h0

)  , $|--*  ( s1, h0I ),

    где s1 - одно из заключительных состояний,  

           a - заданная  цепочка.

Определение. 

                     Язык, допускаемый расширенным автоматом, можно 
                      определить  так: 

L(M) = { a | (s0, a,р h0 )  |--*  ( s1, $,$ ) и  s1ОF}.