Formal Languages and Automata Theory | Synthical

Synthical

Your space

Profile

Activity

Favorites

Folders

Feeds

Contacts

About

Simple

Original

Articles about Formal Languages and Automata Theory

Blow-up in Non-Deterministic Automata

Yesterday by Ivan Baburin and Ryan Cotterell

Formal Languages and Automata Theory

Finite Automata for Efficient Graph Recognition

Yesterday by Frank Drewes and others

Formal Languages and Automata Theory

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions

Yesterday by Mattia Rosa and Mark Minas

Formal Languages and Automata Theory

Quantitative Semantics for Jumping Automata

Yesterday by Shaull Almagor and others at

Israel Institute of Technology

Formal Languages and Automata Theory

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models

2 days ago by Jörg Endrullis and others

Logic in Computer Science, Formal Languages and Automata Theory

On the Completeness and Ordering of Path-Complete Barrier Functions

2 days ago by Mahathi Anand and others

Systems and Control, Formal Languages and Automata Theory

LTL-Constrained Policy Optimization with Cycle Experience Replay

3 days ago by Ameesh Shah and others

Machine Learning, Artificial Intelligence

Solutions of Word Equations over Partially Commutative Structures

3 days ago by Volker Diekert and others

Formal Languages and Automata Theory, Logic in Computer Science

Escape of mass of the Thue-Morse sequence

3 days ago by Erez Nesharim and others

Number Theory, Formal Languages and Automata Theory

k-Universality of Regular Languages Revisited

3 days ago by Duncan Adamson and others

Formal Languages and Automata Theory, Data Structures and Algorithms

Polyregular Model Checking

3 days ago by Aliaume Lopez and Rafał Stefański

Formal Languages and Automata Theory

On Decidability and Expressive Power of Fusion Grammars

3 days ago by Tikhon Pshenitsyn

Formal Languages and Automata Theory

Relating Reversible Petri Nets and Reversible Event Structures, categorically

3 days ago by Hernán Melgratti and others

Logic in Computer Science, Formal Languages and Automata Theory

Conservative Perception Models for Probabilistic Model Checking

4 days ago by Matthew Cleaveland and others

Formal Languages and Automata Theory

Connections between the minimal neighborhood and the activity value of cellular automata

5 days ago by Alonso Castillo-Ramirez and Eduardo Veliz-Quintero

Cellular Automata and Lattice Gases, Formal Languages and Automata Theory

Behaviorally Correct Learning from Informants

6 days ago by Niklas Mohrin

Formal Languages and Automata Theory

Characterising memory in infinite games

6 days ago by Antonio Casares and Pierre Ohlmann

Formal Languages and Automata Theory, Logic in Computer Science

Word problems and embedding-obstructions in cellular automata groups on groups

6 days ago by Ville Salo

Group Theory, Computational Complexity

Watson-Crick conjugates of words and languages

6 days ago by Kalpana Mahalingam and Anuran Maity

Formal Languages and Automata Theory, Combinatorics

Simplifying LTL Model-Checking Given Prior Knowledge

6 days ago by Alexandre Duret-Lutz and others

Formal Languages and Automata Theory, Logic in Computer Science

Structural Reductions and Stutter Sensitive Properties

7 days ago by Emmanuel Paviot-Adet and others

Formal Languages and Automata Theory

Topological Kleene Field Theories: A new model of computation

7 days ago by Ángel González-Prieto and others

Dynamical Systems, Formal Languages and Automata Theory

Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework

7 days ago by Junle Li and others

Logic in Computer Science, Formal Languages and Automata Theory

Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions

19 March 2025 by Lan Zhang and others

Computation and Language, Formal Languages and Automata Theory

The categorical contours of the Chomsky-Schützenberger representation theorem

19 March 2025 by Paul-André Melliès and Noam Zeilberger

Category Theory, Formal Languages and Automata Theory

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

19 March 2025 by Wojciech Czerwiński and Piotr Hofman

Formal Languages and Automata Theory, Logic in Computer Science

Omega-Regular Robustness

19 March 2025 by Dana Fisman and Elina Sudit

Formal Languages and Automata Theory

Fractals from Regular Behaviours

18 March 2025 by Todd Schmid and others

Logic in Computer Science, Formal Languages and Automata Theory

Unique Hard Attention: A Tale of Two Sides

18 March 2025 by Selim Jerad and others

Machine Learning, Computational Complexity

Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues

18 March 2025 by Riccardo Grazzi and others at

Istituto Italiano di Tecnologia

Machine Learning, Computation and Language

Load more