Показать сокращенную информацию
Алгоритмические проблемы конечных автоматов
dc.contributor.author | Ганов, Валерий Александрович | |
dc.contributor.author | Дегтярева, Руслана Валерьевна | |
dc.date.accessioned | 2015-01-23T08:26:37Z | |
dc.date.available | 2015-01-23T08:26:37Z | |
dc.date.issued | 2014 | |
dc.identifier.citation | Ганов, В. А. Алгоритмические проблемы конечных автоматов: монография / В. А. Ганов, Р. В. Дегтярева ; АлтГУ. - Барнаул : Изд-во АлтГУ, 2014. - 40 с. | ru_RU |
dc.identifier.isbn | 978-5-7904-1771-9 | |
dc.identifier.uri | http://elibrary.asu.ru/handle/asu/713 | |
dc.description.abstract | Строится базис конечных автоматов, связанный выводимостью слов в нормальном исчислении Поста. Определяются операторы, реализуемые логическими сетями над этим базисом. Они являются вычислимыми на автоматах Мура, но их класс не является алгоритмически разрешимым. Рассматриваются различные способы обобщения этих конструкций. Формулируются задачи для продолжения этих исследований. Книга предназначена для студентов математических и прикладных специальностей университетов. | ru_RU |
dc.publisher | Барнаул: Издательство Алтайского государственного университета | ru_RU |
dc.subject | Автоматные операторы | ru_RU |
dc.subject | Обобщенные автоматы | ru_RU |
dc.title | Алгоритмические проблемы конечных автоматов | ru_RU |
dc.type | Book | ru_RU |