Search

• < Previous
• 1
• Next >

Covering and separation for logical fragments with modular predicates

For every class $\mathscr{C}$ of word languages, one may associate a decision problem called $\mathscr{C}$-separation. Given two regular languages, it asks whether there exists a third language in $\mathscr{C}$ containing the first language, while being disjoint from the second one. Usually, finding&nbsp;[&hellip;]