Pages that link to "Item:Q1426447"
From MaRDI portal
The following pages link to An algebraic characterization of deterministic regular languages over infinite alphabets. (Q1426447):
Displaying 7 items.
- Nominal monoids (Q372971) (← links)
- A succinct canonical register automaton model (Q478388) (← links)
- Classes of regular and context-free languages over countably infinite alphabets (Q1068559) (← links)
- Nondeterministic and co-nondeterministic implies deterministic, for data languages (Q2233422) (← links)
- A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions (Q2915170) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- A Myhill-Nerode theorem for register automata and symbolic trace languages (Q5918650) (← links)