Зведений каталог бібліотек Києва

 

КарнаухтоКарнаух, Т. О.
    Нерозв"язні проблеми для алгоритмічних пристроїв зі скінченною пам"яттю [Текст] / Т.О. Карнаух // Вісник Київського національного університету імені Тараса Шевченка. — Київ, 2014. — 2014. — С. 144-147.


- Анотація:

Розглядаються нерозв"язні проблеми для скінченних R-перетворювачів. Доведено, що клас функцій, заданих скінченними R-перетворювачами, не є ефективно замкненим відносно віднімання та додавання.

Undecidable problems for finite R-transducers are discussed. We prove that finite R-transducer computable functions class is not effectively closed under subtraction and summation.

- Є складовою частиною документа:

- Теми документа

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт