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 (Y|Z)|W such as the following “forward crossing”
instance, in which — matches either / or \ 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) license
l
D
o
w
n
o
a
d
e
d
f
r
o
m
h
t
t
p
:
/
/
d
i
r
e
c
t
.
m
i
t
.
e
d
u
/
c
o
l
i
/
l
a
r
t
i
c
e
–
p
d
f
/
/
/
/
4
8
1
2
3
7
2
0
0
6
5
9
9
/
c
o
l
i
_
x
_
0
0
4
3
2
p
d
.
f
b
y
g
u
e
s
t
t
o
n
0
8
S
e
p
e
m
b
e
r
2
0
2
3
Download pdf