en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag machine-models - This is page 1 - GeneraCodice
Can we represent all computer programs as graphs?
https://www.generacodice.com/en/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/en/articolo/1496374/coq-non-terminating-programs-duplicate
coq
-
machine-models
cs.stackexchange
What is the significance of primitive recursive functions?
https://www.generacodice.com/en/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/en/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/en/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/en/articolo/1491121/which-computational-model-is-used-to-analyse-the-runtime-of-matrix-multiplication-algorithms
algorithm-analysis
-
runtime-analysis
-
machine-models
-
matrices
cs.stackexchange
construct a TM from a PDA
https://www.generacodice.com/en/articolo/1123261/construct-a-tm-from-a-pda
turing-machines
-
machine-learning
-
machine-models
cs.stackexchange
Which theoretical parallel model is closest to CUDA?
https://www.generacodice.com/en/articolo/1122468/which-theoretical-parallel-model-is-closest-to-cuda
parallel-computing
-
machine-models
cs.stackexchange
Can a two-stack PDA accept language $a^nb^mc^nd^m$ which is not context-free?
https://www.generacodice.com/en/articolo/1120338/can-a-two-stack-pda-accept-language-a-nb-mc-nd-m-which-is-not-context-free
automata
-
formal-languages
-
machine-models
cs.stackexchange
Matching Lemma with infinitely many symbols
https://www.generacodice.com/en/articolo/1119903/matching-lemma-with-infinitely-many-symbols
turing-machines
-
machine-models
cs.stackexchange
«
1
2
3
»
Results found: 27