Pages that link to "Item:Q1075775"

The following pages link to Test sets for finite substitutions (Q1075775):

Displaying 2 items.

• New techniques for proving the decidability of equivalence problem (Q913523) (← links)
• The equivalence of finite valued transducers (on HDT0L languages) is decidable (Q1090467) (← links)