<p>I want to consider <span class="math-container">$L \subset A^* \times B^*$</span> as a &quot;language&quot;. Is there standard terminology for this?</p>
<p>I wrote &quot;double language&quot; first (but that doesn't sound right to me), then &quot;square language&quot; (but languages can be squared in various ways), then &quot;pair language&quot; (maybe ok?), or just &quot;language&quot;. The issue with just &quot;language&quot; is that it doesn't convey that there's a sort of &quot;type hierarchy&quot; of languages, which would be useful for me (just informally that is, don't read too much into the word &quot;type&quot;, I barely know what it means). Eventually I figured maybe someone has already called this something and I should use the same.</p>
<p>My paper is in symbolic dynamics (or something like that), where I think no term is fixed for this. I am sure I have seen such &quot;languages&quot; in the theory of formal languages, in automata theory, and in combinatorics on words, but I can't really put my finger on any specific reference where they play a prominent role.</p>
<p>You can also just give your expert (or other) suggestion.</p>

CC BY-SA 4.0
2021-03-29T09:28:22.967Z
If I understand your question properly, the word you are looking for is "transducer". See here:https://en.wikipedia.org/wiki/Finite-state_transducer
Faustus
CC BY-SA 4.0
2021-03-29T09:33:23.313Z
That's an interesting point, indeed a transducer gives rise to such an object. However, it does not seem correct in my situation, $(u,v) \in L$ does not mean that $v$ is produced in any way from $u$, even intuitively (actually these words end up representing coordinates in a Cantor set). But your point suggests that something like "relation language" would be yet another possibility.
Ville Salo
CC BY-SA 4.0
2021-03-29T18:19:13.883Z
I was gonna suggest relation or relation language, but you already got there, so I'm just recording this here as a vote for that terminology.
Joshua Grochow
<reference-request><fl.formal-languages><terminology>
Terminology for languages of pairs of words
Ville Salo
# Terminology for languages of pairs of words

(Asked by: username_0 on 2021-03-29)

I want to consider $L \subset A^\* \times B^\*$ as a "language". Is there standard terminology for this?

I wrote "double language" first (but that doesn't sound right to me), then "square language" (but languages can be squared in various ways), then "pair language" (maybe ok?), or just "language". The issue with just "language" is that it doesn't convey that there's a sort of "type hierarchy" of languages, which would be useful for me (just informally that is, don't read too much into the word "type", I barely know what it means). Eventually I figured maybe someone has already called this something and I should use the same.

My paper is in symbolic dynamics (or something like that), where I think no term is fixed for this. I am sure I have seen such "languages" in the theory of formal languages, in automata theory, and in combinatorics on words, but I can't really put my finger on any specific reference where they play a prominent role.

You can also just give your expert (or other) suggestion.

**Tags:** reference-request, fl.formal-languages, terminology
> **Comments:**
> **username_1**: If I understand your question properly, the word you are looking for is "transducer". See here:https://en.wikipedia.org/wiki/Finite-state_transducer  
> **username_0**: That's an interesting point, indeed a transducer gives rise to such an object. However, it does not seem correct in my situation, $(u,v) \in L$ does not mean that $v$ is produced in any way from $u$, even intuitively (actually these words end up representing coordinates in a Cantor set). But your point suggests that something like "relation language" would be yet another possibility.  
> **username_2**: I was gonna suggest relation or relation language, but you already got there, so I'm just recording this here as a vote for that terminology.  

---

## 0 answers

