Автор: Козмидиади В.А., Мучник А.А. (ред.)
Издательство: Мир
Год: 1970
Cтраниц: 432
Формат: pdf
Размер: 11 мб
Язык: русский
Сборник содержит работы по актуальным проблемам математической логики, еще не получившим достаточного освещения в отечественной литературе. Эти работы посвящены оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями.
В частности, значительное место занимают исследования «ограниченных» машин Тьюринга и обобщений конечных автоматов. В ряде работ изучаются множества слов, распознаваемых обобщенными автоматами, причем обнаруживаются связи с грамматиками, введенными в работах Н. Хомского.
Книга рассчитана на лиц, интересующихся современными проблемами математической логики, теории алгоритмов, теории автоматов, математической лингвистики и теории вычислительных машин.
Скачать Козмидиади В.А., Мучник А.А. (ред.) Проблемы математической логики: Сложность алгоритмов и классы вычислимых функций