Pages that link to "Item:Q1269922"
From MaRDI portal
The following pages link to The undecidability of some equivalence problems concerning ngsm's and finite substitutions (Q1269922):
Displayed 3 items.
- A simple undecidable problem: the inclusion problem for finite substitutions on \(ab^* c\) (Q1887138) (← links)
- Undecidability of the equivalence of finite substitutions on regular language (Q4265533) (← links)
- The Equivalence Problem of Finite Substitutions on <font>ab*c</font>, with Applications (Q5696933) (← links)