ф
круто
Size: a a a
2020 September 25
AO
тайпскрипт полный по тьюрингу
Кстати как доказать тьюринг-полноноту?
AO
Я не смог загуглить простой ответ
AO
Например есть accidentally turing complete turing-complete примеры
AO
но я увы не смог увы док-ва полноты понять
NF
Aleksandr Osipov
Кстати как доказать тьюринг-полноноту?
нужно 5 операций(не помню каких), но проще всего посмотреть можно ли создать цикл/рекурсию
AO
нужно 5 операций(не помню каких), но проще всего посмотреть можно ли создать цикл/рекурсию
про то что обязательно должны быть циклы понятно, но как доказать это
AO
jne в маш инстукциях самое очевидное
AO
jnz и так далее
NF
Aleksandr Osipov
про то что обязательно должны быть циклы понятно, но как доказать это
просто предъявить эти 5 операций, это и есть доказательство)
AO
а есть подробнее инфа о пяти операциях?
AO
вообще вроде одной mov инструкции достаточно
AO
если по минимуму брать
NF
push, pop...
AO
2020 September 26
A
Aleksandr Osipov
Кстати как доказать тьюринг-полноноту?
NF
красивая картинка, не мог не поделиться
🚀🚀
круговая диаграмма)