On the Computational Power of Transformers and its Implications in Sequence Modeling
Not on the map. Why?
Abstract (arXiv)
Transformers are being used extensively across several sequence modeling tasks. Significant research effort has been devoted to experimentally probe the inner workings of Transformers. However, our conceptual and theoretical understanding of their power and inherent limitations is still nascent. In particular, the roles of various components in Transformers such as positional encodings, attention heads, residual connections, and feedforward networks, are not clear. In this paper, we take a step towards answering these questions. We analyze the computational power as captured by Turing-completeness. We first provide an alternate and simpler proof to show that vanilla Transformers are Turing-complete and then we prove that Transformers with only positional masking and without any positional encoding are also Turing-complete. We further analyze the necessity of each component for the Turing-completeness of the network; interestingly, we find that a particular type of residual connection is necessary. We demonstrate the practical implications of our results via experiments on machine translation and synthetic tasks.
Key facts. Cited by 85 papers in the map (data through 7 Oct 2026). First posted on arXiv 16 Jun 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 7; 2022: 5; 2023: 21; 2024: 19; 2025: 19; 2026: 14.
85 papers.
Sort:
By area:
- 2022What Can Transformers Learn In-Context? A Case Study of Simple Function Classescited by 700
- 2023Trained Transformers Learn Linear Models In-Contextcited by 331
- 2023Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspectivecited by 293
- 2023Transformers as Statisticians: Provable In-Context Learning with In-Context Algorithm Selectioncited by 291
- 2022Pure Transformers are Powerful Graph Learnerscited by 188
- 2021Inductive Biases and Variable Creation in Self-Attention Mechanismscited by 144
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2022Overcoming a Theoretical Limitation of Self-Attentioncited by 110
- 2021Self-Attention Networks Can Process Bounded Hierarchical Languagescited by 105
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformerscited by 101
- 2023Scan and Snap: Understanding Training Dynamics and Token Composition in 1-layer Transformercited by 101
- 2023How Do Transformers Learn Topic Structure: Towards a Mechanistic Understandingcited by 85
38 more
- 2021Representing Numbers in NLP: a Survey and a Visioncited by 83
- 2023Transformers as Decision Makers: Provable In-Context Reinforcement Learning via Supervised Pretrainingcited by 82
- 2023A Theoretical Understanding of Shallow Vision Transformers: Learning, Generalization, and Sample Complexitycited by 77
- 2025Reasoning by Superposition: A Theoretical Perspective on Chain of Continuous Thoughtcited by 73
- 2023JoMA: Demystifying Multilayer Transformers via JOint Dynamics of MLP and Attentioncited by 52
- 2023Do Transformers Parse while Predicting the Masked Word?cited by 48
- 2023Memory Augmented Large Language Models are Computationally Universalcited by 45
- 2021On the Expressive Power of Self-Attention Matricescited by 44
- 2023The Closeness of In-Context Learning and Weight Shifting for Softmax Regressioncited by 41
- 2023What can a Single Attention Layer Learn? A Study Through the Random Features Lenscited by 39
- 2023Transformers are uninterpretable with myopic methods: a case study with bounded Dyck grammarscited by 30
- 2023A Mathematical Abstraction for Balancing the Trade-off Between Creativity and Reality in Large Language Modelscited by 29
- 2024Separations in the Representational Capabilities of Transformers and Recurrent Architecturescited by 29
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformerscited by 28
- 2024Towards a Theoretical Understanding of the 'Reversal Curse' via Training Dynamicscited by 27
- 2024Universal Length Generalization with Turing Programscited by 25
- 2024DGR-MIL: Exploring Diverse Global Representation in Multiple Instance Learning for Whole Slide Image Classificationcited by 25
- 2023Latent Positional Information is in the Self-Attention Variance of Transformer Language Models Without Positional Embeddingscited by 23
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 23
- 2024Transformers Provably Learn Sparse Token Selection While Fully-Connected Nets Cannotcited by 21
- 2023How Powerful are Decoder-Only Transformer Neural Models?cited by 20
- 2023Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensionscited by 20
- 2024Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theorycited by 19
- 2025Constant Bit-size Transformers Are Turing Completecited by 19
- 2022AbductionRules: Training Transformers to Explain Unexpected Inputscited by 17
- 2023Why Softmax Attention Outperforms Linear Attentioncited by 15
- 2024Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursioncited by 14
- 2024Autoregressive Large Language Models are Computationally Universalcited by 14
- 2025Sample Complexity and Representation Ability of Test-time Scaling Paradigmscited by 12
- 2023Transformers in Reinforcement Learning: A Surveycited by 11
- 2024Ask, and it shall be given: On the Turing completeness of promptingcited by 10
- 2021On the Regularity of Attentioncited by 9
- 2024Rethinking Transformers in Solving POMDPscited by 9
- 2025Softmax Transformers are Turing-Completecited by 9
- 2024Do Large Language Models Learn Human-Like Strategic Preferences?cited by 8
- 2025Sequential-Parallel Duality in Prefix Scannable Modelscited by 8
- 2024Models That Prove Their Own Correctnesscited by 6
- 2024Transformers As Approximations of Solomonoff Inductioncited by 6
50 most cited of 85 All 85 (JSON)
- 2026Hidden Reasoning Must Leak, but Need Not Be Readable: Fundamental Opportunities and Limits for Chain-of-Thought Monitoring29 Sep 2026
- 2026On the Expressive Power of Transformers13 Aug 2026
- 2026Faster Query-Key Learning Sharpens Attention in Self-Attention Models7 Aug 2026
- 2026Transcript-Managed Transformers: Monotone Multi-Agent Collapse and Universality with Two Pop-Enabled Transcripts31 Jul 2026
- 2026Planning with Transformers: Chain of Computation and Structured Context Windows20 Jul 2026
- 2026An expressivity analysis of hierarchical modelling in deep transformers via bounded-depth grammars16 Jun 2026
- 2026The Deterministic Horizon: When Extended Reasoning Fails and Tool Delegation Becomes Necessary29 May 2026
- 2026Position: The Turing-Completeness of Autoregressive Transformers Relies Heavily on Context Management19 May 2026
- 2026Neural Weight Norm = Kolmogorov Complexity11 May 2026
- 2026A PyTorch Library of Turing-Complete Neural Networks3 May 2026
- 2026Barriers to Universal Reasoning With Transformers (And How to Overcome Them)28 Apr 2026
- 2026Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy3 Apr 2026
38 more
- 2026No Certificate for Alignment: Two Independent Impossibilities and the Pareto Frontier of Achievable Safety Guarantees8 Mar 2026
- 2026Universal computation is intrinsic to language model decoding12 Jan 2026
- 2025Exact Learning of Arithmetic with Differentiable Agents27 Nov 2025
- 2025Softmax Transformers are Turing-Complete25 Nov 2025
- 2025Probability Distributions Computed by Autoregressive Transformers31 Oct 2025
- 2025Efficient Turing Machine Simulation with Transformers28 Sep 2025
- 2025The Role of Logic and Automata in Understanding Transformers28 Sep 2025
- 2025Is In-Context Learning Learning?12 Sep 2025
- 2025Beyond Memorization: Extending Reasoning Depth with Recurrence, Memory and Test-Time Compute Scaling22 Aug 2025
- 2025On the Existence of Universal Simulators of Attention23 Jun 2025
- 2025Sequential-Parallel Duality in Prefix Scannable Models12 Jun 2025
- 2025Eliciting Fine-Tuned Transformer Capabilities via Inference-Time Techniques9 Jun 2025
- 2025Sample Complexity and Representation Ability of Test-time Scaling Paradigms5 Jun 2025
- 2025Constant Bit-size Transformers Are Turing Complete22 May 2025
- 2025Reasoning by Superposition: A Theoretical Perspective on Chain of Continuous Thought18 May 2025
- 2025Continuity and Isolation Lead to Doubts or Dilemmas in Large Language Models15 May 2025
- 2025Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework28 Apr 2025
- 2025Three tiers of computation in transformers and in brain architectures5 Mar 2025
- 2025Towards Understanding Multi-Round Large Language Model Reasoning: Approximability, Learnability and Generalizability5 Mar 2025
- 2025Transformers versus the EM Algorithm in Multi-class Clustering9 Feb 2025
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformers4 Feb 2025
- 2024Learning Elementary Cellular Automata with Transformers2 Dec 2024
- 2024Training Neural Networks as Recognizers of Formal Languages11 Nov 2024
- 2024Ask, and it shall be given: On the Turing completeness of prompting4 Nov 2024
- 2024Autoregressive Large Language Models are Computationally Universal4 Oct 2024
- 2024Transformers As Approximations of Solomonoff Induction22 Aug 2024
- 2024Representing Rule-based Chatbots with Transformers15 Jul 2024
- 2024DGR-MIL: Exploring Diverse Global Representation in Multiple Instance Learning for Whole Slide Image Classification4 Jul 2024
- 2024Universal Length Generalization with Turing Programs3 Jul 2024
- 2024[WIP] Jailbreak Paradox: The Achilles' Heel of LLMs18 Jun 2024
- 2024Separations in the Representational Capabilities of Transformers and Recurrent Architectures13 Jun 2024
- 2024Transformers Provably Learn Sparse Token Selection While Fully-Connected Nets Cannot11 Jun 2024
- 2024NUMCoT: Numerals and Units of Measurement in Chain-of-Thought Reasoning using Large Language Models5 Jun 2024
- 2024Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning28 May 2024
- 2024Rethinking Transformers in Solving POMDPs27 May 2024
- 2024Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theory26 May 2024
- 2024Models That Prove Their Own Correctness24 May 2024
- 2024Towards a Theoretical Understanding of the 'Reversal Curse' via Training Dynamics7 May 2024
50 newest of 85 All 85 (JSON)
- 2023Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspectivecited by 293
- 2025Reasoning by Superposition: A Theoretical Perspective on Chain of Continuous Thoughtcited by 73
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformerscited by 28
- 2024Towards a Theoretical Understanding of the 'Reversal Curse' via Training Dynamicscited by 27
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 23
- 2022AbductionRules: Training Transformers to Explain Unexpected Inputscited by 17
- 2025Sample Complexity and Representation Ability of Test-time Scaling Paradigmscited by 12
- 2025Softmax Transformers are Turing-Completecited by 9
- 2025Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Frameworkcited by 4
- 2025Beyond Memorization: Extending Reasoning Depth with Recurrence, Memory and Test-Time Compute Scalingcited by 4
- 2025Efficient Turing Machine Simulation with Transformerscited by 4
- 2026Barriers to Universal Reasoning With Transformers (And How to Overcome Them)cited by 1
12 most cited of 17 All 17 (JSON)
- 2026Hidden Reasoning Must Leak, but Need Not Be Readable: Fundamental Opportunities and Limits for Chain-of-Thought Monitoring29 Sep 2026
- 2026The Deterministic Horizon: When Extended Reasoning Fails and Tool Delegation Becomes Necessary29 May 2026
- 2026Barriers to Universal Reasoning With Transformers (And How to Overcome Them)28 Apr 2026
- 2026Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy3 Apr 2026
- 2025Softmax Transformers are Turing-Complete25 Nov 2025
- 2025Efficient Turing Machine Simulation with Transformers28 Sep 2025
- 2025Beyond Memorization: Extending Reasoning Depth with Recurrence, Memory and Test-Time Compute Scaling22 Aug 2025
- 2025Sample Complexity and Representation Ability of Test-time Scaling Paradigms5 Jun 2025
- 2025Reasoning by Superposition: A Theoretical Perspective on Chain of Continuous Thought18 May 2025
- 2025Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework28 Apr 2025
- 2025Towards Understanding Multi-Round Large Language Model Reasoning: Approximability, Learnability and Generalizability5 Mar 2025
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformers4 Feb 2025
12 newest of 17 All 17 (JSON)
- 2024[WIP] Jailbreak Paradox: The Achilles' Heel of LLMscited by 2
- 2024[WIP] Jailbreak Paradox: The Achilles' Heel of LLMs18 Jun 2024
- 2025Sequential-Parallel Duality in Prefix Scannable Modelscited by 8
- 2025Sequential-Parallel Duality in Prefix Scannable Models12 Jun 2025
- 2022What Can Transformers Learn In-Context? A Case Study of Simple Function Classescited by 700
- 2023Trained Transformers Learn Linear Models In-Contextcited by 331
- 2023Transformers as Statisticians: Provable In-Context Learning with In-Context Algorithm Selectioncited by 291
- 2022Pure Transformers are Powerful Graph Learnerscited by 188
- 2021Inductive Biases and Variable Creation in Self-Attention Mechanismscited by 144
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2022Overcoming a Theoretical Limitation of Self-Attentioncited by 110
- 2021Self-Attention Networks Can Process Bounded Hierarchical Languagescited by 105
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformerscited by 101
- 2023Scan and Snap: Understanding Training Dynamics and Token Composition in 1-layer Transformercited by 101
- 2023How Do Transformers Learn Topic Structure: Towards a Mechanistic Understandingcited by 85
- 2021Representing Numbers in NLP: a Survey and a Visioncited by 83
12 most cited of 65 All 65 (JSON)
- 2026On the Expressive Power of Transformers13 Aug 2026
- 2026Faster Query-Key Learning Sharpens Attention in Self-Attention Models7 Aug 2026
- 2026Transcript-Managed Transformers: Monotone Multi-Agent Collapse and Universality with Two Pop-Enabled Transcripts31 Jul 2026
- 2026Planning with Transformers: Chain of Computation and Structured Context Windows20 Jul 2026
- 2026An expressivity analysis of hierarchical modelling in deep transformers via bounded-depth grammars16 Jun 2026
- 2026Position: The Turing-Completeness of Autoregressive Transformers Relies Heavily on Context Management19 May 2026
- 2026Neural Weight Norm = Kolmogorov Complexity11 May 2026
- 2026A PyTorch Library of Turing-Complete Neural Networks3 May 2026
- 2026No Certificate for Alignment: Two Independent Impossibilities and the Pareto Frontier of Achievable Safety Guarantees8 Mar 2026
- 2026Universal computation is intrinsic to language model decoding12 Jan 2026
- 2025Exact Learning of Arithmetic with Differentiable Agents27 Nov 2025
- 2025Probability Distributions Computed by Autoregressive Transformers31 Oct 2025
12 newest of 65 All 65 (JSON)