Skip to search formSkip to main contentSkip to account menu

Post–Turing machine

Known as: Post-Turing machine, Post system, Turing-Post Machine 
A Post–Turing machine is a "program formulation" of an especially simple type of Turing machine, comprising a variant of Emil Post's Turing… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
AlgorithmAlgorithm characterizationsBranch (computer science)Busy beaver

Broader (1)

Turing machine

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
An acoustic analogy formulation for moving sources in uniformly moving media
Acoustic analogy methods are used as post-processing tools to predict aerodynamically generated sound from numerical solutions of… 
Highly Cited
2008
Highly Cited
2008
Identification and stability of QTLs for fruit quality traits in apple
Breeding for fruit quality traits is complex due to the polygenic (quantitative) nature of the genetic control of these traits… 
Highly Cited
2005
Highly Cited
2005
Robust L/sub 1/ norm factorization in the presence of outliers and missing data by alternative convex programming
Matrix factorization has many applications in computer vision. Singular value decomposition (SVD) is the standard algorithm for… 
Highly Cited
2004
Highly Cited
2004
Effects of climatic variability on the thermal properties of Lake Washington
We conducted a statistical analysis of a long‐term (1964–1998) record of intra‐ and interannual temperature fluctuations in Lake… 
Review
2001
Review
2001
The highly collimated bipolar outflow of OH 231.8+4.2 ?
We present high spatial resolution observations of the CO molecular emission (J =1 0a nd J =2 1 lines) in the post-AGB bipolar… 
Highly Cited
1999
Highly Cited
1999
Optimization based non-linear observers revisited
Optimization based non-linear observers are those where the integrated output prediction error is used to define the dynamic of… 
Highly Cited
1982
Highly Cited
1982
Regression of functional synapses in the immature mammalian cerebellum
Highly Cited
1980
Highly Cited
1980
A geometric and material nonlinear plate and shell element
Highly Cited
1974
Highly Cited
1974
Remarks on the FKG inequalities
The FKG inequalities are generalized to two probability distributions. A theorem is proved which shows how one distribution… 
Highly Cited
1936
Highly Cited
1936
Finite combinatory processes—formulation
The present formulation should prove significant in the development of symbolic logic along the lines of Gödel's theorem on the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)