Pages that link to "Item:Q5947359"
From MaRDI portal
The following pages link to Semi-Thue systems with an inhibitor (Q5947359):
Displaying 7 items.
- A canonical automaton for one-rule length-preserving string rewrite systems (Q498407) (← links)
- Termination proofs for string rewriting systems via inverse match-bounds (Q851146) (← links)
- Match-bounded string rewriting systems (Q1762560) (← links)
- Decision problems for semi-Thue systems with a few rules (Q1763707) (← links)
- On prefixal one-rule string rewrite systems (Q2330116) (← links)
- Non-Looping String Rewriting (Q4718895) (← links)
- On rationally controlled one-rule insertion systems (Q5044416) (← links)