Semantics-to-Syntax Analyses of Algorithms (Q4637221)
From MaRDI portal
scientific article; zbMATH DE number 6861190
Language | Label | Description | Also known as |
---|---|---|---|
English | Semantics-to-Syntax Analyses of Algorithms |
scientific article; zbMATH DE number 6861190 |
Statements
Semantics-to-Syntax Analyses of Algorithms (English)
0 references
18 April 2018
0 references
abstract state machines
0 references
analysis of algorithms
0 references
Church's thesis
0 references
computability
0 references
concept of algorithms
0 references
definition of algorithms
0 references
human computers
0 references
semantics-to-syntax analysis
0 references
sequential algorithm
0 references
Turing's thesis
0 references