f

def/concept (induktiv) Sprache ist regulär $:\Leftrightarrow$ sr f

{{query: {and: sr f}}}