Latest Research in Formal Languages and Automata Theory

Top Research Topics in Formal Languages and Automata Theory

• Formal Languages and Automata Theory — 9 papers
• Computability, Logic, AI Algorithms — 8 papers
• Constraint Satisfaction and Optimization — 3 papers
• Data Structures and Algorithms — 3 papers
• Computational Complexity — 3 papers
• Logic — 2 papers
• Logic in Computer Science — 2 papers
• Ferroelectric and Negative Capacitance Devices — 2 papers
• Scheduling and Optimization Algorithms — 2 papers
• semigroups and automata theory — 2 papers

Highest-Cited Papers

1. The Inherent Limits of Formal Systems: Undecidability and Incompleteness — E8 Intelligence Research
2. Locality Causes Tractability? An Intervention Study on the Variable-Interaction Radius in Geometric Random Satisfiability (Compact Version)
3. New Semantic Unit Operations: A Graph-Theoretical Metamodel for Sequential Fallback and Spatial Branching in Valuation Networks.
4. A Fresh Look at Lamarckian Evolution and the Baldwin Effect
5. Tag-system computation using only powers and principal logarithms
6. Unrestricted 2DFA simulation of 1NFAs: A Quadratic Limitation to a New Lower Bound
7. Non-Terminal Complexity of Simple Semi-Conditional Grammars
8. Loops, Inverse Limits and Non-Determinism
9. Beyond the Turing threshold: Productive grammars generate essentially undecidable languages
10. Solution to Bucher's density problem for context-free languages
11. Fitting and Learning Basis-Restricted Propositional Formulas
12. Adaptive Black-Box Exactness Barriers for Nearest-Source Girth Estimation in CONGEST
13. A PTAS for Non-Adaptive Stochastic Top-$k$ Sum under General Combinatorial Constraints
14. The Unprovable and the Uncomputable: Formal Systems' Fundamental Limits — E8 Intelligence Research
15. Gödel's Incompleteness: True Statements Beyond Formal Proof's Reach — E8 Intelligence Research
16. Automatic constraints with few subpowers and graphoid recognition
17. New Semantic Unit Operations: A Graph-Theoretical Metamodel for Sequential Fallback and Spatial Branching in Valuation Networks.
18. New Semantic Unit Operations: A Graph-Theoretical Metamodel for Recursive Fallback and Spatial Branching in Valuation Networks.
19. How to Verify Probabilistic Consistency of Predictive Models
20. Statistical Theory in the Age of Machine-Assisted Mathematics: Rethinking How Theory Is Made and Taught