Cover Image

The rotating normal form of braids is regular

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Fromentin, Jean
Format:	Preprint
Published:	2016
Subjects:	Group Theory Computation and Language Formal Languages and Automata Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Presentation of monoids generated by a projection and an involution
by: Caron, Pascal, et al.
Published: (2024)

Cayley Automatic Groups and Numerical Characteristics of Turing Transducers
by: Berdinsky, Dmitry
Published: (2016)

On linguistic subsets of groups and monoids
by: Carvalho, André, et al.
Published: (2025)

Geodesic languages for rational subsets and conjugates in virtually free groups
by: Carvalho, André, et al.
Published: (2024)

Sections of Submonoids of Nilpotent Groups
by: Shafrir, Doron
Published: (2024)

Equality of cycle lengths in one- and two-dimensional $σ$ automata
by: Vadali, Avi, et al.
Published: (2025)

Visibly Pushdown Languages in Groups
by: Ciobanu, Laura, et al.
Published: (2026)

Is decidability of the Submonoid Membership Problem closed under finite extensions?
by: Shafrir, Doron
Published: (2024)

Membership and Conjugacy in Inverse Semigroups
by: Fleischer, Lukas, et al.
Published: (2025)

A language-theoretic approach to study the density of subsets in free groups
by: Carvalho, André
Published: (2026)

Equations in wreath products
by: Bartholdi, Laurent, et al.
Published: (2024)

Submonoid Membership in n-dimensional lamplighter groups and S-unit equations
by: Dong, Ruiwen
Published: (2024)

Idempotent cellular automata and their natural order
by: Castillo-Ramirez, Alonso, et al.
Published: (2024)

Word equations, constraints, and formal languages
by: Ciobanu, Laura
Published: (2024)

Slice closures of indexed languages and word equations with counting constraints
by: Ciobanu, Laura, et al.
Published: (2024)

The asymptotic size of finite irreducible semigroups of rational matrices
by: Kiefer, Stefan, et al.
Published: (2026)

Membership problems in nilpotent groups
by: Bodart, Corentin
Published: (2024)

Graph and wreath products of cellular automata
by: Salo, Ville
Published: (2020)

Bounded Generation of Submonoids of Heisenberg Groups
by: Shafrir, Doron
Published: (2024)

On finite extensions of lamplighter groups
by: Bodart, Corentin
Published: (2025)

Graph subshifts
by: Arrighi, Pablo, et al.
Published: (2023)

Recursive numeral systems are highly regular and easy to process
by: Prasertsom, Ponrawee, et al.
Published: (2025)

Word problems and embedding-obstructions in cellular automata groups on groups
by: Salo, Ville
Published: (2025)

Navigational hierarchies of regular languages
by: Place, Thomas, et al.
Published: (2024)

Note on dissecting power of regular languages
by: Rukavicka, Josef
Published: (2023)

Automata for the commutative closure of regular sets
by: Becher, Verónica, et al.
Published: (2025)

Characterizing normality via automata and random matrix products
by: Bienvenu, Laurent, et al.
Published: (2026)

On Direct Product and Quotient of Strongly Connected Automata
by: Hu, Zino H.
Published: (2011)

Deterministic pushdown automata can compress some normal sequences
by: Carton, Olivier, et al.
Published: (2022)

On the order of lazy cellular automata
by: Alcalá-Arroyo, Edgar, et al.
Published: (2025)

Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo)
by: Böhm, Corrado, et al.
Published: (2025)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
by: Pert, Charles, et al.
Published: (2024)

On Word Representations and Embeddings in Complex Matrices
by: Bell, Paul C., et al.
Published: (2026)

The Identity Problem in virtually solvable matrix groups over algebraic numbers
by: Bodart, Corentin, et al.
Published: (2024)

Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments
by: Raskin, Jean-François, et al.
Published: (2024)

Learning Event-recording Automata Passively
by: Majumdar, Anirban, et al.
Published: (2025)

Greybox Learning of Languages Recognizable by Event-Recording Automata
by: Majumdar, Anirban, et al.
Published: (2024)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
by: Zhang, Lan, et al.
Published: (2025)

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
by: Pan, Muyu, et al.
Published: (2025)

Benchmarking Testing in Automated Theorem Proving
by: Kim, Jongyoon, et al.
Published: (2026)