Recurrent Neural Networks as Weighted Language Recognizers
Not on the map. Why?
Abstract (arXiv)
We investigate the computational complexity of various problems for simple recurrent neural networks (RNNs) as formal models for recognizing weighted languages. We focus on the single-layer, ReLU-activation, rational-weight RNNs with softmax, which are commonly used in natural language processing applications. We show that most problems for such RNNs are undecidable, including consistency, equivalence, minimization, and the determination of the highest-weighted string. However, for consistent RNNs the last problem becomes decidable, although the solution length can surpass all computable bounds. If additionally the string is limited to polynomial length, the problem becomes NP-complete and APX-hard. In summary, this shows that approximations and heuristic algorithms are necessary in practical applications of those RNNs.
Key facts. Cited by 30 papers in the map (data through 14 Oct 2026). First posted on arXiv 15 Nov 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 2; 2022: 7; 2023: 8; 2024: 9; 2025: 3; 2026: 1.
30 papers.
Sort:
By area:
- 2023Large Language Modelscited by 780
- 2022Neural Networks and the Chomsky Hierarchycited by 217
- 2021NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristicscited by 154
- 2022Calibrating Sequence likelihood Improves Conditional Language Generationcited by 121
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformerscited by 102
- 2023Tighter Bounds on the Expressivity of Transformer Encoderscited by 66
- 2022A Measure-Theoretic Characterization of Tight Language Modelscited by 33
- 2024Learning Universal Predictorscited by 31
- 2022A Well-Composed Text is Half Done! Composition Sampling for Diverse Conditional Generationcited by 28
- 2024Universal Length Generalization with Turing Programscited by 25
- 2024Permute-and-Flip: An optimally stable and watermarkable decoder for LLMscited by 22
- 2023Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensionscited by 20
18 more
- 2024Autoregressive Large Language Models are Computationally Universalcited by 15
- 2024Language Models are Symbolic Learners in Arithmeticcited by 11
- 2022The Surprising Computational Power of Nondeterministic Stack RNNscited by 6
- 2023Recurrent Neural Language Models as Probabilistic Finite-state Automatacited by 6
- 2022Predictive Querying for Autoregressive Neural Sequence Modelscited by 5
- 2024Positional Encoding Helps Recurrent Neural Networks Handle a Large Vocabularycited by 5
- 2023Unlocking Anticipatory Text Generation: A Constrained Approach for Large Language Models Decodingcited by 4
- 2025Emergence of the Primacy Effect in Structured State-Space Modelscited by 4
- 2022Understanding Robust Generalization in Learning Regular Languagescited by 3
- 2024A Tensor Decomposition Perspective on Second-order RNNscited by 3
- 2024Neural Networks Generalize on Low Complexity Datacited by 3
- 2023On the Depth between Beam Search and Exhaustive Search for Text Generationcited 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
- 2025Aligning Brain Activity with Advanced Transformer Models: Exploring the Role of Punctuation in Semantic Processingcited by 1
- 2023Learning Transductions and Alignments with RNN Seq2seq Modelscited by 0
- 2024Exploring Learnability in Memory-Augmented Recurrent Neural Networks: Precision, Stability, and Empirical Insightscited by 0
- 2025LTL Verification of Memoryful Neural Agentscited by 0
- 2026An Algebraic View of the Expressivity of Recurrent Language Models1 Jun 2026
- 2025LTL Verification of Memoryful Neural Agents4 Mar 2025
- 2025Emergence of the Primacy Effect in Structured State-Space Models19 Feb 2025
- 2025Aligning Brain Activity with Advanced Transformer Models: Exploring the Role of Punctuation in Semantic Processing10 Jan 2025
- 2024Language Models are Symbolic Learners in Arithmetic21 Oct 2024
- 2024Autoregressive Large Language Models are Computationally Universal4 Oct 2024
- 2024Exploring Learnability in Memory-Augmented Recurrent Neural Networks: Precision, Stability, and Empirical Insights4 Oct 2024
- 2024Neural Networks Generalize on Low Complexity Data19 Sep 2024
- 2024Universal Length Generalization with Turing Programs3 Jul 2024
- 2024A Tensor Decomposition Perspective on Second-order RNNs7 Jun 2024
- 2024Permute-and-Flip: An optimally stable and watermarkable decoder for LLMs8 Feb 2024
- 2024Positional Encoding Helps Recurrent Neural Networks Handle a Large Vocabulary31 Jan 2024
18 more
- 2024Learning Universal Predictors26 Jan 2024
- 2023Unlocking Anticipatory Text Generation: A Constrained Approach for Large Language Models Decoding11 Dec 2023
- 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
- 2023On the Depth between Beam Search and Exhaustive Search for Text Generation25 Aug 2023
- 2023Large Language Models11 Jul 2023
- 2023Learning Transductions and Alignments with RNN Seq2seq Models13 Mar 2023
- 2023Tighter Bounds on the Expressivity of Transformer Encoders25 Jan 2023
- 2022A Measure-Theoretic Characterization of Tight Language Models20 Dec 2022
- 2022Predictive Querying for Autoregressive Neural Sequence Models12 Oct 2022
- 2022The Surprising Computational Power of Nondeterministic Stack RNNs4 Oct 2022
- 2022Calibrating Sequence likelihood Improves Conditional Language Generation30 Sep 2022
- 2022Neural Networks and the Chomsky Hierarchy5 Jul 2022
- 2022A Well-Composed Text is Half Done! Composition Sampling for Diverse Conditional Generation28 Mar 2022
- 2022Understanding Robust Generalization in Learning Regular Languages20 Feb 2022
- 2021NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics16 Dec 2021
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformers28 Jul 2021
- 2023Large Language Modelscited by 780
- 2022Neural Networks and the Chomsky Hierarchycited by 217
- 2021NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristicscited by 154
- 2022Calibrating Sequence likelihood Improves Conditional Language Generationcited by 121
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformerscited by 102
- 2023Tighter Bounds on the Expressivity of Transformer Encoderscited by 66
- 2022A Measure-Theoretic Characterization of Tight Language Modelscited by 33
- 2024Learning Universal Predictorscited by 31
- 2022A Well-Composed Text is Half Done! Composition Sampling for Diverse Conditional Generationcited by 28
- 2024Universal Length Generalization with Turing Programscited by 25
- 2023Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensionscited by 20
- 2024Autoregressive Large Language Models are Computationally Universalcited by 15
12 most cited of 28 All 28 (JSON)
- 2026An Algebraic View of the Expressivity of Recurrent Language Models1 Jun 2026
- 2025LTL Verification of Memoryful Neural Agents4 Mar 2025
- 2025Aligning Brain Activity with Advanced Transformer Models: Exploring the Role of Punctuation in Semantic Processing10 Jan 2025
- 2024Language Models are Symbolic Learners in Arithmetic21 Oct 2024
- 2024Autoregressive Large Language Models are Computationally Universal4 Oct 2024
- 2024Exploring Learnability in Memory-Augmented Recurrent Neural Networks: Precision, Stability, and Empirical Insights4 Oct 2024
- 2024Neural Networks Generalize on Low Complexity Data19 Sep 2024
- 2024Universal Length Generalization with Turing Programs3 Jul 2024
- 2024A Tensor Decomposition Perspective on Second-order RNNs7 Jun 2024
- 2024Positional Encoding Helps Recurrent Neural Networks Handle a Large Vocabulary31 Jan 2024
- 2024Learning Universal Predictors26 Jan 2024
- 2023Unlocking Anticipatory Text Generation: A Constrained Approach for Large Language Models Decoding11 Dec 2023
12 newest of 28 All 28 (JSON)