Erratum for “Formal Basis of a
Language Universal”

Miloˇs Stanojevi´c
University of Edinburgh
School of Informatics
m.stanojevic@ed.ac.uk

Marcos Steedman
University of Edinburgh
School of Informatics
steedman@inf.ed.ac.uk

In the paper “Formal Basis of a Language Universal” by Miloˇs Stanojevi´c and Mark
Steedman in Computational Linguistics 47:1 (https://doi.org/10.1162/coli a 00394),
there is an error in example (12) on page 17.

The two occurrences of the notation \W should appear as |W.. The paper has been

updated so that the paragraph reads:

In the full theory, these rules are generalized to “second level” cases, in which the
secondary function is of the form (Y|z)|W such as the following “forward crossing”
instancia, in which — matches either / o \ in both input and output:

(12) The Forward Crossing Level Two Composition Rule

X/×Y (Y\Z)|W ⇒B× (X\Z)|W.

(>B2

×)

https://doi.org/10.1162/COLI x 00432

© 2022 Asociación de Lingüística Computacional
Publicado bajo una Atribución Creative Commons-NoComercial-SinDerivadas 4.0 Internacional
(CC BY-NC-ND 4.0) licencia

yo

D
oh
w
norte
oh
a
d
mi
d

F
r
oh
metro
h

t
t

pag

:
/
/

d
i
r
mi
C
t
.

metro

i
t
.

mi
d
tu
/
C
oh

yo
i
/

yo

a
r
t
i
C
mi
–
pag
d

F
/

/

/

/

4
8
1
2
3
7
2
0
0
6
5
9
9
/
C
oh

yo
i

_
X
_
0
0
4
3
2
pag
d

.

F

b
y
gramo
tu
mi
s
t

t

oh
norte
0
8
S
mi
pag
mi
metro
b
mi
r
2
0
2
3
Descargar PDF