The disambiguation approach to the input of formulae enables the user to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae we want to present only errors related to the interpretation meant by the user, hiding errors related to other interpretations (spurious errors). We propose a heuristic to recognize spurious errors, which has been integrated with the disambiguation algorithm of "Efficient Ambiguous Parsing of Mathematical Formulae" (Sacerdoti Coen and Zacchiroli, 2004).
SACERDOTI COEN, C., Zacchiroli, S. (2007). Spurious Disambiguation Error Detection.
Spurious Disambiguation Error Detection
SACERDOTI COEN, CLAUDIO;ZACCHIROLI, STEFANO
2007
Abstract
The disambiguation approach to the input of formulae enables the user to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae we want to present only errors related to the interpretation meant by the user, hiding errors related to other interpretations (spurious errors). We propose a heuristic to recognize spurious errors, which has been integrated with the disambiguation algorithm of "Efficient Ambiguous Parsing of Mathematical Formulae" (Sacerdoti Coen and Zacchiroli, 2004).File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
