Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000033240<.>) |
Загальна кількість знайдених документів : 1
|
Лисовик Л. П. О проблемах разрешимости для ND-систем / Л. П. Лисовик // Кибернетика и систем. анализ. - 2000. - № 2. - С. 164-167. - Библиогр.: 4 назв. - рус.Доведено нерозв'язність проблеми еквівалентності нормалізованих недетермінованих скінченних перетворювачів, які мають два стани: один вхідний, два вихідні символи, і за один такт роботи можуть прочитати тільки один вхідний символ. Індекс рубрикатора НБУВ: В127.4 + З810.401
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|