Pусский
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Полные статьи
Категории
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Ты пишешь
Пользователь
Авторизоваться
Постановка на учет
Восстановление пароля
Теги
Языковые теги
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag machine-models - Это страница 1 - GeneraCodice
Can we represent all computer programs as graphs?
https://www.generacodice.com/ru/articolo/1497461/can-we-represent-all-computer-programs-as-graphs
turing-machines
-
machine-models
-
graphs
cs.stackexchange
Coq — non-terminating programs [duplicate]
https://www.generacodice.com/ru/articolo/1496374/coq-non-terminating-programs-duplicate
coq
-
machine-models
cs.stackexchange
What is the significance of primitive recursive functions?
https://www.generacodice.com/ru/articolo/1496205/what-is-the-significance-of-primitive-recursive-functions
terminology
-
computability
-
machine-models
cs.stackexchange
Is a Turing Machine that only takes strings of the form $0^*$ Turing Complete?
https://www.generacodice.com/ru/articolo/1496178/is-a-turing-machine-that-only-takes-strings-of-the-form-0-turing-complete
turing-machines
-
machine-models
-
turing-completeness
cs.stackexchange
Can a Multi-Tape Turing Machine have an infinite number of tapes?
https://www.generacodice.com/ru/articolo/1496026/can-a-multi-tape-turing-machine-have-an-infinite-number-of-tapes
turing-machines
-
machine-models
cs.stackexchange
Which computational model is used to analyse the runtime of matrix multiplication algorithms?
https://www.generacodice.com/ru/articolo/1491121/which-computational-model-is-used-to-analyse-the-runtime-of-matrix-multiplication-algorithms
algorithm-analysis
-
runtime-analysis
-
machine-models
-
matrices
cs.stackexchange
Построить ТМ из КПК
https://www.generacodice.com/ru/articolo/1123261/построить-тм-из-кпк
turing-machines
-
machine-learning
-
machine-models
cs.stackexchange
Какая теоретическая параллельная модель ближе всего к CUDA?
https://www.generacodice.com/ru/articolo/1122468/какая-теоретическая-параллельная-модель-ближе-всего-к-cuda
parallel-computing
-
machine-models
cs.stackexchange
Может ли двухсторонний КПК принять язык $ a^nb^mc^nd^m $, который не является контекстом?
https://www.generacodice.com/ru/articolo/1120338/может-ли-двухсторонний-кпк-принять-язык-a-nb-mc-nd-m-который-не-является-контекстом
automata
-
formal-languages
-
machine-models
cs.stackexchange
Соответствие леммы с бесконечно многими символами
https://www.generacodice.com/ru/articolo/1119903/соответствие-леммы-с-бесконечно-многими-символами
turing-machines
-
machine-models
cs.stackexchange
«
1
2
3
»
Результаты найдены: 27