Проблемы математической логики: сложность алгоритмов и классы вычислимых функций
Козмидиади В.А. (ред.), Мучник А.А. (ред.)
Сборник содержит работы по актуальным проблемам математической логики, еще не получившим достаточного освещения в отечественной литературе. Эти работы посвящены оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. В частности, значительное место занимают исследования «ограниченных» машин Тьюринга и обобщений конечных автоматов. В ряде работ изучаются множества слов, распознаваемых обобщенными автоматами, причем обнаруживаются связи с грамматиками, введенными в работах Н. Хомского.Книга рассчитана на лиц, интересующихся современными проблемами математической логики, теории алгоритмов, теории автоматов, математической лингвистики и теории вычислительных машин.
Կատեգորիաներ:
Տարի:
1970
Հրատարակչություն:
Мир
Լեզու:
russian
Էջեր:
432
Սերիաներ:
Библиотека кибернетического сборника
Ֆայլ:
DJVU, 8.82 MB
IPFS:
,
russian, 1970