Лисовик Л. П. Формальные языки и трансдьюсеры : Моногр. В 4-х т. Т. 2, кн. 2. Вычисления над размеченными деревьями / Л. П. Лисовик. - К. : Феникс, 2006. - 440 c. - Библиогр.: с. 416-435 - рус.Представлены доказательства некоторых трудно доказуемых теорем, в частности, теоремы о дополнении для автоматов Рабина, о моделировании гнездовых стековых автоматов с помощью детерминированных линейно ограниченных автоматов, о разрешимости эквивалентности для детерминированных магазинных преобразователей, действующих в реальное время с опустошением магазина. Рассмотрены двусторонние детерминированные магазинные и стековые автоматы, а также проблемы схематологии: функциональная эквивалентность, транслируемость, регуляризация. Получены применения в математической логике, усиливающие результаты Рабина о разрешимости сингулярной теории второго порядка двух функций следования. Індекс рубрикатора НБУВ: В12,0 + З815 + З973-018.210
Рубрики:
Шифр НБУВ: В349284 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|