Некоторые задачи идентификации состояний для недетерминированных автоматов
Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существовани...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | Russian |
| Published: |
Томск
STT
2018
|
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000648794 Перейти в каталог НБ ТГУ |
| LEADER | 04047nam a2200481 c 4500 | ||
|---|---|---|---|
| 001 | vtls000648794 | ||
| 003 | RU-ToGU | ||
| 005 | 20240723113008.0 | ||
| 006 | m fo d | ||
| 007 | cr | | ||
| 008 | 190213s2018 ru a fsb 000 0 rus d | ||
| 020 | |a 9785936296222 | ||
| 035 | |a to000648794 | ||
| 039 | 9 | |a 201902181401 |b 100 |c 201902131551 |d VLOAD |c 201902131518 |d cat40 |y 201902131509 |z Александр Эльверович Гилязов | |
| 040 | |a RU-ToGU |b rus |c RU-ToGU | ||
| 080 | |a 681.513.6.015 | ||
| 080 | |a 519.713:510.5 | ||
| 100 | 1 | |a Евтушенко, Нина Владимировна |9 70064 | |
| 245 | 1 | 0 | |a Некоторые задачи идентификации состояний для недетерминированных автоматов |c Н. В. Евтушенко, Н. Г. Кушик ; Нац. исслед. Том. гос. ун-т, Ин-т системного программирования им. В. П. Иванникова РАН [и др.] |
| 246 | 1 | 1 | |a Some state identification problems of non-deterministic finite state machines |
| 260 | |a Томск |b STT |c 2018 |9 688275 | ||
| 300 | |a 189 с. |b ил., табл. | ||
| 504 | |a Библиогр.: с. 186-188 | ||
| 506 | |a Доступ в сети ТГУ | ||
| 520 | 3 | |a Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существования, так и по построению "умозрительных" экспериментов для различных классов автоматов, в том числе для ненаблюдаемых и частичных автоматов. Читать монографию можно достаточно независимо: большинство необходимых определений и вспомогательных утверждений вводятся непосредственно в тексте. Монография предназначена для специалистов в области теории автоматов, синтеза тестов для цифровых систем, а также для всех интересующихся вопросами идентификации состояний в конечных системах переходов. | |
| 653 | |a конечные автоматы детерминированные | ||
| 653 | |a конечные автоматы недетерминированные | ||
| 653 | |a умозрительные эксперименты | ||
| 653 | |a идентификация состояний автоматов | ||
| 653 | |a автоматы частичные | ||
| 653 | |a автоматы ненаблюдаемые | ||
| 653 | |a детерминированные автоматы | ||
| 653 | |a недетерминированные автоматы | ||
| 653 | |a автоматы наблюдаемые | ||
| 653 | |a Мура конечный автомат | ||
| 655 | 4 | |a монографии |9 879346 | |
| 700 | 1 | |a Кушик, Наталья Геннадьевна |9 83520 | |
| 710 | 2 | |a Томский государственный университет. |9 53646 | |
| 852 | 4 | |a RU-ToGU |h 681 |i Е273 |n ru | |
| 856 | 4 | |u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000648794 | |
| 856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=446187 | ||
| 999 | |c 446187 |d 446187 | ||
| 952 | |0 0 |1 0 |4 0 |6 2057510 |7 0 |9 660911 |a RU-ToGU |c 10024 |d 2021-04-05 |g 400.00 |o 2-057510 |p 13820000980252 |r 2024-04-09 |y 4 | ||