Вопросы с тегом «computability»

По моему опыту, контекстно-зависимые языки и линейно-ограниченные автоматы часто пропускаются или зацикливаются на курсах теории вычислимости, и даже не учтены в некоторых заметных учебниках, хотя конечным автоматам и автоматам с выталкивающими функциями уделяется много внимания. Конечно, должна быть веская причина, почему LBA уделяется меньше внимания, чем их коллегам?

9 computability  fl.formal-languages  automata-theory 

Закрыто. Этот вопрос не по теме . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос так, чтобы он соответствовал теме теоретической информатики в стеке. Закрыто 3 года назад . Существует ли короткая явная конструкция универсальной рекурсивной функции ? Все определения, которые я видел, каким-то образом …

9 lo.logic  computability  pl.programming-languages