Erratum for “Formal Basis of a
Language Universal”

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

Mark 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 (Oui|Z)|W such as the following “forward crossing”
instance, in which — matches either / ou \ 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 Association for Computational Linguistics
Published under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0) Licence

je

D
o
w
n
o
un
d
e
d

F
r
o
m
h

t
t

p

:
/
/

d
je
r
e
c
t
.

m

je
t
.

e
d
toi
/
c
o

je
je
/

je

un
r
t
je
c
e
–
p
d

F
/

/

/

/

4
8
1
2
3
7
2
0
0
6
5
9
9
/
c
o

je
je

_
X
_
0
0
4
3
2
p
d

.

F

b
oui
g
toi
e
s
t

t

o
n
0
8
S
e
p
e
m
b
e
r
2
0
2
3
Télécharger le PDF