RNNs can generate bounded hierarchical languages with optimal memory
Not on the map. Why?
Abstract (arXiv)
Recurrent neural networks empirically generate natural language with high syntactic fidelity. However, their success is not well-understood theoretically. We provide theoretical insight into this success, proving in a finite-precision setting that RNNs can efficiently generate bounded hierarchical languages that reflect the scaffolding of natural language syntax. We introduce Dyck-(k,m), the language of well-nested brackets (of k types) and m-bounded nesting depth, reflecting the bounded memory needs and long-distance dependencies of natural language syntax. The best known results use O(k^fracm2) memory (hidden units) to generate these languages. We prove that an RNN with O(m log k) hidden units suffices, an exponential reduction in memory, by an explicit construction. Finally, we show that no algorithm, even with unbounded computation, can suffice with o(m log k) hidden units.
Key facts. Cited by 59 papers in the map (data through 7 Oct 2026). First posted on arXiv 15 Oct 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 8; 2022: 2; 2023: 9; 2024: 17; 2025: 10; 2026: 13.
59 papers.
Sort:
By area:
- 2021Thinking Like Transformerscited by 182
- 2021Saturated Transformers are Constant-Depth Threshold Circuitscited by 137
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2021Self-Attention Networks Can Process Bounded Hierarchical Languagescited by 105
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformerscited by 101
- 2024In-Context Language Learning: Architectures and Algorithmscited by 86
- 2023How Do Transformers Learn Topic Structure: Towards a Mechanistic Understandingcited by 85
- 2024Mechanistic Design and Scaling of Hybrid Architecturescited by 57
- 2025How Linguistics Learned to Stop Worrying and Love the Language Modelscited by 50
- 2024The Expressive Capacity of State Space Models: A Formal Language Perspectivecited by 45
- 2024Theoretical limitations of multi-layer Transformercited by 43
- 2024Mission: Impossible Language Modelscited by 31
38 more
- 2024Transformers Can Represent n-gram Language Modelscited by 31
- 2023Transformers are uninterpretable with myopic methods: a case study with bounded Dyck grammarscited by 30
- 2024Separations in the Representational Capabilities of Transformers and Recurrent Architecturescited by 29
- 2023Interpretability Illusions in the Generalization of Simplified Modelscited by 24
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 23
- 2024Learned feature representations are biased by complexity, learning order, position, and morecited by 22
- 2024What Languages are Easy to Language-Model? A Perspective from Learning Probabilistic Regular Languagescited by 20
- 2024A Survey on Compositional Learning of AI Models: Theoretical and Experimental Practicescited by 15
- 2022Benchmarking Compositionality with Formal Languagescited by 12
- 2024Emergent Word Order Universals from Cognitively-Motivated Language Modelscited by 11
- 2025On the Query Complexity of Verifier-Assisted Language Generationcited by 10
- 2021Causal Transformers Perform Below Chance on Recursive Nested Constructions, Unlike Humanscited by 8
- 2023Feature Interactions Reveal Linguistic Structure in Language Modelscited by 8
- 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
- 2021The Limitations of Limited Context for Constituency Parsingcited by 5
- 2024Understanding the Logic of Direct Preference Alignment through Logiccited by 5
- 2024Lower Bounds on the Expressivity of Recurrent Neural Language Modelscited by 4
- 2024Stability Analysis of Various Symbolic Rule Extraction Methods from Recurrent Neural Networkcited by 3
- 2025Rectifying LLM Thought from Lens of Optimizationcited by 3
- 2026Characterizing the Expressivity of Local Attention in Transformerscited by 3
- 2021Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version)cited by 2
- 2022Assessing the Unitary RNN as an End-to-End Compositional Model of Syntaxcited by 2
- 2023Evaluating Transformer's Ability to Learn Mildly Context-Sensitive Languagescited by 2
- 2025Deciphering Trajectory-Aided LLM Reasoning: An Optimization Perspectivecited by 2
- 2026Exploration of Fast-Slow Latent Recurrence for Train-Short, Test-Long Generalizationcited by 2
- 2023Algorithms for Acyclic Weighted Finite-State Automata with Failure Arcscited by 1
- 2023On the Representational Capacity of Recurrent Neural Language Modelscited by 1
- 2024On Efficiently Representing Regular Languages as RNNscited by 1
- 2026A Provable Expressiveness Hierarchy in Hybrid Linear-Full Attentioncited by 1
- 2026On the Emergence of Syntax by Means of Local Interactioncited by 1
- 2024Precision, Stability, and Generalization: A Comprehensive Assessment of RNNs learnability capability for Classifying Counter and Dyck Languagescited by 0
- 2025Understanding Syntactic Generalization in Structure-inducing Language Modelscited by 0
- 2025Post-Norm can Resharpen Attentioncited 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
50 most cited of 59 All 59 (JSON)
- 2026Causally Evaluating the Learnability of Formal Language Tasks8 Jun 2026
- 2026Refit the Probe: Single-Direction Ablation Is Not a Necessity Test30 May 2026
- 2026Towards Verifiable Transformers: Solver-Checkable Circuit Explanations21 May 2026
- 2026Not-So-Strange Love: Language Models and Generative Linguistic Theories are More Compatible than They Appear11 May 2026
- 2026Characterizing the Expressivity of Local Attention in Transformers1 May 2026
- 2026On the Emergence of Syntax by Means of Local Interaction20 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
- 2026The UNDO Flip-Flop: A Controlled Probe for Reversible Semantic State Management in State Space Model7 Apr 2026
- 2026Exploration of Fast-Slow Latent Recurrence for Train-Short, Test-Long Generalization2 Apr 2026
- 2026On the Computational Hardness of Transformers11 Mar 2026
- 2026A Provable Expressiveness Hierarchy in Hybrid Linear-Full Attention2 Feb 2026
38 more
- 2026Are Language Models Models?15 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
- 2025Rectifying LLM Thought from Lens of Optimization1 Dec 2025
- 2025Post-Norm can Resharpen Attention9 Oct 2025
- 2025Understanding Syntactic Generalization in Structure-inducing Language Models11 Aug 2025
- 2025Deciphering Trajectory-Aided LLM Reasoning: An Optimization Perspective26 May 2025
- 2025On the Query Complexity of Verifier-Assisted Language Generation17 Feb 2025
- 2025How Linguistics Learned to Stop Worrying and Love the Language Models28 Jan 2025
- 2024Understanding the Logic of Direct Preference Alignment through Logic23 Dec 2024
- 2024Theoretical limitations of multi-layer Transformer4 Dec 2024
- 2024Training Neural Networks as Recognizers of Formal Languages11 Nov 2024
- 2024Precision, Stability, and Generalization: A Comprehensive Assessment of RNNs learnability capability for Classifying Counter and Dyck Languages4 Oct 2024
- 2024Separations in the Representational Capabilities of Transformers and Recurrent Architectures13 Jun 2024
- 2024A Survey on Compositional Learning of AI Models: Theoretical and Experimental Practices13 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
- 2024The Expressive Capacity of State Space Models: A Formal Language Perspective27 May 2024
- 2024Learned feature representations are biased by complexity, learning order, position, and more9 May 2024
- 2024Transformers Can Represent n-gram Language Models23 Apr 2024
- 2024Mechanistic Design and Scaling of Hybrid Architectures26 Mar 2024
- 2024On Efficiently Representing Regular Languages as RNNs24 Feb 2024
- 2024Emergent Word Order Universals from Cognitively-Motivated Language Models19 Feb 2024
- 2024Stability Analysis of Various Symbolic Rule Extraction Methods from Recurrent Neural Network4 Feb 2024
- 2024In-Context Language Learning: Architectures and Algorithms23 Jan 2024
- 2024Mission: Impossible Language Models12 Jan 2024
- 2023Interpretability Illusions in the Generalization of Simplified Models6 Dec 2023
- 2023Transformers are uninterpretable with myopic methods: a case study with bounded Dyck grammars3 Dec 2023
- 2023What Formal Languages Can Transformers Express? A Survey1 Nov 2023
- 2023On the Representational Capacity of Recurrent Neural Language Models19 Oct 2023
- 2023Recurrent Neural Language Models as Probabilistic Finite-state Automata8 Oct 2023
- 2023Evaluating Transformer's Ability to Learn Mildly Context-Sensitive Languages2 Sep 2023
- 2023Feature Interactions Reveal Linguistic Structure in Language Models21 Jun 2023
- 2023How Do Transformers Learn Topic Structure: Towards a Mechanistic Understanding7 Mar 2023
- 2023Algorithms for Acyclic Weighted Finite-State Automata with Failure Arcs17 Jan 2023
- 2022Benchmarking Compositionality with Formal Languages17 Aug 2022
50 newest of 59 All 59 (JSON)
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 23
- 2025On the Query Complexity of Verifier-Assisted Language Generationcited by 10
- 2025Rectifying LLM Thought from Lens of Optimizationcited by 3
- 2025Deciphering Trajectory-Aided LLM Reasoning: An Optimization Perspectivecited by 2
- 2025Rectifying LLM Thought from Lens of Optimization1 Dec 2025
- 2025Deciphering Trajectory-Aided LLM Reasoning: An Optimization Perspective26 May 2025
- 2025On the Query Complexity of Verifier-Assisted Language Generation17 Feb 2025
- 2024Training Neural Networks as Recognizers of Formal Languages11 Nov 2024
- 2021Thinking Like Transformerscited by 182
- 2021Saturated Transformers are Constant-Depth Threshold Circuitscited by 137
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2021Self-Attention Networks Can Process Bounded Hierarchical Languagescited by 105
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformerscited by 101
- 2024In-Context Language Learning: Architectures and Algorithmscited by 86
- 2023How Do Transformers Learn Topic Structure: Towards a Mechanistic Understandingcited by 85
- 2024Mechanistic Design and Scaling of Hybrid Architecturescited by 57
- 2025How Linguistics Learned to Stop Worrying and Love the Language Modelscited by 50
- 2024The Expressive Capacity of State Space Models: A Formal Language Perspectivecited by 45
- 2024Theoretical limitations of multi-layer Transformercited by 43
- 2024Mission: Impossible Language Modelscited by 31
12 most cited of 54 All 54 (JSON)
- 2026Causally Evaluating the Learnability of Formal Language Tasks8 Jun 2026
- 2026Refit the Probe: Single-Direction Ablation Is Not a Necessity Test30 May 2026
- 2026Towards Verifiable Transformers: Solver-Checkable Circuit Explanations21 May 2026
- 2026Not-So-Strange Love: Language Models and Generative Linguistic Theories are More Compatible than They Appear11 May 2026
- 2026Characterizing the Expressivity of Local Attention in Transformers1 May 2026
- 2026On the Emergence of Syntax by Means of Local Interaction20 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
- 2026The UNDO Flip-Flop: A Controlled Probe for Reversible Semantic State Management in State Space Model7 Apr 2026
- 2026Exploration of Fast-Slow Latent Recurrence for Train-Short, Test-Long Generalization2 Apr 2026
- 2026On the Computational Hardness of Transformers11 Mar 2026
- 2026A Provable Expressiveness Hierarchy in Hybrid Linear-Full Attention2 Feb 2026
12 newest of 54 All 54 (JSON)