On the Computational Power of RNNs
Not on the map. Why?
Abstract (arXiv)
Recent neural network architectures such as the basic recurrent neural network (RNN) and Gated Recurrent Unit (GRU) have gained prominence as end-to-end learning architectures for natural language processing tasks. But what is the computational power of such systems? We prove that finite precision RNNs with one hidden layer and ReLU activation and finite precision GRUs are exactly as computationally powerful as deterministic finite automata. Allowing arbitrary precision, we prove that RNNs with one hidden layer and ReLU activation are at least as computationally powerful as pushdown automata. If we also allow infinite precision, infinite edge weights, and nonlinear output activation functions, we prove that GRUs are at least as computationally powerful as pushdown automata. All results are shown constructively.
Key facts. Cited by 35 papers in the map (data through 7 Oct 2026). First posted on arXiv 14 Jun 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 5; 2022: 2; 2023: 3; 2024: 9; 2025: 9; 2026: 7.
35 papers.
Sort:
By area:
- 2022Neural Networks and the Chomsky Hierarchycited by 214
- 2021Self-Attention Networks Can Process Bounded Hierarchical Languagescited by 105
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformerscited by 101
- 2024Theoretical Foundations of Deep Selective State-Space Modelscited by 73
- 2022Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functionscited by 68
- 2025How Linguistics Learned to Stop Worrying and Love the Language Modelscited by 50
- 2024Separations in the Representational Capabilities of Transformers and Recurrent Architecturescited by 29
- 2024On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoningcited by 26
- 2023Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensionscited by 20
- 2024What Languages are Easy to Language-Model? A Perspective from Learning Probabilistic Regular Languagescited by 20
- 2024Autoregressive Large Language Models are Computationally Universalcited by 14
- 2024Rethinking Transformers in Solving POMDPscited by 9
23 more
- 2021Learning Bounded Context-Free-Grammar via LSTM and the Transformer:Difference and Explanationscited by 7
- 2023Recurrent Neural Language Models as Probabilistic Finite-state Automatacited by 6
- 2025Compositional Reasoning with Transformers, RNNs, and Chain of Thoughtcited by 6
- 2025Fixed-Point RNNs: Interpolating from Diagonal to Densecited by 5
- 2024Lower Bounds on the Expressivity of Recurrent Neural Language Modelscited by 4
- 2024A Tensor Decomposition Perspective on Second-order RNNscited by 3
- 2021Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version)cited by 2
- 2025A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networkscited by 2
- 2026An Algebraic View of the Expressivity of Recurrent Language Modelscited by 2
- 2023On the Representational Capacity of Recurrent Neural Language Modelscited by 1
- 2024On Efficiently Representing Regular Languages as RNNscited by 1
- 2026Universal computation is intrinsic to language model decodingcited by 1
- 2021Learning and Generalization in RNNscited by 0
- 2025Learning Model Successorscited by 0
- 2025Language models as tools for investigating the distinction between possible and impossible natural languagescited by 0
- 2025Large language models have learned to use languagecited by 0
- 2025Large language models are not about natural languagecited by 0
- 2025Linguists should learn to love speech-based deep learning modelscited by 0
- 2026Are Language Models Models?cited by 0
- 2026Across the Levels of Analysis: Explaining Predictive Processing in Humans Requires More Than Machine-Estimated Probabilitiescited by 0
- 2026You Can't Fight in Here! This is BBS!cited by 0
- 2026Not-So-Strange Love: Language Models and Generative Linguistic Theories are More Compatible than They Appearcited by 0
- 2026An Irreducible Quantum Advantage in Aligning World Models with Realitycited by 0
- 2026An Irreducible Quantum Advantage in Aligning World Models with Reality20 Aug 2026
- 2026An Algebraic View of the Expressivity of Recurrent Language Models1 Jun 2026
- 2026Not-So-Strange Love: Language Models and Generative Linguistic Theories are More Compatible than They Appear11 May 2026
- 2026You Can't Fight in Here! This is BBS!10 Apr 2026
- 2026Across the Levels of Analysis: Explaining Predictive Processing in Humans Requires More Than Machine-Estimated Probabilities10 Apr 2026
- 2026Are Language Models Models?15 Jan 2026
- 2026Universal computation is intrinsic to language model decoding12 Jan 2026
- 2025Linguists should learn to love speech-based deep learning models16 Dec 2025
- 2025Large language models are not about natural language15 Dec 2025
- 2025Large language models have learned to use language13 Dec 2025
- 2025Language models as tools for investigating the distinction between possible and impossible natural languages10 Dec 2025
- 2025A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks30 May 2025
23 more
- 2025Fixed-Point RNNs: Interpolating from Diagonal to Dense13 Mar 2025
- 2025Compositional Reasoning with Transformers, RNNs, and Chain of Thought3 Mar 2025
- 2025Learning Model Successors31 Jan 2025
- 2025How Linguistics Learned to Stop Worrying and Love the Language Models28 Jan 2025
- 2024Autoregressive Large Language Models are Computationally Universal4 Oct 2024
- 2024On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning20 Jun 2024
- 2024Separations in the Representational Capabilities of Transformers and Recurrent Architectures13 Jun 2024
- 2024A Tensor Decomposition Perspective on Second-order RNNs7 Jun 2024
- 2024What Languages are Easy to Language-Model? A Perspective from Learning Probabilistic Regular Languages6 Jun 2024
- 2024Lower Bounds on the Expressivity of Recurrent Neural Language Models29 May 2024
- 2024Rethinking Transformers in Solving POMDPs27 May 2024
- 2024Theoretical Foundations of Deep Selective State-Space Models29 Feb 2024
- 2024On Efficiently Representing Regular Languages as RNNs24 Feb 2024
- 2023Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions24 Oct 2023
- 2023On the Representational Capacity of Recurrent Neural Language Models19 Oct 2023
- 2023Recurrent Neural Language Models as Probabilistic Finite-state Automata8 Oct 2023
- 2022Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functions22 Nov 2022
- 2022Neural Networks and the Chomsky Hierarchy5 Jul 2022
- 2021Learning Bounded Context-Free-Grammar via LSTM and the Transformer:Difference and Explanations16 Dec 2021
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformers28 Jul 2021
- 2021Learning and Generalization in RNNs31 May 2021
- 2021Self-Attention Networks Can Process Bounded Hierarchical Languages24 May 2021
- 2021Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version)20 Jan 2021
- 2024Theoretical Foundations of Deep Selective State-Space Modelscited by 73
- 2025Fixed-Point RNNs: Interpolating from Diagonal to Densecited by 5
- 2025Fixed-Point RNNs: Interpolating from Diagonal to Dense13 Mar 2025
- 2024Theoretical Foundations of Deep Selective State-Space Models29 Feb 2024
- 2022Neural Networks and the Chomsky Hierarchycited by 214
- 2021Self-Attention Networks Can Process Bounded Hierarchical Languagescited by 105
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformerscited by 101
- 2022Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functionscited by 68
- 2025How Linguistics Learned to Stop Worrying and Love the Language Modelscited by 50
- 2024Separations in the Representational Capabilities of Transformers and Recurrent Architecturescited by 29
- 2023Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensionscited by 20
- 2024What Languages are Easy to Language-Model? A Perspective from Learning Probabilistic Regular Languagescited by 20
- 2024Autoregressive Large Language Models are Computationally Universalcited by 14
- 2024Rethinking Transformers in Solving POMDPscited by 9
- 2021Learning Bounded Context-Free-Grammar via LSTM and the Transformer:Difference and Explanationscited by 7
- 2023Recurrent Neural Language Models as Probabilistic Finite-state Automatacited by 6
12 most cited of 30 All 30 (JSON)
- 2026An Algebraic View of the Expressivity of Recurrent Language Models1 Jun 2026
- 2026Not-So-Strange Love: Language Models and Generative Linguistic Theories are More Compatible than They Appear11 May 2026
- 2026You Can't Fight in Here! This is BBS!10 Apr 2026
- 2026Across the Levels of Analysis: Explaining Predictive Processing in Humans Requires More Than Machine-Estimated Probabilities10 Apr 2026
- 2026Are Language Models Models?15 Jan 2026
- 2026Universal computation is intrinsic to language model decoding12 Jan 2026
- 2025Linguists should learn to love speech-based deep learning models16 Dec 2025
- 2025Large language models are not about natural language15 Dec 2025
- 2025Large language models have learned to use language13 Dec 2025
- 2025Language models as tools for investigating the distinction between possible and impossible natural languages10 Dec 2025
- 2025A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks30 May 2025
- 2025Learning Model Successors31 Jan 2025
12 newest of 30 All 30 (JSON)