Проблемы математической логики: сложность алгоритмов и классы вычислимых функций
Козмидиади В.А. (ред.), Мучник А.А. (ред.)
Сборник содержит работы по актуальным проблемам математической логики, еще не получившим достаточного освещения в отечественной литературе. Эти работы посвящены оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. В частности, значительное место занимают исследования «ограниченных» машин Тьюринга и обобщений конечных автоматов. В ряде работ изучаются множества слов, распознаваемых обобщенными автоматами, причем обнаруживаются связи с грамматиками, введенными в работах Н. Хомского.Книга рассчитана на лиц, интересующихся современными проблемами математической логики, теории алгоритмов, теории автоматов, математической лингвистики и теории вычислительных машин.
Kategorie:
Rok:
1970
Wydawnictwo:
Мир
Język:
russian
Strony:
432
Serie:
Библиотека кибернетического сборника
Plik:
DJVU, 8.82 MB
IPFS:
,
russian, 1970