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


 
    Определение. Переводом С(T), определяемым СУ-схемой  Т назовем множество пар, 
                            состоящих из входной   и выходной цепочек, выводимых из пары, 
                            включающей два начальных символа. 

                       С(T) = {(a ,b ) | (<I>,<I>) ==>* (a ,b ) и  a О Vтвх*, b О Vтвых*}  
     

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