On the Practical Computational Power of Finite Precision RNNs for Language Recognition
Not on the map. Why?
Abstract (arXiv)
While Recurrent Neural Networks (RNNs) are famously known to be Turing complete, this relies on infinite precision in the states and unbounded computation time. We consider the case of RNNs with finite precision whose computation time is linear in the input length. Under these limitations, we show that different RNN variants have different computational power. In particular, we show that the LSTM and the Elman-RNN with ReLU activation are strictly stronger than the RNN with a squashing activation and the GRU. This is achieved because LSTMs and ReLU-RNNs can easily implement counting behavior. We show empirically that the LSTM does indeed learn to effectively use the counting mechanism.
Key facts. Cited by 117 papers in the map (data through 14 Oct 2026). First posted on arXiv 13 May 2018.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 17; 2022: 14; 2023: 24; 2024: 18; 2025: 25; 2026: 19.
117 papers.
Sort:
By area:
- 2021How Attentive are Graph Attention Networks?cited by 835
- 2023Large Language Modelscited by 780
- 2022Neural Networks and the Chomsky Hierarchycited by 217
- 2021Thinking Like Transformerscited by 184
- 2021Saturated Transformers are Constant-Depth Threshold Circuitscited by 139
- 2023What Formal Languages Can Transformers Express? A Surveycited by 124
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformerscited by 102
- 2021Going Beyond Linear Transformers with Recurrent Fast Weight Programmerscited by 89
- 2023How Do Transformers Learn Topic Structure: Towards a Mechanistic Understandingcited by 86
- 2022Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functionscited by 70
- 2022A Logic for Expressing Log-Precision Transformerscited by 67
- 2024Mechanistic Design and Scaling of Hybrid Architecturescited by 59
38 more
- 2025How Linguistics Learned to Stop Worrying and Love the Language Modelscited by 51
- 2023The Expressive Power of Transformers with Chain of Thoughtcited by 50
- 2023Memory Augmented Large Language Models are Computationally Universalcited by 47
- 2024The Expressive Capacity of State Space Models: A Formal Language Perspectivecited by 46
- 2024Mission: Impossible Language Modelscited by 32
- 2024Counting Ability of Large Language Models and Impact of Tokenizationcited by 32
- 2023Transformers are uninterpretable with myopic methods: a case study with bounded Dyck grammarscited by 30
- 2023Average-Hard Attention Transformers are Constant-Depth Uniform Threshold Circuitscited by 26
- 2024Mechanistic?cited by 25
- 2021Minimum Description Length Recurrent Neural Networkscited by 24
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 24
- 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
- 2021Inducing Transformer's Compositional Generalization Ability via Auxiliary Sequence Prediction Taskscited by 19
- 2024Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theorycited by 19
- 2022Extracting Finite Automata from RNNs Using State Mergingcited by 17
- 2023Limits for Learning with Language Modelscited by 17
- 2021Exploring Transitivity in Neural NLI Models through Veridicalitycited by 15
- 2024Autoregressive Large Language Models are Computationally Universalcited by 15
- 2024Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Lengthcited by 14
- 2025Characterizing the Expressivity of Fixed-Precision Transformer Language Modelscited by 14
- 2025Information Locality as an Inductive Bias for Neural Language Modelscited by 14
- 2022Benchmarking Compositionality with Formal Languagescited by 12
- 2023Counting and Algorithmic Generalization with Transformerscited by 12
- 2024Emergent Word Order Universals from Cognitively-Motivated Language Modelscited by 11
- 2024Can Transformers Learn n-gram Language Models?cited by 11
- 2023Human Behavioral Benchmarking: Numeric Magnitude Comparison Effects in Large Language Modelscited by 10
- 2021Can RNNs learn Recursive Nested Subject-Verb Agreements?cited by 9
- 2021Formal Language Theory Meets Modern NLPcited by 9
- 2025Tokenization Constraints in LLMs: A Study of Symbolic and Arithmetic Reasoning Limitscited by 9
- 2022Mutual Exclusivity Training and Primitive Augmentation to Induce Compositionalitycited by 8
- 2023On the Computational Complexity and Formal Hierarchy of Second Order Recurrent Neural Networkscited by 8
- 2025Meta-Learning Neural Mechanisms rather than Bayesian Priorscited by 8
- 2025Fast weight programming and linear transformers: from machine learning to neurobiologycited by 8
- 2026Why Are Linear RNNs More Parallelizable?cited by 8
- 2021Learning Bounded Context-Free-Grammar via LSTM and the Transformer:Difference and Explanationscited by 7
- 2022Exploring the Long-Term Generalization of Counting Behavior in RNNscited by 7
- 2023Introducing Rhetorical Parallelism Detection: A New Task with Datasets, Metrics, and Baselinescited by 7
50 most cited of 117 All 117 (JSON)
- 2026When Does Reward Teach State? A Hidden-Automaton Instrument and a Group-Language Warning Signal11 Jul 2026
- 2026When Does Tool Use Increase the Expressive Power of Finite-Precision Recurrent Models?7 Jul 2026
- 2026On Subquadratic Architectures: From Applications to Principles10 Jun 2026
- 2026Causally Evaluating the Learnability of Formal Language Tasks8 Jun 2026
- 2026An Algebraic View of the Expressivity of Recurrent Language Models1 Jun 2026
- 2026Refit the Probe: Single-Direction Ablation Is Not a Necessity Test30 May 2026
- 2026Revisiting Padded Transformer Expressivity: Which Architectural Choices Matter and Which Don't28 May 2026
- 2026Not-So-Strange Love: Language Models and Generative Linguistic Theories are More Compatible than They Appear11 May 2026
- 2026What Kind of Language is Easy to Language-Model Under Curriculum Learning?29 Apr 2026
- 2026Promoting Simple Agents: Ensemble Methods for Event-Log Prediction23 Apr 2026
- 2026On the Expressive Power and Limitations of Multi-Layer SSMs16 Apr 2026
- 2026You Can't Fight in Here! This is BBS!10 Apr 2026
38 more
- 2026Across the Levels of Analysis: Explaining Predictive Processing in Humans Requires More Than Machine-Estimated Probabilities10 Apr 2026
- 2026On the Role of Depth in the Expressivity of RNNs2 Apr 2026
- 2026Why Depth Matters in Parallelizable Sequence Models: A Lie Algebraic View5 Mar 2026
- 2026Why Are Linear RNNs More Parallelizable?4 Mar 2026
- 2026Neural Induction of Finite-State Transducers16 Jan 2026
- 2026Are Language Models Models?15 Jan 2026
- 2026Universal computation is intrinsic to language model decoding12 Jan 2026
- 2025Abacus: Self-Supervised Event Counting-Aligned Distributional Pretraining for Sequential User Modeling18 Dec 2025
- 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
- 2025Sequential Enumeration in Large Language Models4 Dec 2025
- 2025Exact Learning of Arithmetic with Differentiable Agents27 Nov 2025
- 2025Foundations of Artificial Intelligence Frameworks: Notion and Limits of AGI23 Nov 2025
- 2025Probability Distributions Computed by Autoregressive Transformers31 Oct 2025
- 2025Transformers are Inherently Succinct22 Oct 2025
- 2025Which Word Orders Facilitate Length Generalization in LMs? An Investigation with GCG-Based Artificial Languages14 Oct 2025
- 2025From Formal Language Theory to Statistical Learning: Finite Observability of Subregular Languages26 Sep 2025
- 2025Exploring Major Transitions in the Evolution of Biological Cognition With Artificial Neural Networks17 Sep 2025
- 2025Fast weight programming and linear transformers: from machine learning to neurobiology11 Aug 2025
- 2025Common Benchmarks Undervalue the Generalization Power of Programmatic Policies17 Jun 2025
- 2025Information Locality as an Inductive Bias for Neural Language Models5 Jun 2025
- 2025Characterizing the Expressivity of Fixed-Precision Transformer Language Models29 May 2025
- 2025Tokenization Constraints in LLMs: A Study of Symbolic and Arithmetic Reasoning Limits20 May 2025
- 2025Neural Networks as Universal Finite-State Machines: A Constructive Deterministic Finite Automaton Theory16 May 2025
- 2025Meta-Learning Neural Mechanisms rather than Bayesian Priors20 Mar 2025
- 2025Three tiers of computation in transformers and in brain architectures5 Mar 2025
- 2025Emergence of the Primacy Effect in Structured State-Space Models19 Feb 2025
- 2025How Linguistics Learned to Stop Worrying and Love the Language Models28 Jan 2025
- 2025Aligning Brain Activity with Advanced Transformer Models: Exploring the Role of Punctuation in Semantic Processing10 Jan 2025
- 2025Emergent Symbol-like Number Variables in Artificial Neural Networks10 Jan 2025
- 2024Training Neural Networks as Recognizers of Formal Languages11 Nov 2024
- 2024Counting Ability of Large Language Models and Impact of Tokenization25 Oct 2024
- 2024Mechanistic?7 Oct 2024
- 2024Autoregressive Large Language Models are Computationally Universal4 Oct 2024
- 2024Precision, Stability, and Generalization: A Comprehensive Assessment of RNNs learnability capability for Classifying Counter and Dyck Languages4 Oct 2024
- 2024Can Transformers Learn n-gram Language Models?3 Oct 2024
50 newest of 117 All 117 (JSON)
- 2022A Logic for Expressing Log-Precision Transformerscited by 67
- 2023The Expressive Power of Transformers with Chain of Thoughtcited by 50
- 2024Counting Ability of Large Language Models and Impact of Tokenizationcited by 32
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 24
- 2025Tokenization Constraints in LLMs: A Study of Symbolic and Arithmetic Reasoning Limitscited by 9
- 2026On the Expressive Power and Limitations of Multi-Layer SSMscited by 1
- 2026On the Expressive Power and Limitations of Multi-Layer SSMs16 Apr 2026
- 2025Tokenization Constraints in LLMs: A Study of Symbolic and Arithmetic Reasoning Limits20 May 2025
- 2024Training Neural Networks as Recognizers of Formal Languages11 Nov 2024
- 2024Counting Ability of Large Language Models and Impact of Tokenization25 Oct 2024
- 2023The Expressive Power of Transformers with Chain of Thought11 Oct 2023
- 2022A Logic for Expressing Log-Precision Transformers6 Oct 2022
- 2024Mechanistic?cited by 25
- 2024Mechanistic?7 Oct 2024
- 2021How Attentive are Graph Attention Networks?cited by 835
- 2023Large Language Modelscited by 780
- 2022Neural Networks and the Chomsky Hierarchycited by 217
- 2021Thinking Like Transformerscited by 184
- 2021Saturated Transformers are Constant-Depth Threshold Circuitscited by 139
- 2023What Formal Languages Can Transformers Express? A Surveycited by 124
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformerscited by 102
- 2021Going Beyond Linear Transformers with Recurrent Fast Weight Programmerscited by 89
- 2023How Do Transformers Learn Topic Structure: Towards a Mechanistic Understandingcited by 86
- 2022Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functionscited by 70
- 2024Mechanistic Design and Scaling of Hybrid Architecturescited by 59
- 2025How Linguistics Learned to Stop Worrying and Love the Language Modelscited by 51
12 most cited of 108 All 108 (JSON)
- 2026When Does Reward Teach State? A Hidden-Automaton Instrument and a Group-Language Warning Signal11 Jul 2026
- 2026When Does Tool Use Increase the Expressive Power of Finite-Precision Recurrent Models?7 Jul 2026
- 2026On Subquadratic Architectures: From Applications to Principles10 Jun 2026
- 2026Causally Evaluating the Learnability of Formal Language Tasks8 Jun 2026
- 2026An Algebraic View of the Expressivity of Recurrent Language Models1 Jun 2026
- 2026Refit the Probe: Single-Direction Ablation Is Not a Necessity Test30 May 2026
- 2026Revisiting Padded Transformer Expressivity: Which Architectural Choices Matter and Which Don't28 May 2026
- 2026Not-So-Strange Love: Language Models and Generative Linguistic Theories are More Compatible than They Appear11 May 2026
- 2026What Kind of Language is Easy to Language-Model Under Curriculum Learning?29 Apr 2026
- 2026Promoting Simple Agents: Ensemble Methods for Event-Log Prediction23 Apr 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
12 newest of 108 All 108 (JSON)