an automatic correcting method - inria fileissn 0249-6399 isrn inria/rr--4204--fr+eng apport de...

18
HAL Id: inria-00072418 https://hal.inria.fr/inria-00072418 Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. An Automatic Correcting Method Philippe Langlois To cite this version: Philippe Langlois. An Automatic Correcting Method. RR-4204, INRIA. 2001. inria-00072418

Upload: dangtruc

Post on 13-Aug-2019

223 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

HAL Id: inria-00072418https://hal.inria.fr/inria-00072418

Submitted on 24 May 2006

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

An Automatic Correcting MethodPhilippe Langlois

To cite this version:

Philippe Langlois. An Automatic Correcting Method. RR-4204, INRIA. 2001. �inria-00072418�

Page 2: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

ISS

N 0

249-

6399

ISR

N IN

RIA

/RR

--42

04--

FR

+E

NG

ap por t de r ech er ch e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

An automatic correcting method

Philippe Langlois, INRIA

No 4204

juin 2001

THEME 2

Page 3: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic
Page 4: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

����������� ��������������������������� �������

�!#"%$&"%'#'�(*),+.-�/0$%10"&2435�6�785:9

;=<?>A@CB�D�EGFIHKJ?LMB�NPORQSLPTALMBKNBAUVTAWXNYT�Z[N]\_^`@�a.ORNPLYbSZ[BcedfOXghBAUVi,dfHAJ[WRLMdfB

j,WXk[klOSd_U,mnB�dfBKTo<?BKdfTo<?BpJ�qXr`DXsXr�EtghZ?LMJuDRsRs?v,EwvArCk[WRQRBx\

y8z#{K|A}�~?�X|S��� ORdfd�BxT:UfLMJ?Q�@CB�U�<[O`m[\�LPJ4U�BKJ[m�UfO�LP@Ck?d�O��SBuUf<?B�WRTATAZ?doWRT�^�OX��d�Bx\_Z?NMUf\*TAOR@Ck?ZnUfBKm�LPJ��lJ?L�UfB�k?d�BxT�LY\_LPORJ��;=<?B ����� i�@CB�Uf<?Onm�k?dfOnT�BK\f\�BK\�WRJ�WXZ?U�OR@�WXU�LYT�T�OSd�dfBKT�U�LPORJ�OR�,U�<?B��[do\hU��%OSdfm?BAd�BA�.BxT:UCOX�,Uf<?B�dfORZ[J[mnLPJ?QuBAdfdfORdo\�U�<[BT�OS@Ck?ZnUfWXU�LPORJ8QSBAJ?BKdfWXU�Bx\A�4;=<?B�@CBAU�<?Onm8k[d�O��`LYmnBK\�W�T�OSd�dfBKT�U�BxmCd�Bx\_Z?NMU�WXJ[m8W�alOSZ?J[m�OX�]Uf<?B�dfBK\�LYmnZ[WXNlBAdfd�OSde��OSd�W�T�NYWR\f\OX��WRNMQSORdfL�Uf<?@�\e��BVLYmnBAJ4UfL���^S�S��B�k[d�Bx\_BKJSU�U�<?BI@�WXLPJ���BKWXU�Z?dfBK\�OX�]Uf<?B ����� i�@CBAU�<?Onm�WRJ[m�LPNMNPZ[\_U�doW�UfBVLMUf\�LMJ4U�BKd�Bx\hUo\�WRJ[mNPLM@CLMUfW�UfLMOSJ[\=��LMU�< B�¡?WR@¢k[NMBx\A�£ ¤4¥0¦�§�¨ }�©{S� WRZnU�OS@CWXU�LYT�T�ORdfdfBKT:UfLMOSJ]ª ����� i«@CBAU�<?Onm¬ª[WSTATAZ?dfWST�^SªS�lJ?L�UfB�k?dfBKT�LY\�LMOSJ]ª`­[OSWXU�LPJ?QCklOSLMJ4U,WXdfLMU�<?@CB�UfLPT

®Y¯]°_±³²x´�°�µ[¶Y±%·%¸�¹

º]»½¼¿¾ÁÀ&ÂÄÃKÀż¿¾ÇÆoÈ¿¾&ÉÊÆhË:Æo¼¿ÈÌÆoͽȿÂÎÆo¾ÏÆ�ÐÑÂh¾%Â_ÆoÐÑÒ³»ÓÐÑÂhÔRÉ:Ð�À�ÉoÕÖÀ&»½Â�×nÆoÍXÉ:Ð&ÆfÀ%É:¼¿ÐÑÂÙؽÂÎÈYÚ ÛÝÜxÕMÉ:ÐÑÞ,ÆfÀ%¼¿ßAà½ÂÎØxàâá?ÆoÐ&ÆoÈ¿È¿ãhÈ¿¼¿¾%Þ�Âä�å:åoæ[ç�è:è�é:é:é[êÝëfìxíAî�ïfðAñ�ì[êYò:óAèfô�õhö½÷

Unite de recherche INRIA Rhone-Alpes655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN (France)

Telephone : 04 76 61 52 00 - International: +33 4 76 61 52 00Telecopie : 04 76 61 52 52 - International: +33 4 76 61 52 52

Page 5: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

� ��� �������������������������������w������� ������C���

��� {�� � � � BK\�@CH�Uf<?OnmnBK\�mnB8TAORdfd�BxT:UfLMOSJ WX@CHKNMLPORdfBAJ4U�NPW�k?dfHKTALP\�LMOSJ mnBx\�dfHK\�Z?N�UoW�Uo\ITKWXNYT�Z?NPHK\�BKJ k[d�HxT�LY\_LPORJ �[J?LPBR� � W@CH�Uf<?OnmnB ����� i k.BAdf@CB�U�Z?J[B8T�ORdfdfBKT:UfLMOSJ WXZ?U�OR@�WXU�LYbSZ[BCm?B¢N�� B��0B�U�m�� ORdomndfB�Z[J�mnBx\�BAdfdfBAZ?do\�m�� WRd�dfORJ[m?L�LPJ4U�dfOnmnZ?LMU�BK\k[WRdeNMB�TAWXNYT�Z[N&� � NMNPB,��OSZ?dfJ?L�U�Z?J�d�Hx\_Z[N�UoW�U�T�OSd�dfLPQRH=B�U�Z?J?B,a.ORdfJ?BVmnBVN�� BAdfd�BKZ?d dfHK\�LPmnZ[BANPNMB,k.ORZ[deZ?J?BIT�NYWR\f\_B,m�� WXNPQROSd�LMU�<[@¢Bx\WXZ?¡¢k?dfORk[d�LPH�UfHK\ LYmnBAJ4UfL��[HKBK\K� � ORZ[\�k?dfHK\�BAJ4U�OSJ[\ NPBK\ek[d�LPJ[T�LPk[WRNMBx\eTAWRdfWST:U�HKd�LY\_U�LYbSZ[BK\ mnB�NPW�@CHAU�<?OnmnB ����� i�B�U�LPNPNMZ[\_U�dfORJl\\�BK\=LPJSUfHAd���Uo\=B�UV\�BK\=NPLM@CLMUfW�UfLMOSJ[\=k[WRd,mnBK\�BA¡nBA@Ck?NPBK\K�� ¨ |K{ ¦ ��� � � T�OSd�dfBKT�U�LPORJ�WXZnUfOR@�W�UfLPb4Z?BSªn@¢HAU�<?OnmnB ����� i�ªlk?dfHKT�LY\�LMOSJ]ª`k?d�HxT�LY\_LPORJ��[J?LPBRªlWXdfL�Uf<?@CH�U�LYb4Z?BI­[OXU�UfWRJSUfB

Page 6: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

� � ���#�����=����� ���� �¢��������Ï���� � �����

� � WXdfLMU�<?@CH�UfLPb4Z?B¢mnBK\�OSdfm?LMJ[WXU�BKZ?df\VBK\_UIZ[J?B�WXk?k?dfO½¡nLM@�WXU�LPORJumnBCN�� WRd�LMU�<?@CHAU�LYbSZ[B�dfHABKNMNPB�b4Z?Le\ � BKJ mnLY\_U�LPJ?QRZ?B¢k[WRd������ �������������������� mnBK\�J?OS@�a?dfBK\�bSZ � BKNMNPB�@�WRJ?LMk[Z?NMBS� � B�dfHK\�Z?NMUfWXU¢WXk[k?d�OnTo<?H8��ORZ?dfJ?L�k[WXd¢Z?J�TKWXNYT�Z?N�BAJ�k?d�HxT�LY\_LPORJ��[J?LPBdfBAk?dfHK\�BAJ4U�BIBAJ*QSHAJ?HKdfWRN.NPB�dfHK\�Z?N�UoW�U�B�¡?WST:U��� ���!"�# $�%�������&� b4Z?L¬BK\_UVWXZ�@CLMBKZn¡�TABANPNMB�mnB�N�� WRd�LMU�<[@¢HAU�LYb4Z?B�ZnU�LPNPLP\�HABS�

')(*' +-,!.0/21�354*6�798;:=<2>#4@?BA�/CAD>@8FEGA5<21H4#IJ4@?�KMLGNOA5<PI0NQ>R3S8T3j�BK@CWRdfb4Z?OSJ[\�NMBx\�mnBAZ?¡�\�BAJ[\�mnLM�0HAdfBAJ4Uf\�mnB�NYW¢J?OXUfLMOSJ�m?B�k?d�HxT�LY\_LPORJ�U�BKNMNPB�b4Z?B�J?ORZl\=�RBAJ[ORJ[\=mnB�N�� Z?U�LPNMLY\_BKdK�

U ~WV�} � �YXÑ{ZX ¨�[]\T[ X ¤ © ¤ �@^M~?}_XÑ|a` � |aXcb�� ¤.� � W�k[d�HxT�LY\_LPORJ¢�[J?LPB�m?B,N�� WXdfLMU�<?@CH�UfLPb4Z?BVBK\_U�Z?J?BVb4Z[WRJ4U�LMU�HVWRd�a?LMU�[email protected]�U�LMU�BC@�WXLY\V�?¡nHABd� ���������� �CeIWXJl\�NYW8k[dfWXU�LYbSZ[BRª0T�B�U�U�BCk?dfHKTALP\�LMOSJ BK\_UIZ[J?B���OSJ[T:UfLMOSJ mnB¢TAWRdfWST:U�HKd�LY\_U�LYbSZ[BK\,@�WXU�HAdfLPBANPNMBx\T�OS@C@¢B�k[WXd�B�¡nBA@Ck?NPB�NPB�J?OS@�a?dfB8mnB�a?L�Uo\�m?B�NYW @�WXJ4U�LY\�\�B8a?LPJ[WRLMdfB�m�� Z?J�J?OS@�a?dfBf� �`LPd�QSZ?NPB�­[OXU�UfWRJSUfB8B�U¢NMB�@CO`m?Bm�� WXdfd�OSJ[mnL%� � OXUfORJ[\hg T�B�U�U�B¢k?dfHKT�LY\�LMOSJ �[J?LPBR� � OSZ[\INPW�\�Z?k?k.OS\�BAdfORJ[\�mnH��[J[LMBCmnB��ÑWYi�OSJ dfBANYW�UfLM�SB�TAWRd�J?OSZ[\IJ?ORZl\VLPJ4U�H��dfBK\f\_OSJ[\�k?NPZ[\�k[WXd�U�LYT�Z?NPLP>AdfBA@CBAJ4U�WRZn¡�J[OR@�a[d�Bx\G���`LPd�QSZ?NMB�­[OXU�UfWXJ4UfBRª[OSZuJ?OS@�a?dfBK\=­lOXU_UoWXJ4Uf\2jlOSJuW8WXLPJ[\�LTglknmR��onORLMUp Z?J BKJ[\�BA@�a[NMBCmnBCJ?OR@�a?dfBK\V­[OXU�UfWXJ4Uo\�Orqts"uSv�w�xzytp�mnHKJ?OXUfBCN�� WXdfd�OSJ[mnL#m?WXJl\Gp�mnBCNYW���WXNPBAZ[dhw{yD|�� � � BAJl\_BK@�a?NPBp�BK\_U�@�Z?J[L�m�� Z?J?B8WXdfLMU�<?@CH�UfLPb4Z?B}��k?dfHKTALP\�LPORJ �[J?LPB}g�mnHK\�NMOSdf\�b4Z?Bfs"uSv�w�~��5x:ª]N�� HK��WXNPZ[W�UfLMOSJ�\�Z?d�p�mnB�N�� OSklHKdfWXU�BAZ[dHANPHA@CBKJSUoWXLPd�Bz~zy]�����a���Y���$�S�$� ���RHKd�LM�[B�klOSZ?d�w2�#�fy�p]ª

s"uSv�w�~��SxB�Fv�w�~��Sx�v@m��D�&xGW½�RBxT�� �5�J��g�� �hv_�BAJ�\�Z?k?k.OS\fWXJ4U�b4Z�� WXZ[TAZ?J�mnHAklWR\f\_BK@¢BKJ4U�mnBuTAWRk[WRTAL�UfH-� �����������&�;� �"�Y�������&� �CJ�� WXk?klWXdoWXLY\�\�B*NMOSdf\�mnZ�TKWXNYT�Z?N%��eIWXJ[\NPB�TKWR\¢mnB�NYW J?ORdf@CB�m�� WXdfL�Uf<?@CH�UfLPb4Z?B�­[OXU�UfWRJSUfB�a[LMJ[WRLMdfBf� ���e� �*�&��rlª mnBAZn¡���OSd�@�WXUf\¢mnB�dfBAk[d�Hx\_BKJSUoW�UfLMOSJ�mnH��[J[LP\f\_BKJ4UdfBK\�klBxT:U�LP�RBK@CBAJ4U�NMBx\�\_LP@Ck?NPB8B�U�mnOSZ?a?NPB�k?dfHKT�LY\�LMOSJ[\�gT �¡£¢5¤ ¥r¦}�{ma§S¨"©CB�Uzg;ªf¡Omr¤mrm��{ma§5¨H«*¬�BKJ�@¢OnmnB�m�� WRd�dfORJlmnLWXZ�k?NPZ[\�k?df>K\�­Pva®_¯³�2o`LeOSJ \�Z?k?k.OS\�BCm?B¢k[NMZ[\�b4Z?B°g±y²p]ªeNYW�d�BKNPWXU�LPORJ{�_vZ��k.BAdf@¢BAU�m�� BA¡nk?NMLYT�LMU�BKd�NPW�k?dfHKTALP\�LMOSJ³g k.ORZ?dN�� WRd�dfORJ[m?L0WRZ�k[NMZ[\,k?d�>x\Aª

g³�µ´*¶5·C�awdy�p²¸rs"uSv@m��-w�x��¹m&�0¤ �&Dr�U ~�V} � �YX&{aX ¨º[ ©�^ � [ } � {���Ñ|K~n| � � B�\�BKTAORJ[m�\�BAJ[\�mnBIk?dfHKT�LY\�LMOSJ8mnHKTAd�LMU�N�� BKd�dfBAZ[d�b4Z?L0B�¡nLY\hUfBVBAJ4Ufd�B�NPW�bSZlWXJ4U�LMU�H�d�HKBANPNMBQwB�U�NPW�b4Z[WXJ4U�LMU�HITAWRNPTAZ?NMHKBh»w*b4Z�� BKNMNPB�WRk?k?dfOnTo<?BR�Sc#WRdfTABVb4Z�� LMN0\ � WXQSL�U=m�� Z?J?BVdfBANYW�UfLMOSJ8BAJ4Ufd�B,��WRNMBKZ?df\�B�¡?WRT�U�B�B�U�WRk?k?dfOnTo<?HABSªT�BAU_UfBIJ[OXU�LPORJ*mnBIk?dfHKT�LY\�LMOSJ�J�� BK\_U�k[WR\��?¡nHAB}� "��������� ªlBANPNMB�mnHKklBKJ[m�m?BIN�� WXNPQRORdfLMU�<?@CB�mnBITKWXNYT�Z?N]m?B�»w� � OSdf\fb4Z?B�TABANPZ?L��ÄT�LBK\_U,B�¡nHxT�ZnUfHIBKJ*k?d�HxT�LY\_LPORJ��[J?LPB¼g�ª[LMN]Bx\hU�doWXLY\_OSJ?J[WRa?NMB�mnB�TAORJ[\�LPm?HAdfBAd=bSZ[B�NPW¢k?dfHKTALP\�LMOSJ�m?B�»w Bx\hU,OSknU�LP@�WXNPB�mn>K\,b4Z?B

»w��µwPv*m!�D�&xGW½�RBKT�� �5�S�{g�¤ ��®0�� B�U�U�B�dfBANYW�U�LPORJ�H�UfBAJ[mW��N�� WXNPQROSd�LMU�<?@CB�mnB�TAWRNPTAZ?N¬mnB�»wªnNYWCT�ORJ4UfdfWRLMJ4U�BImnB�k?dfHKT�LY\�LMOSJ³�hv_��\�WXU�LY\h�ÑWRL�UfBIklWXd=NMBx\�ORk.HAdoW�U�LPORJl\HANPHA@CBKJSUoWXLPd�Bx\=\_Z?d�p]�

�ÄNRBx\hU�ÑWRTALMNPB�mnB�\_B�TAORJ`��WXLPJ[T�dfBeb4Z�� Z?J?BeUfBANPNMB�T�OSJSUfdfWRLMJ4UfB J�� Bx\hUk?NMZl\�J?HxT�Bx\�\fWXLPd�BK@CBAJ4U�\�WXU�LY\h�ÑWRL�UfBeNPORdo\�b4Z?B N�� WRNMQSORdfL�Uf<?@CBb4Z?LlTKWXNYT�Z?NPB�»w8HK�½WRNMZ[B�k?NMZl\_LPBAZ?do\ OSklHKdfWXU�LPORJ[\#HKNMHK@¢BKJ4UfWXLPdfBK\K��c�BKZ8m�� ORk.HAdoW�U�LPORJl\ \_ZS½8\�BAJ4U���mnHKQRdoWRmnBKd NPW�k?dfHKTALP\�LPORJ�m�� Z?JdfHK\�Z?N�UoW�U=T�OR@C@CBIk[WXd�B�¡nBA@Ck?NPBIklOSZ?d�NYW¢\_OS@¢@CBI\_Z?LP��WXJ4U�BIOYq�J?ORZl\�J?ORU�OSJ[\ g]�µg�¨H«,B�U�\_Z[k?klO4\_OSJ[\ g-y�p]� � B�TKWXNYT�Z?NmnB���� g��µmRªnk[Z?LP\�wW� gd�]��mnOSJ?J?B�BKJ�k[d�HxT�LY\_LPORJ�g�ª

s"u0vc�5xB� g��mnOSJ[T

s"uSvcw�xB�¾§5�UfWRJ[mnLY\�b4Z?B

w��¹mr¤� B�UIWXNPQRORdfLMU�<?@CB�mnB�TKWXNYT�Z?N�mnB�»wuJ?B�\�WXU�LY\h�ÑWRL�UVklWR\�NYWCd�BKNPWXU�LPORJ²��®0�:�º�ÄN�BK\_UVLP@C@¢HxmnLYW�UVLYT�L�mnB�k?dfORk.OS\�BAd�Z?JuWRNMQSORdfL�Uf<?@CBb4Z?L#TAWXNYT�Z[NMB�»w¿�Àw� � W�dfBANYW�UfLMOSJt�c®r�,BK\_UIWXNPORdo\,\fW�UfLP\_�ÑWXLMU�B�W½�SBKT¼���¹§�BAU�NPB�dfHK\�Z?N�UoW�UV@�WRLMJ4U�BKJ[WXJ4U�TKWXNYT�Z?NPH�Bx\hUI@ �K@CBLYT�L]NPB�d�Hx\_Z?NMUfWXU�B�¡?WRT�UK�

Á2ÁÎÜBÂ�Ã%Ä�Å$Ã

Page 7: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

')(�� �³?�: :=/2K�3-8):=<2>*4*?BA5/CAD>*8 EGA�<21H4*IJ4@?�K LQNOA5<2IJNG>@3J8T3� � B�¡nBK@¢k[NMB=k?dfHKTAHKmnBKJSUe\�Z?QRQS>AdfB�k[NMZ[\�LPBAZ?do\#k?LY\hUfBK\#k.ORZ?deWR@¢HKNMLPORdfBAd#NYWIk?d�HxT�LY\_LPORJCm�� Z?JCd�Hx\_Z[N�UoW�UeTAWRNPTAZ?NMH=BKJ�k?dfHKTALP\�LPORJ

�[J?LPBR�y���� ¤J[ | ¤ } �Ñ~�V�} � �rXÑ{ZX ¨�[ ©�� �R~ �&� � � � � W�k?NPZ[\J[W��%�RB�T�ORJl\_LY\hUfB��,BA�.BxT:UfZ?BAdNMB�@ �K@CB�TAWRNPTAZ?N`W½�RBKT#Z[J?B�WRd�LMU�<?@CHAU�LYbSZ[Bm�� Z?J?B�k?dfHKT�LY\�LMOSJ�\�Z?klHKd�LPBAZ[d�BS� � WVk.BAd�U�B=mnB�k?d�HxT�LY\_LPORJ�mnB�N�� B�¡nBA@Ck?NPB�k[d�HxT�HKm?BAJ4U�Bx\hU W�U�U�HKJ4Z[HAB�ORZ�m?LP\�k[WXdoW��YUBKJ�k?dfHKTALP\�LPORJWXZ[QR@CBAJ4U�HKB�g�Gklg��

� B�U�U�B�k?dfHKT�LY\�LMOSJ�\_Z[klHKd�LPBAZ?dfB�klBKZnU �AU�dfB�m?LP\�klOSJ?LPa?NMB�mnB��ÑWYiAORJ�@�WXU�HAdfLPBANPNMB=T�OS@¢@CB�k[WXd�B�¡nBK@¢k[NMB�NPWImnOSZ?a?NPB�k?dfHKTALP\�LPORJmnB�NYW�J?OSd�@CB�� �e��� �@�Y��r�\�L]NPB�TAWRNPTAZ?N�LPJ?LMU�LYWXNBK\_UVBAJu\�LM@Ck?NPB�k?dfHKTALP\�LPORJ]�[iVZn�ÄmnBAN��?ªlNPWCk?dfHKTALP\�LPORJ*H�UfBAJ[mnZ[B�mnB�NYW�mnOSZ?a?NPBk?dfHKTALP\�LMOSJ mnBCNYW�J?ORdf@CB�� ���e� �*�&��r���OSZ?d�J[L�U�Z?J�TAWSmndfB�J?OSd�@�WXU�LM�!��mnL��0HAdfBAJ4UfBK\�dfHKWXNPLY\�WXU�LPORJ[\KªH��NYW���ORLY\�@CWXU�HKd�LPBANPNMBCBAUNPORQRLYT�LPBANPNPBRªemnOSJSU�NYW�k?d�HxT�LY\_LPORJ�B��0BKT�U�LP�RB ��WXdfLMB*\�BANPORJ�NMBx\�WXdoTo<?L�UfBKT�U�Z?dfBK\K�Bo`Z?d8k?dfOnT�Bx\�\�BAZ?do\�o`c¬iVj � ªeN�� LP@Ck?NPWRJ4UfW�UfLMOSJNPORQRLYT�LPBANPNPB�m�� Z?J?B*�RHKd�LMUfWRa?NPB�b4Z[WRm?d�Z?k[NMB�k?dfHKT�LY\�LMOSJ�BK\_UCm?LP\�klOSJ?LPa?NMBSª BANPNMB�k.BAdf@¢BAU}gF¡ g� ª ��onZ?dCk?d�OnTABK\f\_BKZ?df\�¡��� ?ª�NYWk?dfHKTALP\�LMOSJ�HAU�BKJ[mnZ?B�k.BAdf@¢BAU,k?NPZ[\�@COnmnBK\_U�BK@¢BKJ4UGg³¡ g «�� ª �

e�BK\=WXNMU�BKd�J[WXU�LP�RBx\eNPORQRLYT�LPBANPNPBK\�bSZ[L¬klBKd�@CB�U�U�BKJSU=Z?J?B�k?dfHKTALP\�LPORJ�WRd�a?LMU�doWXLPdfBA@CBAJ4U�HKNMBK�RHAB�B�¡nLY\hUfBAJ4U2j`ORJ�k[WXdfNMBIWXNPORdo\�m?B@�Z[N�UfL��³k?dfHKT�LY\�LMOSJ]� � BK\�a?LPa?NPLMORU�<?>xbSZ[BK\�mnBI@�Z?NMU�LM�³k?d�HxT�LY\_LPORJ�\_OSJ4U�J?OS@�a?dfBAZ[\�BK\�B�U,mnLM�0>AdfBAJ4U=\�BANPORJ�b4Z�� BKNMNPBK\�dfBAk?dfHK\�BAJ4UfBAJ4UT�Bx\eJ?OS@�a?dfBK\�mnB,k?dfHKTALP\�LMOSJ�WXdfa?L�UfdfWRLMdfB,W½�RBxT=Z?J?B,@�WRJSUfLP\f\�B,WXdfa?L�UfdfWRLMdfBA@CBKJSUeNPORJ[QRZ?B¼�ÑB�U�Z[J8B�¡nk.OS\fWXJ4U �?¡nHZ�#OSZ8b4Z�� BKNMNPBK\NPBK\�m?HKT�OS@CklO4\_BKJSU�BAJ�k?NPZ[\�LMBKZ?df\�To<[WX@Ck[\�m�� BA¡nklO4\�WRJSUo\�mnLM�0HAdfBAJ4Uf\K��c WXdoT�B8b4Z�� BANPNPBK\�k.BAZ[�RBAJ4U�Z?U�LPNMLY\_BKd�NPBK\�ORk.HAdoW�UfBAZ?do\­[ORU_UfWRJ4Uf\e\�Z?d�To<[WSb4Z?B�To<[WX@Ck]ª4T�BK\�mnBAdfJ?LP>AdfBK\#ORJ4UeNPBK\ k.BAd���ORdf@�WXJ[TABK\#NPBK\ k[NMZ[\�LMJ4UfHAdfBK\f\�WRJSUfBK\��Ñ@CWRLP\�bSZ[L?d�Bx\hUfBAJ4Ue@�WXNPQRdfHU�OSZnU�Ufd�>x\8�ÑWRLMa[NMBx\���� � ORZ[\�d�BKJ`�RO�^ROSJ[\CNPB NPBKT:UfBAZ?dW� ­¿D� _¯³ª=k?NPZ[\�NPORLPJ�m?WRJ[\�TAB �SORNPZ?@CBRª�klOSZ?d�Z?J[B�mnLY\fT�Z[\f\_LPORJ�k[NMZ[\B�¡n<[WRZ[\_U�LP�RB�mnB�T�Bx\=J?OR@�a?d�BKZ[\�BK\=��WXdfLPWRJ4U�BK\K�

� OR@C@CB�NPWCk[d�HxT�LY\_LPORJ*WXdfa?LMU�doWXLPd�BIQRHKJ?>AdfB�Z?J \_Z?d��ÄT�O��?U=HKNMBK�RHSª?T�BAd�UfWRLMJ[BK\=a?LPa?NPLMORU�<?>xbSZ[BK\�@CLPJ?LM@CLY\_BKJ4U,NMBx\�klBKd_UfBK\,m?Bk.BAd���ORdf@CWRJ[T�Bx\Ik[WXd�doWXk?k.ORd�U�WXZn¡ k[d�HxT�LY\_LPORJ[\�TANPWS\�\�LYbSZ[BK\IBAJ �?¡?WXJ4U�Z?J ��ORdf@�W�U�mnB�k?dfHKTALP\�LMOSJ HAU�BAJlmnZ?B¿� "��������� � � BK\k?dfLMJlT�LPk[WXNPBK\�d�HxWXNPLP\fW�UfLMOSJ[\�\�ORJ4U�NMBx\�a?LPa?NPLMORU�<?>xb4Z?BK\ �Y� ��%� ���*�r� ���� � mnB���WRLMNPBA^W­Pv�¯¬ORZ�mnB���dfLMQSQS\�­ r&¯³ª`ORZ8NPBK\��� �� ���*�Y� ���� �mnB��=WXLPNPBA^ ��� �����º­PvRv�¯³� � NMNPBK\�klBKd�@CB�U�U�BKJSUedfBK\�k.BKT:UfLM�SBA@CBAJ4UeZ?J[B,k?dfHKT�LY\�LMOSJ¢mnBVN�� ORdomndfB=m?B�g ª ORZ°g"! ª BAJCdfBAk?dfHK\�BAJ4UoWXJ4U Z?J­[ORU_UfWRJ4UeBAJ¢k?d�HxT�LY\_LPORJ¢H�UfBAJ[m?Z?B�k[WXd NYW�\�OR@C@CB�J[ORJCHA��WXNPZ?HKB=m�� Z?J[B�k[WXLPd�B=OSZCm�� Z?J�b4Z[WSmnd�Z[k?NMBAUemnB=­[OXU�UfWRJSUo\#BAJ�mnOSZ?a?NPBk?dfHKTALP\�LMOSJ]� � J�T�BIb4Z?L.TAORJ[TABAdfJ?BVNPBK\�k.BAd���ORdf@CWRJ[T�Bx\emnB�T�Bx\ea?LPa?NPLMORU�<?>xbSZ[BK\Kª#��dfLMQSQS\e\�LPQRJ[WRNMB,k.ORZ[d�NPBK\ �Y� ��%� ���*�Y� ��%� � Z?J�ÑWRT�U�BKZ?d�klHKJ[WXNPLY\�WRJSU=��WXdfLPWRJ4U=mnBCvxs��CDY��k[WXd�doWXk[klOSd_U���NYWCmnORZ[a?NMBIk?dfHKTALP\�LMOSJf� �e��� ­ r�¯0jnZ?J��ÑWRT�U�BAZ[d=m�� WRZ�@CORLPJ[\IvKsSsdfBK\f\_OSd_U�mnBK\=@CBx\_Z?dfBK\=k[d�OSklO4\_HKBK\�klOSZ?d�NPBK\$�� �� �%�*�r� ���� � m[WXJ[\�­PvRv%¯%���� � �X}�XÑ} ¤ � ¤ {I~ �&� ¨ }�X�|Z`� ¤ { ��',J?BV\�LP@¢k[NMB�@COnmnLM�lTAWXU�LPORJ�mnB�N�� OSdfmndfB�mnBK\eLMJ[\_U�dfZ[T�U�LPORJ[\em?B�N�� WXNPQROSd�LMU�<?@CB�mnB�N�� BA¡nBA@Ck?NPBk?dfHKTAHKmnBKJSU¢T�ORJlmnZ?LY\�WRL�UCWXZ�dfHK\�Z?N�UoW�U�BA¡?WRT:Ux��j,HAHKTAd�LPdfB8NMBx\�WRNMQSORdfL�Uf<?@CBK\�k.BAZnUCk.BAdf@¢BAU_Ufd�B�mnB�dfHKmnZ[LMdfB8N�� BKd�dfBAZ?d��[J[WXNPBR�(,HKNPWS\Aª¬Z[J?B¢U�BANPNPB8WXk?k?dfOnTo<?B¢J�� Bx\hU�k[WS\�\_Z5½�\fWX@C@CBAJ4U�QRHKJ?HAdoWXNPB¢TKWXd�N�� OSdfmndfB¢ORknUfLM@�WXNem?BK\�LPJ[\hUfd�ZlT:U�LPORJl\�mnHAk.BAJ[m Ufd�>x\\�ORZ?�SBAJ4U=m?BK\���WXNPBAZ?do\=mnBK\=mnOSJ?J?HABx\A�Se�B�k?NMZl\AªndfLMBKJ�J?B�Q4WXdoWXJ4U�LMU�b4Z?BSªna?LMBKJ�b4Z�� WX@CHKNMLPORdfHABSªSNYW�k[d�HxT�LY\_LPORJ�mnB�NYWC\_OSNMZ?U�LPORJTAWRNPTAZ?NPHAB�\_OSL�U,\�ZS½8\�WRJ4U�BR�

� WC\�OR@C@�W�UfLMOSJ*m?B�)�\fTAWRNPWRLMdfBK\�BK\_UVN�� BA¡nBA@Ck?NPB�T�NYWR\f\_LYb4Z?B�mnB�T�Bx\,mnBAZ?¡�WR\�k.BKT:Uo\A� � BK\VWXNPQRORdfLMU�<?@CBK\�m?B�\_OS@¢@�WXU�LPORJ\�ORJ4U�J?OS@�a?dfBAZn¡�B�U#NYW�k?NPZ?k[WXd�UJ[B�mnLM�.>Kd�BKJ4U�b4Z?B�klWXd�N�� ORdomnd�B�mnBK\�WRm?m?L�UfLMOSJ[\\�Z[TKT�BK\f\�LM�SBK\K� � � Bx\hU�NMB�TAWS\�mnB�NPW�\_OS@¢@�WXU�LPORJdfHKT�Z[df\�LM�SBRª4J?ORJ�ORdomnOSJ?J?HAB�ORZ�ORdomnORJ[J?HAB�k[WXd=��WXNPBAZ?do\=WXa[\�ORNPZ?Bx\�TAd�OSLP\f\fWXJ4U�Bx\eORZ*mnHxT�dfORLY\�\fWXJ4U�Bx\Aª`mnBINPWC\�OR@C@�W�UfLMOSJ�k[WRdk[WRLMdfB�­Mv*�_¯�ORZ mnB�NYW�\�OR@C@�W�U�LPORJ�k[WRd�LMJ[\�BAd�U�LPORJl\�­ DY®_¯³��e � WXZ?U�dfBK\�WXNPQROSd�LMU�<[@¢Bx\=LMJ4Ufd�OnmnZ?LY\�BAJ4UVmnB�J?OSZ?�RBKNMNPBK\�b4Z[WRJSUfL�UfHK\2jJ?OSZ[\CNMBx\�T�OSJ[\_LYmnHKd�OSJ[\Cm?WXJ[\CNPB*k[WXdoWXQSdfWRk?<?B�\_Z?LP��WXJ4UK��o?WXJ[\C<`^`klORU�<?>x\_B*k[WRd_UfLPTAZ?NPLM>Kd�B*\_Z[d�NMBx\�mnORJ?J[HABK\KªeWXZlT�Z?J mnBK\WXNPQROSd�LMU�<[@¢Bx\�T�LMU�HK\�J[BC��ORZ?dfJ?LPdfW�\_^n\_U�HK@CWXU�LYb4Z?BA@CBAJ4U�Z?J?B8\�ORNPZnUfLMOSJ k?NPZ[\�k[d�HxT�LY\_BCb4Z?B�NMBx\�WXZnUfd�Bx\A�+��LPBAJ�\,�[dKª]\�LeNPBK\�)ORk.HAdoWXJlmnBK\�\�ORJ4U�k[WXd�BA¡`BK@Ck?NMB¢UfORZnUfBK\�k.OS\�L�UfLM�SBK\Kª¬NPW*\�OR@C@�W�U�LPORJ�dfHKT�Z[df\�LM�SB�k[WRd�ORdomndfB¢TAd�OSLP\f\�WRJ4UI@CLPJ?LM@CLY\_BCN�� BKd�dfBAZ[dm?WRJ[\�NMB�dfHK\�Z?N�UoW�U�TAWRNPTAZ?NMHS� � BAk.BAJ[m?WRJ4UKª`d�LPBAJ�J�� WR\f\_Z?dfB�bSZ[B�NPB�d�Hx\_Z?NMUfWXU�TKWXNYT�Z?NPH�Bx\hU�Z?J[B�WRk?k?dfO½¡nLM@�W�UfLMOSJ�k?dfHKT�LY\�BImnBINYW\�OR@C@CBIBA¡?WRT:UfBRªnJ?LbSZ � Z?J WRZnU�dfB�WXNPQRORdfLMU�<?@CBIJ?B�klBKZnU���ORZ[d�J?LPd�Z?J*dfHK\�Z?N�UoW�U�k?NPZ[\=k?dfHKTALP\9­PvxDZ¯³�- ¨ }½}�X&� ¤ } � ¤ {8~ �&� ¨ }_XÑ|a` ¤ { � � � BA¡nBA@Ck?NPB�mnB�NPW8\�OR@C@�W�UfLMOSJumnB.)�\fTAWRNPWRLMdfBK\�k.BAdf@CB�U�m�� LPNPNMZ[\_U�dfBAd�N�� WX@CHKNMLPORdoW�UfLMOSJ*m?BNYW�k?dfHKT�LY\�LMOSJ*m?BK\,dfHK\�Z?NMUfWXUf\�k[WRd�TAORdfd�BxT:U�LPORJ�ª?WXk?k?dfOnTo<?B�b4Z?L�J[ORZ[\VLMJ4U�HKd�Bx\�\�B�k?NPZ[\,klWXd�U�LYT�Z?NPLM>Kd�BK@CBAJ4U�m?WRJ[\,T�BAUIWRd_UfLPTANMBS�� BK\�WRNMQSORdfL�Uf<?@CBK\�LMJ4Ufd�OnmnZ?LY\�BAJ4U8m�� WRZnU�dfBK\Cb4Z[WRJSUfL�UfHK\�b4Z?B*NPBK\CORk.HAdoWXJlmnBK\K�/',J?B*UfBANPNMB WXk[k?d�OnTo<?B�BK\_U�klO4\�\�LPa?NMB*QSd10ST�BWXZ�dfHK\�Z?N�UoW�U�\_Z[LM��WXJ4U�b4Z?BCN�� ORJ�HAJ[ORJ[TABCm[WXJ[\�N�� BKJ[\�BA@�a[NMB�p�mnBK\I­[ORU_UoWXJ4Uf\Ia?LPJ[WXLPdfBK\�@�Z[J?Lem�� Z?J?B8WXdfLMU�<?@CH�UfLPb4Z?B�W½�SBKTWXdfdfORJ[mnL¬WRZ�k?NPZ[\�k[d�Hx\A�2 ` �`¨ }%3 ¤547698�¤;:<:l¤ }#= 4?>A@<4�BDC ����������Et����Ff�Y� �G ���%�H� � ���c�¼�Y� p � � � � �% � � E �?IÀ� F � ��� » Jh�¾s"uSv E � F x��LK � �

E � F �l» J��-�&�

�%M � �%�N� � �����%�H� � �����Y� pO�% �;����� �&� � S� �� � � �� �#� �� �c���&� �¼�µs"uSv s"uSv E �¿» J_xC� F x��� BeUf<?HAOSd�>K@CBek?dfORZ?�SB�b4Z?B�N�� BKd�dfBAZ[d�m�� WXdfd�OSJ[mnLSm�� Z?J[B�WRm[mnL�UfLMOSJ�mnB�mnBAZn¡�­[ORU_UoWXJ4Uf\BK\_UBKNMNPB��³@ �A@CB�Z?J�­[OXU�UfWXJ4U�B�U�b4Z�� BANPNPBBK\_UIm?B�k?NPZ[\�TAWRNPTAZ?NYWXa?NPB�B�¡?WST:U�BK@CBAJ4Uh��N�� WXLYmnBCmnB�N�� WSm?mnLMU�LPORJ ­[OXU�UfWXJ4UfBR�AP�WX<[WRJ ZnU�LPNMLY\�B¢TAB�dfHK\�Z?N�UoW�UIklOSZ?dITAORdfd�LPQRBKd,NYW

ÛRQTÁ]ÛTS

Page 8: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

\�OR@C@CB¢mnB )�\�TKWXNYWXLPd�Bx\Gw � ­MvKr�¯%�i,k?df>K\�To<[WSbSZ[B¢\�OR@C@CBCk[WXd�U�LPBANPNMB J � � J � ¨H« �lw � ª]\�ORJ�WXNPQRORdfLMU�<?@CBCmnB�\_OS@¢@�WXU�LPORJT�OS@CklBKJ[\_HKB�TKWXNYT�Z?NPB8N�� BKd�dfBAZ?d¢WR\f\_OnTALMHKB}�³�M�Sv����±mr���@x�BAU�N�� WXghORZnUfB�WXZ�UfBAdf@CB�\�Z?LM��WRJSU�w ��� « W½�½WRJ4U�NPB�TAWRNPTAZ?N�m?B�NYW\�OR@C@CB�k[WRd_UfLMBKNMNPB�\�Z?LP�½WRJ4U�B J ��� « �º�ÄN#BK\_U�LP@CklOSd_UoWXJ4UIm?B¢\�B�TAORJ`��WXLPJ[T�dfB�b4Z?B�doW�ghOSZnU�BKdQ�}� J � J?B�@CO`m?L��[B¢k[WS\ J � � � BAUWXNPQROSd�LMU�<[@¢B�WX@CHKNMLPORdfB��� � �����"� \�Z?d�N�� BKd�dfBAZ?d�mnB�NYW�\�OR@C@CB�TKWXNYT�Z?NPHAB�m�� Z?J��ÑWRT�U�BKZ?dVmnB�N�� OSdfm?d�B�mnB�)�k[WXd�doWXk?k.ORd�U,WXZn¡WXNPQROSd�LMU�<[@¢Bx\�m?B�\_OS@¢@�WXU�LPORJ�k[d�HxT�HKm?BA@C@CBAJ4U=TAL�UfHK\���UfWXJ4UVb4Z?B�)Cgt�ÀmZ�:� � W¢k?d�HxT�LY\_LPORJ�mnB�NPW¢\�OR@C@�W�U�LPORJ*T�OS@CklBKJ[\_HKBJ?B�\fW�UfLP\_�ÑWXLMU�k[WR\=BKJ[T�OSd�BIklOSZ?dVWRZnUfWRJSU�NYW¢k?d�HxT�LY\_LPORJ�ORknUfLM@�WRNMB�mnB�NYWCd�BKNPWXU�LPORJ]��®r���

e�B8J?OR@�a?dfBAZ[\�BK\���WXdfLYW�U�LPORJl\�mnB�T�BCUh^`k.B�mnB�TAORdfd�BxT:UfLMOSJ OSJSU�HAU�H�m?BAk?Z?LY\�k?dfORk.OS\�HABx\A� � BAd�UfWXLPJ?Bx\�WRTATAZ?@�Z[NMBKJSU�NPBK\BAdfdfBAZ?do\eLPJ4U�BAdf@CHKmnLYWXLPdfBK\ k.ORZ?d=WXk[k?NMLYb4Z?BAd�Z?J?B�T�OSd�dfBKT�U�LPORJ¢�[J[WRNMB�Z?J?B���ORLY\�OSZ�mnBV�ÑWYi�OSJ8LMU�HAdoW�UfLM�SB¼­Pv��_¯³� � � WX@CHANPLMOSdfWXU�LPORJNYWVk?NPZ[\ \�LMQSJ?LM�lTAWXU�LP�RB�Bx\hU#N�� WRNMQSORdfL�Uf<?@CB�mnB�\�OR@C@�W�U�LPORJ�mnORZ?a[NMBK@¢BKJ4U [email protected][\�HAB�k?dfORk.OS\�H�DY�VWXJ[\�k?NPZ[\�UoWXdom�k[WXd#cedfLPBK\_Um?WRJ[\�\fW�Uf<?>K\�B�­¿Dnv�¯eE mnLPd�LPQRHKB�k[WXd$P�WR<[WXJ]� � W mnORZ[[email protected][\fW�UfLMOSJ k.BAdf@CB�U�TAB�U_UfBC��ORLY\�Z?J?B�k?d�HxT�LY\_LPORJ�k?dfBK\fb4Z?BORk?U�LP@CWRNMB�jnNPWC\�OR@C@CB�TKWXNYT�Z?NPHABh» J��RHAdfLM�[B}� » J��DJJ� �5� J0�S�&g¾�ÝUfWRJ4U�b4Z?B�)Cg-���r���

� B�U�U�B�bSZ ��U�B�mnB NYW�k?dfHKTALP\�LPORJ�ORk?U�LP@CWRNMB LMJlmnZ?LMU�Z?J T�O��?U�J?OSJ�J?HAQSNMLPQRBxWXa?NPBR� � BK\�WXNPQROSd�LMU�<[@¢Bx\8mnB�\_OS@¢@�WXU�LPORJT�OS@CklBKJ[\_HKB�ORZ*mnORZ?a[NMBK@¢BKJ4UVT�[email protected][\�HAB�WXghORZnUfBAJ4U�d�Bx\_k.BKT�U�LP�RBA@CBKJSU�®¢B�U �CWSm?mnLMU�LPORJ[\���To<[WSb4Z?BI\�OR@C@CB�k[WXd�U�LPBANPNPBR�

� W�@CHAU�<?OnmnBImnBVT�OSd�dfBKT�U�LPORJCWXZnUfOR@�W�UfLPb4Z?B,b4Z?BVJ?ORZ[\�k?dfHK\�BAJ4U�OSJ[\em?WRJ[\eNYW�\_BxT:UfLMOSJ8\_Z?LP��WXJ4U�BVQRHAJ[HAdoWXNPLP\�B���m�� WXZnUfd�Bx\WXNPQROSd�LMU�<[@¢Bx\=bSZ[B�NPW�\�BAZ?NPB�\�OR@C@�W�U�LPORJ�ª?T�B�k?dfLMJlT�LPklB�mnB�TKWXNYT�Z?NPBAd�Z[J*U�BAdf@CB�T�OSd�dfBKT�U�LM�T�¢k[WXd�U�LPdVmnBx\=BAdfd�BKZ?do\=LMJ4U�BKd�@CHA�mnLYWXLPd�Bx\A�

� � �#�������%� ���������� ����������� ����� �

� W�@CH�U�<[O`m?B�mnB�T�OSd�dfBKT�U�LPORJ�WRZnU�OS@CWXU�LYb4Z?B ����� i T�ORJl\_LY\hUfB³��TAWXNYT�Z[NMBKd�Z?J�U�BKd�@CB�T�ORdfdfBKT:UfL���NPLPJ?HKWRLMdfB BAU�Z?J[B@�W�ghOSdfWXU�LPORJ�mnBx\¢BAdfd�BKZ?df\�LPJSUfd�OnmnZ[L�UfBK\¢k[WXd¢NPB*TKWXNYT�Z?N=BKJ�k?dfHKTALP\�LPORJ��[J[LMB mnB*T�BAU_U�B TAORdfd�BxT:U�LPORJ��ceNYWYiAORJ[\¢J?OSZ[\Cm?WXJl\N�� BKJ[\_BK@�a?NPB m?BK\�­[OXU�UfWXJ4Uo\}p mnB k?dfHKTALP\�LPORJµg�� � BK\�ORk.HAdoW�UfLMOSJ[\�WRd�LMU�<?@CHAU�LYbSZ[BK\�HANPHA@CBAJ4UfWRLMdfBK\³v ���a���Y���$�S�$� x�\_Z[dp �RHKd�LM�[BKJSU8NYW�dfBANYW�U�LPORJ¹�_vZ�:ª�s"uSv�w�~��5xd� v�w�~¼�5x%v*m9� �&x�W½�SBKT-� �5�h� g�� � OSZ[\8Z?U�LPNMLY\_OSJ[\�NYW�J?ORUfW�UfLMOSJ�T�NYWR\f\_LYb4Z?B»� �±s"uSv � x¬k.ORZ?d�NMBx\���WRNMBKZ?df\]­[OXU�UfWRJSUfBK\T» � �½cedfHK\�BAJ4U�OSJ[\]NPBK\k?dfLMJlT�LPk[WXZn¡�WR\�k.BKT:Uo\m?B�NYW�@CH�Uf<?OnmnB ����� i�BAJ�TAORJ[\�LYmnHAdoWXJ4UN�� HK�½WRNMZlW�U�LPORJ*J`Z?@CHAdfLYbSZ[B »s�\_Z?d�p�m�� Z[J?B���ORJlT:U�LPORJ¿s�mnB.)���WRd�LYWXa?NPBK\,d�HKBANPNMBx\A�?c#OSZ?d�\�LM@Ck?NPLM�[BAdxª?J?OSZ[\V\�Z?k?k.OS\�ORJ[\VbSZ[Bs Bx\hU,Z[J?B���ORJ[T�U�LPORJ�J`Z?@CHAdfLPb4Z?B�dfHABANPNPBR�

��(*' �³8)>*1HNQ>�L���NGK 3J/2A�:=/±1"?BA5A�/21�354@6°>*4#K�<C8)4@A�/� B�TKWXNYT�Z?N]BKJ�k[d�HxT�LY\_LPORJ��[J?LPB¼g�mnB�w��±s;v��]x�k[d�OnmnZ?LMUQ»w k.ORZ?d,NYWCmnORJ[J?HAB�� � v�w « ��¤a¤�¤��#w��5x=m?WRJ[\�p � � � � BAdfd�BKZ?dQRNPORalWXNPB#m?LMdfBKT�U�B�»wT��w�@CBK\�Z?dfB NPW=k.BAd�U�B�m?B k?d�HxT�LY\_LPORJ�\�Z?d]NPBedfHK\�Z?N�UoW�UP»w� � BeTKWXNYT�Z?NSmnB�To<[WSbSZ[B �½WRd�LYWXa[NMB#LPJSUfBAdf@CHKmnLYWXLPd�B�»w �

LPJSUfd�OnmnZ[L�U�Z?J?B�BAdfd�BKZ?d��ÑWRa[\�ORNPZ?BZ�]HANPHA@CBAJ4UfWRLMdfB��!�=k.ORZ?d#"�� )��fmY��¤a¤�¤��%$ÇB�U;»w��¾»w'&��xc#ORZ?d)»w � ª_»w)(�BAU)»w �9�±s"uJv »w � ~�»w)(�xm?WRJ[\�p UfBANPNMBx\�bSZ[B�m���$�+*�k,"���$�ªnBAUG~zy]�����a���Y�����!� � �Sª`N�� BAdfdfBAZ?d=HANPHA@CBKJSUoWXLPd�Bh����BK\_U,mnH��[J[LMB�k[WRd�NYW�d�BKNPWXU�LPORJ»w � �µ»w � ~�»w ( �D� � � w � �-� � � ��rJ�

OYqd»w (.-�µ§�bSZlWXJ[md~9�±�nªnB�UQ»w � �µ§��5»w (0/ §�b4Z[WRJ[mW~9� � �� � HA��WRNMZ[WXU�LPORJ�J`Z?@CHAdfLPb4Z?B�mnBBw�m[WXJ[\Cp�\ � HKTAd�LMUT»w�� »s;v������&x:ªKT � Bx\hU�� �X�³m?LMdfB�T�OR@C@CBeZ?J[B ��ORJ[T�U�LPORJ�m?BeNPWVmnORJ?J[HAB1�ÇBAU

mnBx\#BAdfd�BKZ?df\HANPHA@CBKJSUoWXLPd�Bx\P�¼� v��2� � « �a¤�¤a¤%�#��&hx���',J�WXk?k[d�O½¡nLP@CWRJ4U�m�� ORdomndfBVvRª�klWXd#dfWRk?k.ORd�U#WRZn¡�BAdfd�BKZ?do\�HKNMHK@¢BKJ4UfWXLPdfBK\KªmnB�N�� BKd�dfBAZ[d�QSNMOSa[WXNPB9»w}�³w Bx\hUVWRNMOSdf\354 �

&6�879� � «: »s: � � v��¿�#�&x<;a� � ¤ �c�r�

� OR@C@CB9w�� »s;v=���#§0x:ªnN�� BKd�dfBAZ[d�QRNPORa[WRNMB�mnLPd�BxT:U�B��SHAdfL��[B»w}�]w�� 3>4 �@? 4 � �& 0�

OYqA? 4 BK\_U¼��B �����#� �z�r� � � �� � ����� � � ����� WR\f\_OnT�LPHAB9� 3 4 ��ÄN�Bx\hUIT�NYWR\f\_LYb4Z?B�m�� WXk?k[NMLYb4Z?BAd�NPW�dfBANYW�UfLMOSJ²�hvZ��klOSZ?dV@�W�ghOSd�BKdVTo<[WSbSZ[B�BAdfd�BKZ?d,WXal\_OSNMZ?B�HANPHA@CBAJ4UfWRLMdfB¼���Cm[WXJ[\Vd�BKNPWX�

U�LPORJt�c�r�:�'C�J�WCWXNPORdo\�Z[J�@�W�ghOSdfWRJ4U=mnB�N�� WRk?k?dfO½¡nLM@�WXJ4U�� 3 4 ��ª?B�U�BAJ�J?HKQRNPLMQSBKWXJ4U=N�� BAdfdfBAZ?d�mnB�NPLMJ?HxWXdfLP\fW�UfLMOSJD? 4 ªnOSJ�BKJmnHxmnZ?LMU�Z?J?B,@�WXghORdoW�U�LPORJ¢mnB,N�� BKd�dfBAZ[d QRNPORa[WRNMB�mnLPd�BxT:UfB�­ �a¯³ª�­¿D�r&¯%� � ORZ[\ek?d�OSklO4\_OSJ[\#LYT�L[m�� ZnUfLMNPLP\�BAd�mnBK\ U�<?HKORdf>A@CBK\ TAOR@C@CBNPB�U�<?HKORdf>[email protected][d,TAWXNYT�Z[NMBKd�Z[J�UfBAdf@CB�T�ORdfdfBKT:UfL�� »3 4 B�U,BKJ�m?HKmnZ?LPdfB° ���# %� S� � � �!�$�������FE0 wumnH��lJ?L]k[WRd

w��¾s"uHGZ»w°� »3>4JI ¤ � �Y�Á2ÁÎÜBÂ�Ã%Ä�Å$Ã

Page 9: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

� OSZ[\=TAWRNPTAZ?NMOSJ[\ »3>4 BAJ�HA��WXNPZ[WRJSU=NYW�dfBANYW�UfLMOSJ¿�c�r��BKJ�WRd�LMU�<[@¢HAU�LYb4Z?B�BKJ�k?dfHKTALP\�LPORJ8�lJ?LMBS� � Bx\�m?HAdfLM�SHABK\�k[WRd_UfLMBKNMNPBK\=\�ORJ4UTAWRNPTAZ?NPHABK\�k[WXd�mnLM�.HKd�BKJSUfLPWXU�LPORJ8WRNMQSORdfL�Uf<?@CLPb4Z?Bz�ÑORZ�m?L��0HAdfBAJ4U�LYW�UfLMOSJ8WXZnUfOR@�W�UfLPb4Z?B_��­PvKs�¯³� � BK\�m?BAZn¡CUh^`klBx\�m?B�TAWRNPTAZ?NnEBAdfdfBAZ?do\ HANPHA@CBKJSUoWXLPd�Bx\ B�U�mnHAdfLM�SHABx\ k[WXd�U�LPBANPNPBK\#E \_OSJ4U�a?LPBAJ�TAORJ?J`Z[\ @�WRLP\�NMBKZ?d�ZnUfLMNPLY\�WXU�LPORJ�TAORJ�ghOSLMJ4U�B�k.BAdf@CB�U�NMBVTKWXNYT�Z?Nm�� Z?J�U�BKd�@CB�T�OSd�dfBKT�U�LM�hª?T�B�b4Z?L]T�OSJ[\_U�LMU�Z?B�Z?J mnBx\�WXk?k.ORd�Uf\=OSd�LPQRLPJ[WRN0m?BINYWC@CH�Uf<?OnmnB ����� i��

� B�dfHK\�Z?N�UoW�U8T�OSd�dfLPQRH w BK\_U�BAJ4UfWSTo<?H mnB*N�� BAdfdfBAZ?dCmnB NPLMJ?HxWXdfLP\fW�UfLMOSJ ? 4 B�U�m�� Z?J?B*BAdfdfBAZ?d�mnB TAWRNPTAZ?N�? � � � BAU_UfBmnBKd�J?LP>AdfBIBK\_U�LPJ4U�dfO`m?Z?L�UfB�k[WXd=NPB�TKWXNYT�Z?N0BKJ�k?dfHKTALP\�LPORJ��[J[LMB�mnBx\�mnHAdfLM�SHABx\�k[WRd_UfLMBKNMNPBK\�BAU�m?BK\�BAdfd�BKZ?do\�HKNMHK@¢BKJ4UfWXLPdfBK\=m?WXJl\NYWVdfBANYW�UfLMOSJ��c�r�:ª½B�UemnB=NYW�TAORdfd�BxT:UfLMOSJ��[J[WXNPB�� �Y�:��i,LPJ[\�L&ªS �"�G�����#� �!�# %����� � � � � \�HAk[WRd�B�NMB�dfHK\�Z?N�UoW�U T�OSd�dfLMQSHeB�U NPB=d�Hx\_Z?NMUfWXUB�¡?WST:U2jnBKNMNPB��RHAdfLM�[B

wf�³w�� �¼v=? 4 � ? � x%¤ �&�0�e�B�NPW¢@CLMJ[LM@CLY\�WXU�LPORJ mnB�T�BAU_U�B�BKd�dfBAZ[d�dfHK\�LYmnZ?BANPNPB�m?HAk.BAJ[m*mnOSJ[T�NPW¢k?dfHKTALP\�LPORJ*mnZ�dfHK\�Z?NMUfWXU�TAORdfd�LPQRHS�

��(�� �¿8)>*4#L�8T354@?�K L�/¹>@8n1"?BA5A5/21�354*?�K E�?�N�A�>@/2I²8)>��B?BA�4@3��Q:=/2I²>*4#K�<C8)4@A�/2I� B�\�BKT�OSJ[m�WS\_k.BKT�U=m?BINYW�@¢HAU�<?OnmnB ����� i«T�ORJl\_LY\hUfBh�¢WR\f\�O`TALMBKd�WRZ�dfHK\�Z?NMUfW�U�T�OSd�dfLPQRH w*Z?J?B�a.ORdfJ?BIm?BIN�� BAdfd�BKZ?d�m?B

TAWRNPTAZ?N#? � � � B�U�U�B¢alOSd�J?B�����@�W�ghORdfB�N�� BAdfd�BKZ?dVdfHK\�LPm?Z?BANPNMB¢b4Z[WXJ[m ? 4 �F§?� � B�U�U�BCmnBAdfJ?LP>AdfB�TAORJ[mnLMU�LPORJ BK\_U��SHAdfL��[HKBk.ORZ?d�NPBK\z�&� E0�����T�� ��°��� � � �" � � �#�%� ª[Z?J?B�TANPWS\�\�B�k[WXd�U�LYT�Z?NPLP>AdfBIb4Z?B�J?OSZ[\=LYmnBAJ4U�LM�[OSJ[\�m?WXJl\,T�BAU_U�B�\�BKT�U�LPORJ]�� OSZ[\#W½�ROSJ[\m?Hhg*�Id�BK@�WXdobSZ[H�b4Z?B=N�� OSdfmndfB�m?BK\#ORk.HAdoW�UfLMOSJ[\#WXdfL�Uf<?@CH�UfLPb4Z?Bx\�m�� Z?J�WRNMQSORdfL�Uf<?@CB�LPJn­[Z?B�\�Z?d#NPWIk?dfHKTALP\�LPORJ

mnZ�dfHK\�Z?NMUfWXU�TAWXNYT�Z[NMHS� � Bx\�WRNMQSORdfL�Uf<?@CBK\¬NPLMJ[HKWXLPdfBK\]\�ORJ4U]UfBANY\b4Z?BeN�� BAdfd�BKZ?d]QRNPORalWXNPBemnLMdfBKT�U�B�»w;�Qw�BK\_U�Z?J[Be��ORJlT:U�LPORJ�NPLPJ?HKWRLMdfBmnBx\#BAdfd�BKZ?df\#m�� WXdfdfORJ[mnL`HKNMHK@¢BKJ4UfWXLPdfBK\;���`�Y�ÄNnBK\_U �ÑWRT�LPNPB=m?B��RHAdfLM�[BAd b4Z?B=NPW�mnHA�[J?LMU�LPORJ�\�Z?LM��WRJSUfB=QSWXdoWXJ4UfL�U T�BAU_U�B�k[d�OSk?d�LPH�UfH­Pv _¯³�8 �r\;[ X�|aX ¨º[ 4�� � WXNPQRORdfLMU�<?@CBINMLPJ?HKWRLMdfB�\_Z[d�p ���N� � ��� E0�����T�� ��°� �% ���$��� �c������� � �%�¼�$5 �� � �c���&�5� �����a���Y���$�S�$� � ����R� � �� �

� �� ���� ��� S� � � � ��� � � ����� s"uSvc»w � �W»w ( x �_ ���� ��� »w � ��w � � f»w ( �µw ( �� �� ���� ���&� �a��������� s"uSvc»w � �&»w)(Zx �_ ���� ��� »w)(h� w)( �� �� ���� �¼� � �%� �"��� � ���# $� s"u���� »w (�� �_ ���� ��� »w)(Q� w (Y¤��LMBKJ�b4Z?B�dfBK\_U�dfLYT:U�LP�RBSªnT�B�U�U�B�mnHA�[J?LMU�LPORJ*BK\_U,\�WXU�LY\h�ÑWRL�UfB�k[WXd,TABAd�UfWXLPJ[\�WRNMQSORdfL�Uf<?@CBK\=mnB�a[WR\�BR� � LMU�OSJ[\�k[WRd=B�¡nBA@Ck?NPBRª� NPWC\�OR@C@�W�U�LPORJ�mnB�)�\�TKWXNYWXLPd�Bx\Aª� NMB k?d�OnmnZ[L�U \�TKWXNYWXLPd�B B�UumnORJlTuNYW�k?NPZ?k[WRd_U*mnBK\*\�ORZ[\_�³k?d�OSQRdoWX@C@CBK\�mnBx\ � � iQoF��ORk.HAdoW�UfLMOSJ[\�BAJ4U�dfB \fTAWRNPWRLMdfBK\Kª�RBKT�U�BKZ?df\�BAU,@CWXU�dfLPTABK\$�:ª

� N�� HA��WXNPZ[WXU�LPORJ�klOSNM^`J?OS@¢LYWXNPBIk[WXd�NYW¢@¢HAU�<?OnmnB�m?B$(,ORdfJ?BKdKª� NPW¢dfHK\�ORNPZnU�LPORJ�k[WXd,\�Z?a[\_U�LMU�ZnUfLMOSJ mnBK\�\�^n\hUf>A@CBK\=NPLMJ[HKWXLPdfBK\�U�dfLYWXJ?QSZ?NPWRLMdfBK\K�

��LMBKJ�\ �?dKª`mnBx\�klWXd�U�LPBK\�m�� WRNMQSORdfL�Uf<?@CBK\ek[NMZ[\�QSHAJ?HKdfWRZn¡¢k.BAZ[�RBAJ4U=\�WXU�LY\h�ÑWRLMdfBVNYW�mnHA�[J?LMU�LPORJuvS� � � BAdfd�BKZ?deQRNPORalWXNPBVk[WRd_UfLMBKNMNPBWR\f\�O`TALMHKBh��TABK\=k[WRd_UfLMBx\Aª?TAORJ[\�LYmnHAdfHABx\�TAOR@C@CB���ORJ[T�U�LPORJ[\�m?BK\���WXdfLYWXa?NPBK\�LPJSUfBAdf@CHKmnLYWXLPd�Bx\�b4Z?L]^�WRk?k[WXdoWXLY\f\_BKJSUxª`BK\_U�U�BANPNPBb4Z?B ? 4 �µ§�NPOnTAWRNMBK@¢BKJ4UK� � � LMJ4U�HKd �AU=m?BK\�WXNPQRORdfLMU�<?@CBK\�NPLMJ?HxWXLPd�Bx\�k.ORZ[d�NYW�TAORdfd�BxT:U�LPORJ�WXZnUfOR@�W�UfLPb4Z?B�� �&��\ � BA¡`k[d�LP@CBVk[WRdNPBK\�mnBKZn¡�dfHK\�Z?NMUfW�Uo\�\_Z[LM��WXJ4Uo\A�2 ` �`¨ }%3 ¤���� �&�$� �� � w ���N�h� �&� � S� � ���$� � �&� E0�����T�� ��°� � � �� � � �#�%� � �}�# �� S� � � �h���&�����FEr w � B ���N�Q����� � �� 5 �� �}�Y���B �����#� �z�Y��� �&� � S��? � ��� B �%���H�� %�*�&� �#� w���w}� ? � ¤

� BeTAORdfORNPNPWRLMdfB \_Z[LM��WXJ4U�Bx\hUHAJ?OSJ[T�H k.ORZ?dZ?J�dfHK\�Z?N�UoW�U\fTAWRNPWRLMdfB;w�@�WXLY\�\ � HxT�dfL�U�m?BeNPW,@ �K@CB �ÑWYiAORJ�k.ORZ?dCw¢b4Z?BANYT�OSJ[b4Z?Bmn>x\=NMOSdf\�b4Z?B"! ��BK\_U,NPW¢a.ORZ?NPB}��BKJ*J?ORdf@CB�WSm?WXk?U�HAB_��mnB�T�BKJSUfd�B w B�UVmnB�doW½^ROSJ#� ���- ¨ } ¨ � �&~5X�} ¤D4 C �&�T� �$%� �&� �(' ��� � �����Y� � B �%���#� �¼�Y��� ��� � S� ? � ��� B ���N�H�� %�*�&� �#� � ? � �J�)�$%� �*� �¼�# %� S� � � ��� GJ� ��� w��� � ���# %� S� � � ���$�������FE0 w � B � ��� E0�����T�� ��°� � � �� � � �#�¼�� ���� �������

w¿y�! ���,+ w}�-� �B� w��.� �%/ ¤� W�a.ORdfJ?B0� �eª�b4Z?Le@�W�ghOSd�B¢NMBx\�BAdfd�BKZ?do\Im�� WRd�dfORJ[m?L LMJ4U�dfOnmnZ?LMU�Bx\�k[WXd�NYW*T�ORdfdfBKT:UfLMOSJ WRZnU�OS@CWXU�LYb4Z?BRª0��OSZ?d�J[L�U�Z?J[B

dfHAQRLPORJ1! �uWRZnU�OSZ?d�mnZ�d�Hx\_Z?NMUfWXU�T�OSd�dfLPQRH w�B�U�NMBIT�ORdfORNPNYWXLPd�BIv,QSWRdfWRJ4U�LMU�bSZ[B,NMB�d�Hx\_Z[N�UoW�U�BA¡nWST:UBw]��LPJ[T�OSJ?J`Zº� Bx\hU�LPJ[TANMZ[\m?WRJ[\�TAB�U�U�B�dfHAQSLMOSJ]� � BAU_UfB�k?dfORk?dfLPH�U�H�klBKZnU¢WRZ[\�\�L�klBKd�@CB�U�U�dfB�mnB��RHKd�LM�[BAd�NPW k?d�HxT�LY\_LPORJ�m?Z�d�Hx\_Z[N�UoW�U�»w�LMJ[L�UfLPWRNMBK@¢BKJ4UTAWRNPTAZ?NPHR�C�ÄN��ÑWXZnU�k.ORZ?d�T�BANYW*k.ORZ?�SORLPd�TAWRNPTAZ?NMBKd�T�BAU_U�B�alOSd�J?B2�$���j�T � Bx\hU�TAB8b4Z?B�J?ORZl\�mnHKTAd�LP�ROSJ[\�@�WXLPJ4U�BAJlWXJ4U�WR\f\_B43\�Z[TATALMJ[T�U�BK@¢BKJ4UK�

ÛRQTÁ]ÛTS

Page 10: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

� W,@CWXghORdoW�UfLMOSJ�m?^4JlWX@CLPb4Z?B�mnB�N�� BAdfd�BKZ?d�mnLPd�BxT:UfBQ���Q �º��� � E������#�����Q� �&��� ����� ��BK\_U�Z?J[B�UfBKTo<?J?LYb4Z?B�\�LP@¢k[NMB�B�UB�½8TAWRTABNYWXdfQRBA@CBKJSU=ZnUfLMNPLP\�HAB�m?BAk?Z?LY\���LPN�`LPJ[\�ORJ]­ Dr�Z¯%� � B�d�BKNPWXU�LPORJt�hv_�=\ � HKTAd�LMU,WXZ[\f\_L

� w�~����ts"uSv�w�~��5xC�J��g!� s"uSv�w�~��5xC� �T�B�b4Z?L0��ORZ[d�J?LMU=Z?J�@�WXghORdoWXJ4U�mnBIN�� BKd�dfBAZ?d�HANPHA@CBKJSUoWXLPd�B�T�OS@C@¢LY\�B�m?WRJ[\�NMB�TAWRNPTAZ?NCs"uSv�w�~��5x�BAJ���ORJ[T�U�LPORJ�mnB�bSZlWXJ4U�LMU�Hx\T�OSJ?J`Z?BK\���N�� B�¡nHxT�ZnUfLMOSJ]�S�ÄN]\_Z5½¢U,m�� WRTKT�Z?@�Z?NPBAd�T�Bx\=@CWXghORdoWXJ4Uf\�HANPHA@CBKJSUoWXLPd�Bx\�k.ORZ[d�ORanUfBAJ?LPd=Z?J�@�WXghORdoWXJ4U=m?B�N�� BKd�dfBAZ[dQRNPORalWXNPB�Z?J[B���ORLY\=N�� WXNPQROSd�LMU�<?@CB�B�¡nHxT�ZnUfHR�nc WXd�BA¡`BK@Ck?NMBSª?N�� BKd�dfBAZ?d=LPJ4U�dfO`m?Z?L�UfB�k[WXd�NYWCT�ORdfdfBKT:UfLMOSJ8�[JlWXNPB}� �&��\fW�UfLP\_�ÑWXLMU

� S�0�lg�� w;� ¤c#ORZ?d¢T�B�b4Z?L�BK\_U�mnZ�UfBAdf@CB�T�OSd�dfBKT�U�LM� 3 4 ª�N�� HA��WXNPZ[WXU�LPORJ�mnB�NYW*dfBANYW�U�LPORJµ� �Y��TAORJ[\�LY\hUfBf�uTAWRNPTAZ?NPBAd�Z?J[B8L�UfHAdoW�UfLMOSJ�mnZQRBKJ?dfB��.��� �.� ¨H« ��� ���W�!��� "}� )}�µmY�a¤�¤a¤%� $¿����',J[B�@�W�ghORdoW�UfLMOSJ�mn^`J[WR@CLPb4Z?B�mnB�N�� BAdfd�BKZ?d=LMJ4U�dfOnmnZ?LMU�B�klWXd,T�BAU_UfBLMU�HAdoW�UfLMOSJ�\ � HKT�dfLMU=BKJ*J?HAQSNMLPQRBxWXJ4U�NPBK\�UfBAdf@CBK\�m�� ORdomndfB�D�BKJWg�ª

� � �S�À� � ¨H« ���Dgfv�� � � �Z�¾� � � �W� � �a��� � � � � �Z��� � � � � � x�¤j�BK@CWRdfb4Z?OSJ[\,b4Z?B�TAB�U�U�B�BA¡nk?d�Bx\�\�LPORJ�J?B�mnHKklBKJ[mub4Z?B�m?B�b4Z[WXJ4U�LMU�Hx\VTKWXNYT�Z?NPHABx\�ORZuTAORJ?J`Z?Bx\,NPORdo\,mnZ TKWXNYT�Z?N%� � JuBA�.BAUKªNYWCalOSd�J?B�� ��@�WXghORdfBIN�� BAdfd�BKZ?d�m�� WRk?k?dfO½¡nLM@�W�UfLMOSJ�mnB�N�� BAdfd�BKZ?d�HANPHA@CBAJ4UoWXLPd�B�k.ORZ?d,NYWCmnLP�4LY\�LMOSJ�BAU,NPWCdoWRTALMJ[B�TKWXdfd�HKBRª`BANPNPBBK\_U8J`Z?NPNMB m?WRJ[\�NPBK\�WXZ?U�dfBK\�TAWS\A� � W�alOSd�J?B��#� BK\_UCOSanU�BKJ`Z?B k[WXdC@�W�ghOSdfWXU�LPORJ�mn^`J[WX@CLYbSZ[BumnB*N�� BAdfd�BKZ?d8mnLPd�BxT:UfB*m?BN�� WRNMQSORdfL�Uf<?@CB�mnBCmnL��0HAdfBAJ4UfLPWXU�LPORJ WRNMQSORdfL�Uf<?@CLPb4Z?BS� � OSZ[\�d�BKJ4�SO�^ROSJ[\=NMB�NMBxT:UfBAZ?d9��­PvZ�Z¯ k.ORZ?dINPB�mnHAUfWXLPN mnBK\�@�W�ghOSdfWRJSUo\�'��BAU�Z?J�WXNPQROSd�LMU�<?@CB�mnBVTKWXNYT�Z?NlmnB��<��m[WXJ[\ NPB,TAWS\emnZC@COnmnB,LPJ4�SBAdo\_B=mnB,NYW�mnLM�.HKd�BKJ4U�LYW�U�LPORJ�WRNMQSORdfL�Uf<?@CLPb4Z?BS� � W�a.ORdfJ?B�$%��m?B�N�� BAdfd�BKZ?d=LMJ4Ufd�OnmnZ?LMU�B�k[WRd�NMB�TKWXNYT�Z?N]m?B�NPWCT�OSd�dfBKT�U�LPORJ�\ � ORanUfLMBKJ4U��¢k[WRd_UfLMd,m?BK\=@�W�ghOSdfWXU�LPORJ[\�k?dfHKTAHKmnBKJSUfBK\Kª

�$%���¾g!v� & � wHx�¤��LMBKJ�bSZ[Buk?NPZ[\��[J[B b4Z?BuNPBK\8@�WXghORdoW�U�LPORJl\W� ������&��� ª�T�B*Uh^`klB mnBua.ORdfJ?B mn^`J[WR@¢LYb4Z?Bu\�ORZn�0d�Bum?BK\8NPLP@¢LMUfWXU�LPORJ[\

T�NYWR\f\�LPb4Z?Bx\�mnBx\�@�W�ghOSdfWRJ4Uf\¬HAUfWXa[NMLY\m[WXJ[\�NMB�k?LPd�B�m?BK\�TAWR\K��onWXZn�[TKWR\�k[WXd�U�LYT�Z?NPLPBAdxª �$��8T�dfO%�YU�W½�SBKT#NPB�J?OS@�a?dfB�BAUNYW,��WXNPBAZ[dWXal\_OSNMZ?B=mnBx\ ��WXdfLPWRa?NMBx\�LMJ4U�BKd�@CHxmnLPWRLMdfBK\K��e�WRJ[\#NYW�k[dfWXU�LYbSZ[BRª�ORJCT�OSJ[\_UfW�UfB�TABAd�UfWRLMJ[\ [email protected]�U�BA@CBKJSUo\�klBx\�\�LM@CLY\hUfBK\KªX�ROSLMdfB@ �A@CBCmnBK\�mnHKk[WR\f\_BK@CBAJ4Uf\ImnBCTAWXklWRT�LMU�H�� �&�_��������� �:� � ORZl\V�SBAdfd�OSJ[\VTABAk.BAJ[m?WRJ4U�W½�SBKT�NPBK\�B�¡nBK@¢k[NMBx\Ib4Z?L \�Z?LP�RBAJ4U�bSZ[BT�BAU_UfB�alOSd�J?B��$���J?ORZl\�klBKd�@CBAUVm�� LPJ`��WXNPLPmnBKd,T�BKd_UoWXLPJ[\=d�Hx\_Z[N�UoW�Uf\=J[ORJ T�OSd�dfLMQSHK\�B�U,k.BAZ?UVd�BKJ[\�BALPQRJ?BKd=\�Z?d�NYW�\_BKJ[\�LMa?LPNPL�UfHmnZ TAWRNPTAZ?N]WXZ?¡�BAdfd�BKZ?do\�m�� WRd�dfORJ[m?L&�

� �M��� �A����������� �������#�������=���2�¬����C������ Bx\8BA¡`BK@Ck?NMBx\�\�Z?LP�½WRJ4Uf\8LPNPNMZ[\_U�dfBAJ4U�NMBx\8k?dfLMJlT�LPk[WXZn¡ LPJSUfHAd���Uo\8B�U�NMLP@CL�UoW�UfLMOSJ[\�m?B N�� WRk?k?NPLPTKW�U�LPORJ�m?BuNPW�@CH�U�<[O`m?B

����� i�� � BK\�TAWXNYT�Z[NP\ BAUeNMBx\�TAORdfd�BxT:U�LPORJl\�\�ORJ4UeBA�.BxT:U�Z[HK\eBKJ�\_LP@Ck?NMBVk?d�HxT�LY\_LPORJ�� �e�e� �@�Y��r�j4T�B,b4Z?L[k.BAdf@CB�U�mnB�T�OR@Ck[WRd�BKd�ÑWRTALMNPBA@CBKJSU�TAORdfd�BxT:UfLMOSJ B�U�TKWXNYT�Z?NY\�BAJ�k?dfHKTALP\�LPORJ \�Z?k.HAdfLMBKZ?dfBRª]\�ORLMU�LPTALeBAJ�mnORZ[a?NMB�k[d�HxT�LY\_LPORJ]� � ORZ[\�doWXk[klBKNMOSJ[\�b4Z�� BKJWXdfLMU�<?@CH�UfLPb4Z?B�� �e��� �@�Y��rlª.NYW*mnORZ[a?NMB¢k?dfHKTALP\�LMOSJ Bx\hU�\�BAJ[\�LMa[NMBK@¢BKJ4U�k[NMZ[\�k[d�HxT�LY\_BCb4Z?B¢m?BAZn¡u��OSLP\�NYW�\_LP@Ck?NMBCk?dfHKTALP\�LPORJ��dfBK\�k.BKT:UfLM�SBA@CBAJ4U��Y®�BAU�D�r*a?LMUf\�mnB�@�WXJ4U�LY\�\�BZ��� � � BAJ`�`LPd�OSJ?J?BA@CBKJSU�@�W�UfHAdfLMBKNemnBK\�B�¡nklHKd�LP@CBAJ4UfWXU�LPORJ[\�k[d�Hx\_BKJSUfHABx\�BK\_UNPB \_Z[LM��WXJ4U���o`Z?J 'VN�UfdfW0����OSd��n\_UfWXU�LPORJ �co`Z?J C9o �n� �`ª!onORNYWXdfLP\*vS� ®0�:ª��#CIj#;�j,i � �Ss ����ORd��5o`<?ORk � OS@Ck?LMNPBAdo\f�?� s[ª�<CIj#;�j,i � �RsCDn� sr�����(*' �¼/ A5<PI0NQ>R3S8T3D1"?BA5A�4��B<¾/PIY3�>@/±A5<2IJNG>@3J8T3D/ ��8)1�3� ORJl\_LYmnHAdfORJl\�NPB�k?dfOnmnZ?LMU�\fTAWXNYWXLPdfB ��!#"ÇW½�RBxT � �nv*mY��mr�2;�;2;H��m_x$!�BAU%"=�nv@mr�%5�2;2;�;H�% � �a��mY�a� S�2;�;2;"���¼v+ � x*x&!��

� BK\��RBxT:UfBAZ?do\�\�ORJ4U�To<[ORLY\_LY\ek.ORZ?d�QRHKJ?HAdfBAd�[email protected]�UfWXJ4UfBVk.BAd�U�B�m?BVk?dfHKTALP\�LMOSJ8NPORdo\�mnZ�TKWXNYT�Z?N0mnB ��!'"��r�ÄN.J�� ^8W�k[WS\mnB�mnHAklWR\f\_BK@¢BKJ4U�mnBITAWXklWRT�LMU�H�klOSZ?d�NPW¢mnLP@¢BKJ[\�LMOSJ�mnBK\��RBxT:UfBAZ?do\�To<[ORLY\_LPBR� � B�d�Hx\_Z?NMUfWXU�BA¡nWST:U��RHAdfLM�[B � ! " �µ§[�0eIWXJ[\NPB,UfWRa?NPBKWXZ8\�Z?LP��WXJ4UKª4NMB�d�Hx\_Z[N�UoW�U�mnBx\�TKWXNYT�Z?NY\eBKJ�\�LM@Ck?NPBVBAU�mnOSZ?a?NPB,k?dfHKT�LY\�LMOSJ8mnB ��!#" \�ORJ4U�dfBK\�klBxT:U�LP�RBK@CBAJ4U!»w�B�U�»w ª jNYW¢TAORdfd�BxT:UfLMOSJ�BAJ \�LM@Ck?NPB�k?dfHKT�LY\�LMOSJ�mnBz»wum?ORJ?J?B w B�U,NYW¢alOSd�J[B�WS\�\�OnT�LPHAB � ���

Á2ÁÎÜBÂ�Ã%Ä�Å$Ã

Page 11: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

UfWXLPNPNMB »w w �$%� »w"ªD ;�;2;=r � s?� sRsSsRsRsSs ��� sSs s?� sRsRsSsRsSs ��� sSs s?� sRsSs ��� sSs s?� sRsSsRsSsRs ��� sRs�Rs Dn� sRsSsRsRsSs ��� sSs s?� sRsRsSsRsSs ��� sSs Dn� ®��Rr � �Äsr� s?� sRsSsRsSsRs ��� sRs�SD r[� sRsSsRsRsSs ��� sSs s?� sRsRsSsRsSs ��� sSs r[� �� r® � �Äsr� s?� sRsSsRsSsRs ��� sRs��� ��� ��� ��� ����Ss ?� �Y�Y®� RsSs ��� sRr s?� sRsRsSsRsSs ��� sSs �`� �� � � �Äs?v s?� sRsSsRsSsRs ��� sRs�4D vR� ®?vxs0�XDRs ��� s0� s?� sRsRsSsRsSs ��� sSs vR� � �r® ��� sSs s?� sRsSsRsSsRs ��� sRs��� ��� ��� ��� ���vxs� �n� ®� �0��s � ��� s � s?� sRsRsSsRsSs ��� sSs ?� �RD�� ��� sr® s?� sRsSsRsSsRs ��� sRsvxs�� vR� s0�&®0�½rlv ��� s � s?� sRsRsSsRsSs ��� sSs vR� ®Rs0� ��� sRr Dn� sRsSsRsSsRs ��� sRsvSvKs Dn�PvArS�½r �r® ��� s � s?� sRsRsSsRsSs ��� sSs Dn� ?vSv ��� sRr r[� sRsSsRsSsRs ��� sRs��� ��� ��� ��� ���D?v � ®?� �� �r�� 4D ��� Dr� s?� sRsRsSsRsSs ��� sSs r[� ��sr® ��� DRs �`�¿DXs0�r�Y� � ��� v DSDXs �`� ��®J�`vxDr� ��� Dr� s?� sRsRsSsRsSs ��� sSs �?� rSsJ� ��� DRs vR� rRrlvRv_�nv ��� v_�

� B�U¢B�¡nBA@Ck?NPB�k.BAdf@CB�UCm�� LPNPNMZ[\_U�dfBAd�k?NPZ[\_LPBAZ[df\�WR\�klBxT:Uf\�U�df>K\�TAWRdfWST:U�HKd�LY\_U�LYbSZ[BK\�mnZ�TKWXNYT�Z?N�BAJ�k?d�HxT�LY\_LPORJ��[J[LMB�B�UCmnB8NYWT�OSd�dfBKT�U�LPORJ�WXZnUfOR@�W�UfLPb4Z?BS�

� c�OSZ?d�Z?J WRNMQSORdfL�Uf<?@CB mnORJ[J?HRª=WXZ?QS@CBAJ4U�BKd�NYW�k?dfHKTALP\�LPORJ�J?B �ÑWXLMU*\�ORZ[�RBAJ4U*bSZ[B dfB�UfWRdfm?BAd�N�� B��0B�U mnBK\�BAdfdfBAZ?do\m�� WRd�dfORJlmnL&�&eIWXJl\�T�BAU�B�¡nBK@¢k[NMBSªRNPBK\eTKWXNYT�Z?NY\eBKJ8\_LP@Ck?NMBVB�U�mnOSZ?a?NPB,k?dfHKTALP\�LMOSJ¢\�ORZ?�.dfBAJ4U�m�� Z?J?BVBAdfd�BKZ?d QRNPORa[WRNMB,b4Z?LT�dfO%�YU=TAOR@C@CB� � ¨ ��� OYq ) I )��¬ªnZ?J[B�alOSd�J?B�b4Z?L�m?HAk.BAJ[m*mnB�NYW¢k?d�HxT�LY\_LPORJ�g��

� � WIT�ORdfdfBKT:UfLMOSJ�NPLMJ?HxWXLPd�B�J�� BK\_U k[WR\�HKb4Z?LP��WXNPBAJ4U�B���Z?J?B�WXZ?QS@CBAJ4UfWXU�LPORJ�m?B�k[d�HxT�LY\_LPORJ]� � JCB��0B�Uxª�NMB=dfHK\�Z?NMUfW�U T�OSd�dfLPQRHwuBK\_U,LPTAL]HAQ4WXN�WRZ*d�Hx\_Z?NMUfWXU,B�¡?WRT�UKª?BAU�T�B�k.ORZ[d�U�OSZnU�B�m?LM@CBAJl\_LPORJ�U�BKNMNPB�b4Z?B�NPB�TAWRNPTAZ?N]LPJ?L�UfLPWRNmnB�»wuJ?B�k?dfO��ROnb4Z?Bk[WR\�mnB�mnHKk[WR\f\�BA@CBAJ4U,mnB�TAWRk[WRTAL�UfHR�

� � OR@Ck[WXdfBAdINPBK\�T�OSNMOSJ?J?Bx\9»w�BAU � ��k?dfORZ[�RBCbSZ[B¢NYW���WXNPBAZ?dz»w�TAWRNPTAZ?NPHABCBAJ�\�LM@Ck?NPBCk?d�HxT�LY\_LPORJ BK\_U��ÑWXZ[\f\�B�k.ORZ?d) I,��[� � J�BA�.BAUKª?OSJ WW� »wT�?I �$�� UfWXJlmnLP\�b4Z?B�NPB�T�OSd�OSNMNYWXLPd�B¢v�WR\f\_Z[d�B°� w;�S� ��� �� c�OSZ?d�UfWXJ4UxªxNPB=@�W�ghORdoWXJ4U ����BK\_Uem�� WXZnUoWXJ4U k?NMZl\#klBx\�\�LM@CLY\hUfB�bSZ � LYT�L ? � �¾§?� � W�a.ORdfJ?B"�$%��WRZ?QR@CBAJ4UfB�TAOR@C@CBNPW���WXNPBAZ?d�WXal\_OSNMZ?BCmnBx\�k[NMZ[\�QSdfWRJ[m?\VU�BKd�@CBK\�dfBAJlT�ORJ4Ufd�Hx\z��LYT�L�T�OR@C@CB¢Z?J?BCk?Z?LY\�\fWXJlT�BCmnB8DY�:� � OS@¢@CB wt�n§?ªZ?J?B�UfBANPNMB¢��WXNPBAZ?dIHANPBA�SHAB�k.ORZ[d$�$���k.BAZnU ��Ufd�B�Z?J LPJ[mnLYTAWXU�BKZ?dIm?B�NYW8k?dfHK\�BAJlT�B�m�� HANPLP@¢LPJ[WXU�LPORJ TKW�UoWR\_U�dfORk?<?LYb4Z?Bm?WXJ[\=N�� WXNPQRORdfLMU�<?@CB��Ñ\�ORZ[\_U�doWRT�U�LPORJ�m?B�bSZlWXJ4U�LMU�Hx\=k?d�OnTo<?Bx\�BAJ*��WXNPBAZ?d,WRa[\_OSNMZ[BZ�:�

� j�BA@�WXdob4Z?ORJl\Ib4Z?B�T�B8TAWRNPTAZ?NeBx\hU�HxbSZ[LM��WXNPBAJ4Uz�*NYW \_OS@C@¢B8m?B %)W� *\�TKWXNYWXLPd�Bx\Aª0NPBK\�[email protected]\fWXJ4U�Bx\�mnB "8� � JB�¡nk?NPLPTAL�UoWXJ4U�NMBx\�mnHAdfLP�RHABx\�k[WXd�U�LPBANPNPBK\�mnZ�UfBAdf@¢B8TAORdfd�BxT:UfL��=mnB�NPW*dfBANYW�UfLMOSJl� �Y��ª]LMN�BK\_U��ÑWRTALMNPB8mnB�k?dfORZ?�SBAd�b4Z?B�NYWT�ORdfdfBKT:UfLMOSJ WXZ?U�OR@�WXU�LYbSZ[B¢mnB�TABCTKWXNYT�Z?N TAORdfd�Bx\_k.ORJ[m¿��N�� WXNPQRORdfLMU�<?@CBCmnB�\_OS@¢@�WXU�LPORJ TAORdfd�LPQRH�W½�RBKT¢W�ghOSZnUI�[J[WXNmnZ�UfBAdf@CB�T�ORdfdfBKT:UfL��ORZd�¢NPW¢k?dfBA@CLP>AdfBILMU�HKdfWXU�LPORJ*mnB�­Mv!�_¯³�

��(�� �¼/ A5<PI0NQ>R3S8T3D1"?BA5A�4��B<¾/PIY3�L�/2N�� 6$?�4#I²EQ>#NGI²EQA5<21H4*I!NG/À>*/±A�<2IJNG>R3S8T3D4*KQ4R354@8)>� W���TAORdfd�BxT:U�LPORJ�B�¡?WRT�U�B� w���w mnBIN�� B�¡nBK@¢k[NMBIk?dfHKT�HxmnBAJ4U�mnORLMU ��U�dfB�T�ORJl\_LYmnHAdfHAB�T�OR@C@CBIZ?J�TKWR\�U�df>K\��ÑW½�ROSdfWRa?NMBS�

j,WRk?klBKNMOSJ[\�b4Z�� Z?J�dfHK\�Z?NMUfWXUCBx\hU�OSknU�LP@�WXN,mnHx\�bSZ � LPN��RHKd�LM�[B�NPW�@�W�ghOSdfWXU�LPORJ�k?NPZ[\�\�ORZ?k[NMB mnB*NYW dfBANYW�UfLMOSJ±�c®r�:� � ORZ[\LPNMNPZ[\_U�dfORJ[\�@�WRLMJ4U�BKJ[WXJ4U�NPB�T�OS@CklOSd_UfBA@CBAJ4U�@CO�^RBKJ�m?B8NPWu@¢HAU�<?OnmnB�mnB�T�OSd�dfBKT�U�LPORJ�NMLPJ?HxWXLPd�B�k[WRd�NYW d�Hx\_OSNMZ?U�LPORJ�m�� Z?J\�^`\_U�>K@CB NPLMJ?HxWXLPd�BuU�dfLPWRJ?QRZ?NYWXLPdfB LMJn��HKd�LPBAZ[d���w � F ª=mnB�mnLM@CBKJ[\_LPORJ ) ª�k[WRd�WRNMQSORdfL�Uf<?@CBumnB�mnBK\fT�BKJSUfB�w � � v F � �� � ¨C«�87 « � � � w � x#��� ��� ª?k.ORZ[d��;� mr��¤a¤�¤%� ) �� OSZ[\=T�OSJ[\hUfd�Z[LP\�ORJ[\�NYW�@�WXU�dfLPTAB�� B�U�NMB�\�BKTAORJ[m�@¢BK@�a?dfB F mnB�mnLP@CBAJ[\�LPORJ ) ª5��TAO4B�½8T�LPBAJ4Uf\�­[ORU_UfWRJ4Uf\�U�BKNP\�b4Z?BINYWk?dfHKTALP\�LMOSJ mnB�NPW�\_OSNMZnUfLMOSJ TAWXNYT�Z[NMHKB¼»w \_B�mnHAQSdfWSmnB°��B�¡nk.ORJ?BKJ4U�LPBANPNMBK@¢BKJ4U$��W½�SBKT ) � � BK\,TAOR@CklO4\�WRJ4U�BK\�m?B�NPW�\�ORNPZnUfLMOSJdwJ?B�\�ORJ4U�klWR\=mnBK\�J?OS@�a?dfBK\�­[ORU_UfWRJ4Uf\K� � B�\_^n\_U�>A@CB���w�� F BK\_U=B�¡nk?NPLPTAL�UfHIBKJ�iVJ?J?B�¡nBS� � J�To<[ORLY\_LY\�\fWXJ4U���U�dfLYWXJ?QSZ?NPWRLMdfBLPJn��HAdfLMBKZ?dfBRªnNYW�k.BAd�U�B�m?B�k?d�HxT�LY\_LPORJ�@�W�¡nLM@�WRNMB�m?WRJ[\�»w �RHKd�LM�[B������ «�� � � �¼� »w � �³w � � �5� w � �Y�n� »w'���³w'�2� ��� w'�C� ¤

o`Z?d�NPW��[QSZ?d�B�vSªXJ?OSZ[\#k?dfHK\�BAJ4U�OSJ[\#NPW�k[d�HxT�LY\_LPORJ¢d�BKNPWXU�LP�RB�mnBx\e\_OSNMZ?U�LPORJ[\eTKWXNYT�Z?NPHABx\#BAJ�\�LM@Ck?NPB,B�U�m?ORZ?a?NPB�k?dfHKTALP\�LMOSJ[\KªWXLPJ[\�L]b4Z?B�T�BKNMNPB�mnB�NPWC\�ORNPZnU�LPORJ*\�LM@Ck?NPB�k?dfHKT�LY\�LMOSJ�T�OSd�dfLPQRHABIB�U�NYWCalOSd�J[BIdfBANYW�UfLM�SBIWS\�\�OnT�LPHAB � �T�5� w��2���

� Bx\ek?dfHKTALP\�LPORJ[\em?BK\�\_OSNMZnUfLMOSJ[\eJ[ORJ8T�OSd�dfLPQRHABx\ \_BImnHAQSdfWSmnBAJ4U�mnBV�ÑWYiAORJ8mnHxTAWXNPHABV@CWRLP\�\_LP@CLMNYWXLPdfBR� � BIT�OS@¢k.ORd�U�BK@CBAJ4UBK\_UCU�OSZnU�� �ÑWRL�UCBAJ WRTKT�ORdom�W½�SBKT8NPBK\C@�WXghORdoW�U�LPORJl\�� ������&��� T�NYWR\f\_LYb4Z?BK\�a[WR\�HABx\C\_Z?dCNPB�TAORJ[m?L�UfLMOSJ?J?BA@CBKJSU8mnB��tj LMNLPNMNPZ[\_U�dfB�BKJ[T�OSd�B�N�� B��0B�U���d�BAUfWXdom� mnB�N�� WXZ?QS@¢BKJ4UfW�UfLMOSJ mnB¢k?dfHKTALP\�LMOSJ]� � W�k?d�HxT�LY\_LPORJ mnB�NYW�\_OSNMZnUfLMOSJ TAORdfd�LPQRHKB�HA�SORNPZ?BmnLM�.HKd�BK@C@¢BKJ4U2j?ORJ*mnLY\hUfLMJ[QRZ?B�TANPWRLMdfBA@CBAJ4U�U�dfORLY\=d�HKQRLP@CBK\=mnB�T�OSd�dfBKT�U�LPORJ]�

ÛRQTÁ]ÛTS

Page 12: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

1e-15

1e-10

1e-05

1

100000

1e+10

1e+15

0 5 10 15 20

Pre

cisi

ons

et b

orne

rel

ativ

es

Dimension

Simple precision uSimple precision uSimple precision uSimple precision uSimple precision u

Simple precisionDouble precision

Simple precision corrigeeBorne relative pour la correction

��������v �?j�Hx\_OSNMZ?U�LPORJ[\=BAUVT�ORdfdfBKT:UfLMOSJ�mnB���w�� F klOSZ?d�NPBK\,mnLP@CBAJ[\�LPORJ[\9m��.&§[�vS� � W¢T�ORdfdfBKT:UfLMOSJ�Bx\hU,OSknU�LP@�WXNPBIk.ORZ[d )³��?�nc WXd,TAORJ[\_U�dfZ[T:UfLMOSJ�NYWC\_OSNMZ?U�LPORJ�w J�� WRk?k[WRd_UfLMBKJSU=k[WS\��zp]��j�B�Ufd�OSZ?�RBKdZ?J?B�\_OSNMZ?U�LPORJ�BA¡?WRT:UfB�Bx\hU,mnOSJ[TILPTAL¬[email protected]\f\_LPa?NPBRª5s"uSvcw�x�BK\_U�NPWC\�ORNPZnU�LPORJ�mnB�@¢BKLMNPNPBAZ?dfB�k?d�HxT�LY\_LPORJ�� C�J��RHKd�LM�[B�bSZ[Bw�¡¾s"uSv�w�x�k.ORZ?d,TABK\���WXNPBAZ[df\=mnB�) �

D?� � W�T�OSd�dfBKT�U�LPORJ¢klBKd�@CBAU�Z?J?B,k[d�HxT�LY\_LPORJCmnB,N�� OSdfm?d�B�mnB,T�BKNMNPB���ORZ[d�J?LPB�k[WRdeNPW�mnORZ?a[NMB�k?dfHKTALP\�LPORJCklOSZ?d�¥�� )³�Àma¥[�� � Bx\hU�NPB*[email protected]�U�BA@CBKJSU�TAWRdfWST:UfHAdfLP\_U�LYb4Z?B�m�� Z?J[B*TAORdfd�BxT:UfLMOSJ�BAJ k?dfHKTALP\�LMOSJ{g«k[WRd�W�ghORZ?U�m?B�UfBAdf@CB*TAORdfd�BxT:UfL��d�BKk?d�Hx\_BKJ4U�H�k[WRd�Z?J�­[OXU�UfWRJSUCmnB�k[d�HxT�LY\_LPORJDgÖm?WRJ[\�NPB�TKWR\¢\_Z[LM��WXJ4U ��NPB8UfBAdf@CB�T�OSd�dfBKT�U�LM��BK\_U¢Z?J[B�a.ORJ?J?B*WXk?�k?d�O½¡nLP@�W�U�LPORJum?B�N�� BKd�dfBAZ?dIB��0BKT�U�LP�RB�B�U�NMB¢d�Hx\_Z[N�UoW�Uh��T�OSd�dfLMQSBAdh»w Bx\hU�m�� Z?J?B¢k?d�HxT�LY\_LPORJu\�ZS½8\fWX@C@CBAJ4U�m?HAQRdoWRm?HABklOSZ?d,b4Z�� LPN\�ORLMUVm�� Z?J*ORdomndfB�m?B�QRdoWXJ[m?BAZ?d�mnLM�.HKd�BKJ4U�mnZ*d�Hx\_Z[N�UoW�UVW�U�U�BKJ[mnZ]�[j,BA@�WXdob4Z?ORJ[\=BKJ B��0B�UVb4Z?B�N�� BKd�dfBAZ[dd�BKNPWXU�LP�RB�mnZ*d�Hx\_Z?NMUfWXU��¢TAORdfd�LPQRBKd�»w Bx\hUV\�Z?k.HAdfLMBKZ?dfB9��m�k.ORZ?d ) / ¥[��ÄNMNPZ[\_U�dfORJ[\�\�To<?HK@�W�U�LYb4Z?BA@CBKJSU�T�B�U�U�B�k?dfORk?dfLMHAU�HuBKJ�T�OSJ[\�LPmnHKdfWRJ4U�k[WXd�B�¡nBK@¢k[NMB NPW�TAORdfd�BxT:UfLMOSJ�mnB]»w «#« � � ORZ[\dfWRk?klBKNMOSJ[\,b4Z?B�NYW8\�LM@Ck?NPB�k[d�HxT�LY\_LPORJdg   BK\_U�NPHAQR>Kd�BK@CBAJ4U,LMJ?��HAdfLMBKZ?d�B��}g-¡=ma§5¨����9C�JuWf»w «�« ¡=��ma§r§Y§[ª`UfWXJlmnLP\bSZ[BGw «�« ¡±¢n� � � BAdfd�BKZ?dedfBANYW�U�LP�RB�\_Z?d�»w «�« BK\_U�mnB�N�� ORdomndfB,mnB�mZ§� �� � W�klBKd_UfB�mnB�k?dfHKT�LY\�LMOSJ8mnZ�TAWRNPTAZ?N.BAJ8k?dfHKTALP\�LPORJg�\ � LMJ4UfBAdfk?d�>AU�B�T�OS@¢@CB�N�� BA�.BAUVm�� Z[J��ÑWST:UfBAZ?d�@�Z?N�UfLMk[NMLYTAWXU�LM�#mnB�N�� OSdfm?d�B�mnB�ma§J«#«�\�Z?d�NPW¢k?dfHKTALP\�LPORJ�g�LPJ?LMU�LYWXNPBR��'VJU�BAdf@CBITAORdfd�BxT:UfL�� 3 m?BIk[d�HxT�LY\_LPORJ�WSTATABAknUoWXa?NPB�Bx\hU,mnBIN�� OSdfmndfB�mnB9»w «#« � � W�k?dfHKTALP\�LMOSJ�WXal\_OSNMZ?B�mnB�NYW�\�ORZ[\_U�doWRT�U�LPORJ»w «�« � 3 Bx\hU�m?B,N�� ORdomndfB�mnBQg 3 ªS\�ORLMU�mnB,N�� OSdfm?d�B�mnB¼mZ§S¨ !,BAJ�k?dfHKTALP\�LPORJ°g�ª4T�BVb4Z?LlBK\_U�WXZl\�\�L?N�� OSdfmndfB,mnB,QSdfWRJ[mnBKZ?dmnB,NYW�k?dfHKTALP\�LMOSJCd�BKNPWXU�LP�RBz�ÑklOSZ?d�w «#« �:� � W�k[d�HxT�LY\_LPORJ�dfBANYW�UfLM�SB,mnZ8dfHK\�Z?N�UoW�U�TAORdfd�LPQRH�Bx\hU=mnORJlT,mnBVN�� ORdomnd�B,m?Bzma§5¨ !XªT�B�b4Z?L�TAORdfd�Bx\_k.ORJ[m�a?LPBAJd�CN�� BA�.BAU�mnZ*�ÑWRT�U�BKZ?d,@�Z[N�UfLMk?NPLYTAW�UfL��emnB�N�� ORdomndfB�m?B°ma§0«�«I\�Z?d,Z?J?B�k[d�HxT�LY\_LPORJ*LPJ?L�UfLPWRNMB�m?Bg G¡ ma§5¨H«����� B¢mnHK�RBKNMOSk?klBK@CBAJ4UI\�B���OSd�@�WRNMLY\_B�BAJ LMJ4U�dfOnmnZ?LY\�WRJ4U�NPB¢TAORJ[mnLMU�LPORJ[J?BA@CBAJ4U�mnZ�k?d�OSa?NP>A@CB�TAORJ[\�LPm?HAdfH���NPB��ÑWRT:UfBAZ?d@�Z?NMU�LPk?NPLPTKW�U�LM���=BAU�NPW�\_UfWRa?LMNPLMU�H�LMJ`�SBAdo\_B�mnB�N�� WRNMQSORdfL�Uf<?@CB��ÑNPWCk?dfHKTALP\�LPORJ�g;�:�

®[� � B�mnBKd�J[LMBKd,d�HKQRLP@CB�mnB�T�OSd�dfBKT�U�LPORJ WXk[k[WXdoW��YU�klOSZ?d ) / Y§?� � W8\�ORNPZnU�LPORJ T�OSd�dfLPQRHAB�Bx\hU w �f� §?���ÄN�\ � WRQRLMU,N ��mnZTAWR\�B�¡`U�d��A@CBVm?B�NYW�NPLM@CLMUfW�UfLMOSJ8k?dfHKTAHKmnBK@¢@CBKJSU��`Z?BR� � � BAdfd�BKZ?d�WRa[\�ORNPZ?BVm?WRJ[\eNYW�\�ORNPZnU�LPORJ8TKWXNYT�Z?NPHAB�BK\_U�UfBANPNMBIbSZ[B� »w;� g I¹� wT���'C�J�W¢mnOSJ[TIBAJ*k?dfHKT�LY\�LMOSJ�g�ª�s"uSv 3>4 xB�¾»wª?B�U�NYWC\_OSZ[\hUfdfWST:UfLMOSJ�mnB�NYW�TAORdfd�BxT:U�LPORJ��[J[WRNMB°� �Y����ORZ?dfJ?LMUWXNPORdo\�s"u#vc»w°� »3>4 xB�µ§[�

� W�alOSd�J[B �$%��k.OS\f\_>xmnB�Z?J�T�OS@CklOSd_UfBA@CBAJ4UI\�LP@¢LPNYWXLPd�BS� � W8a.ORdfJ?B�dfBANYW�UfLM�SB �$%�T�5� w � �l@�W�ghOSd�B�N�� BAdfd�BKZ?dVdfBANYW�UfLM�SBB��0BKT�U�LP�RBSªKmnB �ÑWri�OSJ��lJ?B�m?WRJ[\]NPBek?dfBA@CLPBAd]dfHAQSLM@CBemnB�TAORdfd�BxT:UfLMOSJ]ª:k?Z?LY\�mnBe�ÑWYi�OSJ�k?NMZl\]k.BK\f\_LP@CLP\_U�BeBKJ[\�Z?L�UfBR�½j�BA@�WRdfb4Z?OSJ[\b4Z?B�k.ORZ?d,NYW�mnLP@CBAJ[\�LMOSJ ?ª?NYWC@�W�ghORdoW�UfLMOSJ �$��P�5� w ¬ �5k¹� »wf�]wT� �5� wT��klg; �J?B�T�OSJ4U�dfBKmnLMU�k[WR\�NYWC��WXNPLPm[W�U�LPORJ�� � OR@C@CB

� ×nÆؽÉ:àxͽȿ¬ԽÐÑã_Òh¼¿¾&¼¿É:Ü�Û������������$Ã�Â_¾ÑÀ?Խȿཾ?Ô½ÐÑãhÒ_¼¿¾&¬ßKàx¬ؽÂhàxÃeÕPÉ:¼¿¾nÈÌÆ�¾%¼¿Þ�ԽȿÂ[Ô½ÐÑã_Òh¼¿¾&¼¿É:Ü�Û������������$à ÷�� ÂÄÀÑÀ%¬Øx¼ �SãhÐÑÂhܽÒhÂ��ÑཾÑÀ%¼ ��Â.È¿Â0ؽãhÒ_ÆoÈÌÆ��:ÂßAོnÆoÔ½Ô�ÆoÐ&Æ! ¿À#¾&à½Ð]ÈÌÆ���:à½ÐÑÂ#"%$½ÂhÜAÀ&ÐÑÂ�È¿Âh¾�Ò_É:àxÐ&ÍXÂh¾#ؽ ÈÌÆ�¾&¼¿Þ�ԽȿÂ�ÔxÐ&ãhÒh¼¿¾%¼¿É:Ü�ÒhÉ:ÐÑÐ&¼&�:ãhÂ�ÂhÀ�ÈÌÆ�ØxÉ:à½Í½È¿ÂeÔ½ÐÑã_Òh¼¿¾&¼¿É:Ü ÷(' Ü�ÂÄÃxÂhÞ�Խȿ Þ�É:¼¿Ü½¾]¾&Â_Üx¾%¼¿Í½È¿Â) ÒhÂÄÀ&À&Âeؽ¼ �RãhÐ&ÂhܽÒhÂ�Â_¾ÑÀ�Ô½Ð&É:ÔXÉ:¾&ã�ؽÆoܽ¾+*&"��!, ÷Á2ÁÎÜBÂ�Ã%Ä�Å$Ã

Page 13: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

m?WRJ[\�N�� BA¡`BK@Ck?NMB�k?d�HxT�HxmnBAJ4UKª�NPW a.ORdfJ?B2�$�� klBKd�@CBAU�WXZ[\f\�L�mnB8k?dfORZ[�RBAd�N�� LM@Ck?dfHKTALP\�LMOSJ�mnB8NYWu\_OSNMZ?U�LPORJ�LMJ[L�UfLPWRNMBK@¢BKJ4UTAWRNPTAZ?NPHAB�BAJ \�LM@Ck?NPB�k?d�HxT�LY\_LPORJ��i�RBKT�T�Bx\¢m?BAZn¡�m?BAdfJ?LMBKdf\�dfHAQRLP@CBK\KªJ[ORZ[\¢B�¡n<?LPa.ORJ[\CNPBK\¢NPLM@CLMU�BK\CLPJ4U�dfLMJl\_>xbSZ[BK\¢mnBK\¢@CH�Uf<?OnmnBK\�mnB*T�OSd�dfBKT�U�LPORJ�BKJ

k?dfHKTALP\�LMOSJ��lJ?LMB�g�m?WXJl\�NMB�TKWR\�Orq�Z[J?B�\�BAZ?NPB�T�OSd�dfBKT�U�LPORJ8�lJ[WXNPB�BK\_U�WXk[k?NMLYb4Z?HABS� � W¢k?dfHKTALP\�LPORJ�d�BKNPWXU�LP�RB�mnB�NYW�\_OSNMZ?U�LPORJT�OSd�dfLPQRHAB�Bx\hU¢NMLP@CL�UfHAB�NMOSdf\�m�� Z[J?B�\�ORZl\hUfdfWST:U�LPORJ�BKJ�k?dfHKT�LY\�LMOSJ��[J?LPBRª�k[WXd�N�� BAdfd�BKZ?d�WRa[\�ORNPZ?B8HANPBA�SHAB�m?ORJ4U�Bx\hU¢BAJ4UfWSTo<?HN�� OSklHKdfWRJ[mnBG��TAORdfd�LPQRBKdK�%'VJ?BVHAU�Z[mnBVU�<?HKORdfLPb4Z?B�mnBK\�NMLP@CL�UfBK\�m�� BA¡nLP\_U�BKJ[T�BVm�� Z?J8U�BAdf@CBVT�OSd�dfBKT�U�LM�.Bx\hU�k?dfHK\�BAJ4U�HKB,m?WXJ[\G­ �&¯%�

��(�� �¼8=1"?BA5A5/P1�3S4*?�KM4*K�3S/CA�:=<2LG4*8)4@A5/µIr3S8;,Q4*>#4*I0/±>2��8)>(�B?�A�4R3 �G:=/� � B�¡nBK@¢k[NMB,k[d�HxT�HKm?BAJ4U�\�Z?QRQS>AdfB=m�� WRk?k?NPLPb4Z?BKd�NYW�T�OSd�dfBKT�U�LPORJCWXZnUfOR@�W�UfLPb4Z?BVW½��WRJSU�b4Z?B�NMBVd�Hx\_Z?NMUfWXU�TAWRNPTAZ?NPHV\_OSL�U�U�dfORk

LP@¢k[d�HxT�LY\Aªe\�ORLMU8mnORJ[T W½��WRJSU�NYW �[J�mnZ�TAWXNYT�Z[N&� � ORZ[\�W½�SORJ[\CWXZl\�\�L,mnHhg*��\�LPQRJ[WRNMH�N�� LPJSUfHAd���U�mnB TAORdfd�LPQRBKd¢mnBx\�k[WRd_UfLMBx\NPLMJ?HxWXLPd�Bx\,m�� WXNPQROSd�LMU�<?@CBx\�bSZ[L]J?B�NPB�\�ORJ4U,k[WR\K� � J?�[J]ª[NYW8\_UfWRa?LMNPLMU�H�mnBx\VWXNPQROSd�LMU�<[@¢Bx\�mnHAk.BAJlm m?WXJ[\VT�BAd�UfWRLMJl\,TAWS\,mnB�NYWk?dfHKTALP\�LMOSJ mnB�TKWXNYT�Z?NY\ILMJ4U�BKd�@CHxmnLPWRLMdfBK\K� � � Bx\hU�BAJ�k[WRd_UfLPTAZ?NMLPBAd�NPB¢TKWR\�mnBC@CH�Uf<?OnmnBK\�LMU�HKdfWXU�LP�RBK\�mnB¢Uh^`k.B � BA�=UfORJ]� � BK\U�dfORLY\=doWXLY\_OSJ[\ghZ[\hUfL��lBAJ4UVmnB�k.ORZ?�SORLPd �$�&�����FEr�����Y�%��� � ��� ����� �%�z� ���R�%� �° $��� � � �#��� NPORdo\�m?Z*TKWXNYT�Z?N%�

�ÄN�Bx\hU�a?LMBKJ�T�OSJ?J`Z�bSZ[B8NMB�TAWXNYT�Z[N�mnB8doWRTALMJ[BK\�mnB�klOSNM^`J��S@¢Bx\�k[WRd�N�� LMU�HKdfWXU�LPORJ�mnB � BA�=U�OSJ�BK\_U¢\�BAJ[\�LPa?NMB8WRZn¡�BAd��dfBAZ?do\Vm�� WXdfdfORJ[mnL�WXZu�SORLY\_LPJ[WRQRB�mnB�dfWST�LPJ?BK\V@�Z?NMU�LPk?NPBK\K� � B�TKWXNYT�Z?N�BAJ k?dfHKT�LY\�LMOSJ*�[J?LPB�k.BAZnU�\ � W½�SHAdfBAd,LPJ[\_UfWXa[NMBSªlJ?B¢k[WS\\ � WSTo<?BA�SBAd�T�OSd�dfBKT�U�BK@¢BKJ4U��ÑmnLP�`LP\�LPORJ�k[WRd 3AHKd�OJ��B�U���ORZ?dfJ?LPd�mnBx\�WRk?k?dfO½¡`LP@�W�UfLMOSJ[\�mnHKTABA��WXJ4UfBK\�m?B�NYW dfWST�LPJ?B8To<?BKdfTo<?HKB­¿DRDZ¯³�[i,Z[QR@CBAJ4U�BKd�NPW¢k?dfHKTALP\�LPORJ*mnB�N�� L�UfHAdoW�UfLMOSJ�mnB � BA�=UfORJ*klBKd�@CBAU=LYT�LmnB�NMLP@CL�UfBAd,TABK\�BA�.BAUf\K�

� OSdf\fb4Z?B�NPB�k.ORNP^`J��R@CB���B�UC\�W mnHAdfLM�SHAB�\�ORJ4U¢HA��WXNPZ?HK\�k[WRd�NYWu@CH�Uf<?OnmnB�m?B (,OSd�J[BAdxª�J?OSZ[\�k.ORZ[�RORJl\�ZnUfLMNPLP\�BAd¢NYWT�OSd�dfBKT�U�LPORJ�NMLPJ?HKWRLMdfB�WXZnUfOR@�W�UfLPb4Z?BIB�UVTKWXNYT�Z?NPBAd�N�� L�UfHAdoW�U�LPORJ*mnB � BK�=U�OSJ*TAORdfd�LPQRHKBI\�Z?LP��WXJ4U�B

w � � « ��w � � �2v�w � x���cv�w � x � "°� §5�amY�a¤�¤�¤�¤ �=�0�

� Bx\���WRNMBKZ?df\ �Pv�w � xeB�U ���cv�w � x�\�ORJ4U�OSanU�BKJ4Z[BK\�BAJ�WRk?k?NPLPb4Z[WRJSU�NPW�T�OSd�dfBKT�U�LPORJ�NPLMJ?HxWXLPd�B�WXZnUfOR@�W�UfLPb4Z?BIWXZn¡�k.ORNP^4J��R@CBK\��B�U�� � k.ORZ?d,To<[WSb4Z?B�LMU�HKd�H�w �`�

',J�WXZnUfd�BIWR\�klBxT:U�LP@CklOSd_UoWXJ4U�m?Z�TAWRNPTAZ?N.BAJ�k[d�HxT�LY\_LPORJC�[J[LMB�mnBVN�� L�UfHAdoW�U�LPORJ³�=�r��WXZ��RORLY\�LMJ[WRQRB,mnBIdoWRT�LPJ?Bx\e@�Z[N�UfLMk?NPBK\BK\_UNPB�To<[ORLM¡�mnZ�U�BK\_U�m�� WRd�d���Ux� � OSZ[\J?B�mnHAUfWRLMNPNMBKd�OSJ[\]klWR\]NPBK\�mnLM�.HKd�BKJ4U�BK\\hUfdfWXU�HKQRLPBK\]k.OS\f\�LMa?NPBK\K� � OS@C@¢B�J?ORZl\�mnLY\_k.OS\�ORJl\mnBI��WXNPBAZ?do\�TAORdfd�LPQRHKBK\ �Pv�w'�rx:ªnJ?OSZ[\�To<?ORLY\_LY\f\_OSJ[\�m�� WXdfd���U�BKd�N�� L�UfHAdoW�U�LPORJ³�=�r��NPORdo\�b4Z?B�NMBId�Hx\_LYmnZ�WXa[\�ORNPZ8�RHKd�LM�[B�� �2v�w'�Yxa�Jk � ªROrq � Bx\hU�m?BVN�� OSdfmndfB,mnB ª4NPB,k?NPZ[\�k.B�UfL�U�J?OR@�a?dfB=­[OXU�UfWXJ4U=\hUfd�LYT:UfBA@CBAJ4U�k.OS\�L�UfL��h� � OSZ[\ek[d�BKJ?ORJ[\ � � mr¤ §h��ma§S¨ �½ª\fWRTo<[WRJSU�b4Z?B ¡¹mr¤ ��]ma§S¨ ©IBKJ*\�LP@¢k[NMB�k?dfHKTALP\�LPORJf� ���e� �*�&��rl�� OSZ[\�WXk?k?NPLYbSZ[ORJ[\�N�� L�UfHAdoW�UfLMOSJ�mnB � BA�=UfORJ]ª=\fWXJ[\�B�U W½�RBxTuT�OSd�dfBKT�U�LPORJ[\Kª���NPW�mnH�UfBAdf@¢LPJ[WXU�LPORJ�mnB NPW�dfWST�LPJ?B m?B

@�Z[N�UfLMk?NPLYT�LMU�HD �mnZ�k.ORNP^`J��R@CB�Pv�w"x³� v�w²� m_x ¬ ª�TAB k.ORNP^4J��R@CB HAUfWXJ4U�HA��WXNPZ?H \�ORZl\�\fW���ORdf@CB mnHK�RBANPORk[klHKB \�BANPORJNYW @CH�Uf<?OnmnB mnB (,OSd�J?BKdK� � Bx\¢d�Hx\_Z?NMUfWXUf\C\�Z?LM��WRJSUo\C\_OSJSUCORa?U�BAJ`Z[\¢k.ORZ?d°w��³� �j#m�� WRZnU�dfBK\¢��WXNPBAZ?do\¢m�� LPJ?LMU�LYWXNPLP\fW�UfLMOSJT�OSJ[mnZ?LY\�BAJ4U�WRZn¡�@ �A@CB�TAORJ[TANMZl\_LPORJ[\K� � W��lQRZ?dfB�DVd�BKk?dfHK\�BAJ4U�BeNPBK\�LMU�HKd�Hx\TKWXNYT�Z?NPHK\�\�WRJ[\�T�ORdfdfBKT:UfLMOSJ�BAJ¢\_LP@Ck?NMB�B�U mnOSZ?a?NPBk?dfHKTALP\�LMOSJ[\Kª�BAU8N�� LMU�HAdoW�UfLMOSJÀ� �r�CmnB NYW�T�OSd�dfBKT�U�LPORJ�BKJ�\�LP@¢k[NMB k?dfHKTALP\�LPORJ]� � BK\CLMU�HAdoW�UfLMOSJ[\¢J?ORJ�TAORdfd�LPQRHKBK\¢mnBA�`LPBAJ?J?BKJ4UdoWXk?LYmnBA@CBKJSU�LPJ[\_UfWXa[NMBx\�B�U�\ � WRd�d���UfBAJ4U�\_Z?d�mnBK\�WRk?k?dfO½¡`LP@�W�UfLMOSJ[\CbSZ[LVWXJ?J`Z?NPBAJ4UC��ORd�U�Z[L�UfBA@CBAJ4U8NPB d�Hx\_LYmnZ �Pv�w � x�� C�JU�dfORZ[�RB k[WRd�B�¡nBK@¢k[NMB�w « ���l� mY¤ mYm!Y§1� �0¥ � BAJ�\�LM@Ck?NPBuk?dfHKTALP\�LPORJ�WXNPORdo\8b4Z?B TABAd�UfWXLPJ[\�L�UfHAdfHK\�WRJ4U�HAdfLPBAZ?do\�\_OSJ4U�mnBK\WXk[k?d�O½¡nLP@�W�U�LPORJl\�k?NPZ[\Ik?d�HxT�LY\_Bx\VmnB¢NYW8doWRT�LPJ?B¢To<?BAdoTo<?HABS� � � LMU�HKdfWXU�LPORJuT�OSd�dfLPQRHAB��=�r�VWXk?klWXdoW��YUI\_UfWXa[NMB�B�U�\ � WXdfd �AU�B�k.ORZ?dw �� �¹mY¤ §Y§Y¦r§B§ ���Y¥[� � W�k?dfHKTALP\�LPORJ�mnBIT�BAU=WRk?k?dfO½¡`LP@�WXJ4Ue�RHKd�LM�[B�� w �� �tmJ�Y¡ g)«�� jnTAB�U_UfB�dfBANYW�UfLMOSJ�BK\_U�BKJ�WRTKT�OSdfm�W½�SBKTNPBK\�BK\_U�LP@�W�UfLMOSJ[\�U�<?HKORdfLPb4Z?Bx\�k.ORZ[d�Z?J�TKWXNYT�Z?N BKJ k[d�HxT�LY\_LPORJ]g S� C�J dfB�Ufd�OSZ?�RB¢WXLPJ[\�L NMB�T�OS@CklOSd_UfBA@CBAJ4U�mnHhg*��LPNMNPZ[\_U�dfHk[WRd�NPW¢dfHK\�ORNPZnU�LPORJ�mnZ \_^n\_U�>A@CB�NPLMJ[HKWXLPdfBR�

��(�� ��EGEh>*4#1"8P354*?�K 1"?�:=Eh>@<2:=/2K�3S8)4@A5/¾LG/2ID:=<H3 �G?�LG/2I ��������� � /H3 �������

� � B�¡nBK@¢k[NMBuk[d�HxT�HKm?BAJ4U�LPNMNPZ[\_U�dfBuN�� LPJ4U�HAd���U*mnB TAORdfd�LPQRBKd�WXZ?U�OR@�WXU�LYbSZ[BA@CBAJ4U�TABAd�UfWXLPJ?Bx\8��WXdfLPWRa?NPBK\�LPJ4U�BAdf@CHKmnLYWXLPdfBK\K�� W*mnL½8T�Z?NMU�H�dfHK\�LYmnB¢m?ORJ[TCm?WRJ[\�N�� LYmnBAJ4U�LM�lTKW�U�LPORJ�mnBCUfBANPNMBx\��½WRd�LYWXa[NMBx\I\�BAJl\_LPa?NPBK\K�]i J[OXU�dfB�T�OSJ?J[WXLY\f\�WRJ[T�BSª.LPN J�� B�¡nLY\hUfBk[WS\�mnB�@CH�Uf<?OnmnB�QSHAJ?HKdfWRNMB�b4Z?L�dfHAk.ORJlmnB�� T�B�k?dfORa?NP>A@CBR� � B*mnBAdfJ?LPBAd¢B�¡nBA@Ck?NPB�k?dfHK\�BAJ4UfB�Z?J TAWS\�Orq�N�� ZnUfLMNPLP\fW�UfLMOSJT�OS@Ck?NMHK@CBAJ4UfWRLMdfB�mnB*NYW @CHAU�<?OnmnB ��� on;�i � BAU8mnB*NPW @CH�U�<[O`m?B ����� i�k.BAdf@¢BAUCm?B�NPOnTAWRNMLY\_BKd¢m?B�UfBANPNMBx\¢�½WRd�LYWXa[NMBx\k?Z?LY\�m�� WX@CHKNMLPORdfBAd�\�ZS½8\�WR@¢@CBKJSU�NYW�k?d�HxT�LY\_LPORJ�mnB�NYW*\_OSNMZnUfLMOSJ�To<[BAdoTo<?HAB¢klOSZ?d�LYmnBAJ4UfL��[BKd�NMBx\�TAWRZ[\�BK\�mnB�NYW�k.BAd�U�B8m?Bk?dfHKTALP\�LMOSJ]�� OSZ[\,\�Z?k?k.OS\�ORJ[\�b4Z?B�NPB�NMBxT:UfBAZ?dIT�ORJ[J[W��YUVNPBK\,k[d�LPJ[T�LPk.BK\Vm?B�NPW8@¢HAU�<?OnmnB ��� on;�i � ª[BAU�BAJ klWXd�U�LYT�Z?NPLMBKdVNYWCJ?OXUfLMOSJ

mnB�J[OR@�a[d�B�mnB¢To<?LM�.dfBK\,\�LPQRJ?LM�lTAWXU�LM�Ñ\,Q4WXdoWXJ4U�L¬k[WRdVNPB�NPORQRLYT�LPBAN � iGe � iM�Ñb4Z?L�LP@Ck?NYWXJ4U�B�NYW�@CH�Uf<?OnmnB ��� on;i � �VWXLPJ[\�L

ÛRQTÁ]ÛTS

Page 14: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

0.5

1

1.5

2

2.5

3

0 20 40 60 80 100 120

Itere

Iteration

Simple precisionDouble precisionIteration corrigee

� �����¬D ��o`UfWXa[LMNPLP\fW�UfLMOSJ�m?B�N�� L�UfHAdoW�UfLMOSJ�mnB � BA�=U�OSJ*k[WXd,TAORdfd�BxT:U�LPORJ��

b4Z?B�N�� ZnU�LPNMLY\fW�U�LPORJ mnB�NYW8��WRNMBKZ?d�\�klHxT�LM�lb4Z?B���¤ §�ª0WXk[klBKNMHKB 3AHKd�O�\hUfO`To<lWR\_U�LYbSZ[BRª0m?WXJ[\VNMBx\,UfBK\_Uf\�m�� WXdfd �AU�mnBx\V@CH�Uf<?OnmnBK\LMU�HAdoW�UfLM�SBK\K� � ORZl\�d�BKJ`�RO�^ROSJ[\eNPB�NPBKT:UfBAZ?d���­¿DXs_¯³ªC­¿D_¯³ªnORZt­ _¯m?WRJ[\�T�B��ROSNMZ[@¢BSªnklOSZ?d,NPB�mnH�UoWXLPN�mnB�T�BAU_U�B�@CHAU�<?OnmnBS�

� ORJl\_LYmnHAdfORJl\=NMB�TKWXNYT�Z?N�mnB�NYWCdfWST�LPJ?B�mnORZ[a?NMBzw��h� �0����mnZ klOSNM^`J��S@¢B��Tv�w"x!�FmY¤ ����w �¾mr¤mZ¥&w ���mr¤ ���&w��D§5¤ �0¢��\�ORJ WRZnU�dfB�doWRT�LPJ?B�HAUfWRJSUh��¼� �G¢0� �W­ �Z¯%� � ORZ[\IWXk?k[NMLYb4Z?ORJ[\VN�� LMU�HAdoW�UfLMOSJ mnB � BA�=UfORJuBKJ \�LM@Ck?NPB�BAUImnOSZ?a?NPB�k?dfHKTALP\�LPORJ� �e�e� �@�Y��r k.ORZ?d¼w � � §�¤ ¢?� � BK\�LMU�HKdfWXU�LPORJ[\�\ � WXdfd �AU�BAJ4U�dfBK\�klBxT:U�LP�RBK@CBAJ4U�klOSZ?d5"t�OmZ¦*B�U5" ª � r¢�B�U�mnOSJ?J?BKJSU�NPBK\WXk[k?d�O½¡nLP@�WXJ4Uf\�w B�UQw ª b4Z?L�WXJ?J`Z?NPBAJ4UVNPB�dfHK\�LYmnZ��CNPW8k?d�HxT�LY\_LPORJ @�WSTo<?LMJ[BRª[T � Bx\hU�� �X�³mnLPdfBD»�Tv�w"x�� »�Tv�w ª x��À§[ª[OYq]»� BK\_UN�� HK�½WRNMZlW�U�LPORJ ­[ORU_UfWRJ4U�B�mnB ��m?WXJ[\�NYW�k?dfHKT�LY\�LMOSJ T�OSJ[\�LPmnHKd�HKBR� � BK\Ik?dfHKT�LY\�LMOSJ[\Id�BKNPWXU�LP�RBK\�mnB°w�BAU�w ª ª]dfBK\�klBxT:U�LP�RBK@CBAJ4US¤ � ? �-¢CBAUzmY¤� ? �²¥[ªl\�ORJ4UVT�OSJn��ORdf@CBK\,WRZn¡�dfHK\�Z?NMUfWXUf\=Uf<?HAOSd�LYb4Z?BK\�\_LORJu\fWXLMUVbSZ � LPN�\ � WXQRLMUVm�� Z?J?B�dfWST�LPJ?B�mnORZ[a?NMBSªlTABb4Z?L]J�� BK\_U�QRHKJ?HAdoWXNPBA@CBAJ4U�k[WS\=NMB�TAWS\A�

� BVk?d�LPJ[TALMk.B�mnBIN�� ZnUfLMNPLY\�WXU�LPORJ8T�OSJ�ghORLPJ4U�BImnBK\�mnBAZ?¡C@CHAU�<?OnmnBx\�Bx\hU=WR\f\_B43,J[W�UfZ?dfBAN[LYT�L%� � ORZl\�WRk?k?NPLPb4Z?OSJ[\�m�� WXa.ORdomCNYW@CH�Uf<?OnmnB ��� on;�i � k.ORZ?d,WRd�d���UfBAd�N�� LMU�HAdoW�UfLMOSJ�mnB � BA�=U�OSJ�m?HK\�b4Z?B�NPW¢k?dfHKTALP\�LPORJ�m?BIN�� L�UfHAdfHhw � J � Bx\hU�k?NPZ[\�WX@CHKNMLPORdfHABS�eIWXJ[\IJ?ORU�dfB�TAWS\Aª.N�� LMU�HKdfWXU�LPORJ m?B � BA�=U�OSJ BA¡`HxT�ZnUfHAB¢BAJ�WXdfL�Uf<?@CH�U�LYb4Z?B�\_U�OnTo<[WS\hUfLPb4Z?B¢\ � WXdfd���U�B�klOSZ?d �Pv�w � xG����¤ §pBAUw � �¾§5¤ � ���`� � B�NPORQSLPTALMBKN � iGe � i Q4WXdoWXJ4U�LMU�NPBK\G®�k[d�BK@¢LPBAdo\=To<?LM�.dfBK\�mnB�w � �� OSZ[\,Z?U�LPNMLY\_OSJ[\�BAJ[\�Z?LMU�B�N�� L�UfHAdoW�U�LPORJum?B � BK�=U�OSJ T�OSd�dfLMQSHAB}� �r��k.ORZ[d�WX@CHKNMLPORdfBAd,NYW8k[d�HxT�LY\_LPORJ mnBx\VLMU�HKd�Hx\�\�Z?LP�½WRJ4Uf\K�

� B�d�Hx\_Z[N�UoW�U=QSWXdoWXJ4UfL?k[WXd � iGe � i«\�Z?QRQS>AdfB,k?NPZ[\�LMBKZ?df\���WXNPBAZ?do\�m�� LPJ?LMU�LYWXNPLP\fW�UfLMOSJ}w���U�BKNMNPBK\=b4Z?BQw�� ¨ �{w����{w�� � ªnW½�SBKTNPBK\���WXNPBAZ?do\9w � ¨ � §5¤ � �r§B§Y§r§Y§CBAU¼w � � � §5¤ � �Y¥B¥r¥Y¥r¥CklOSZ?d�NPW*\�LM@Ck?NPB�k?dfHKTALP\�LMOSJ]� � OSZ[\�To<?ORLY\�LP\f\_OSJ[\�m�� LMJ?LMU�LYWXNPLY\_BKdN�� LMU�HKdfWXU�LPORJ�m?B � BA�=U�OSJ�TAORdfd�LPQRHKBz�=�0��W½�SBKT�NPBK\=mnBKZn¡8��WXNPBAZ?do\!w � ¨ BAU!w � � � � BVUoWXa?NPBKWRZ�\�Z?LP�½WRJ4U�dfHK\�Z?@CBVNPBK\=TAWRNPTAZ?NY\�BKJ\�LM@Ck?NPB�k?dfHKT�LY\�LMOSJ]�

wTv�§0x " w � �Pv�w � x ��� ¨ �������� ����

���w�� ¨ � s[� r`D��Rr �r� �Xr ®[� �Xs � �ovxD s?� s Dn� Rs � �fvKrw�� � s[� r`D�� r �SD rl� �r® � �ovxD s?� s �?�Pv�� � �fv_�

� BK\�mnBKZn¡�TAWRNPTAZ?NP\�\ � WRd�d���UfBAJ4U�N�� Z?J�T�OS@¢@CB�N�� WXZnUfd�B�klOSZ?d�� w ���Ww'� ¨C« � �5� w'�5�r�µ§[ª4TAB�b4Z?L¬WR\f\_Z[d�B,NYW�k[d�HxT�LY\_LPORJ�OSknU�LP@�WXNPBmnB�N�� LMU�HAdoW�UfLMOSJ]ª�@CWRLP\�LPNP\CT�OSJ`�RBAdfQRBKJ4U��RBKdf\�mnBAZn¡�WRk?k?dfO½¡nLM@�W�UfLMOSJ[\ w � ¨ � §�¤ � ����¥r¢Y¥ ��B�U w �� � §5¤ � �r¦ �r¦r¥ ?ª0b4Z?LmnLM�.>Kd�BKJ4U!��k[WRd_UfLMd�mnZ�U�dfORLY\�LM>K@¢B�To<?L��0dfBR� � W�a.ORdfJ?B�$��*B�U�NPW���WRNMBKZ?d�mnZ�d�Hx\_LYmnZ8T�OSd�dfLPQRH �2v�w � xek?d�OSZ?�RBKJ4U�bSZ � WRZ[T�Z?J[BmnB�TABK\=��WXNPBAZ?do\=J�� BK\_U�Z?J 3AHAdfO�mnZ*klOSNM^`J��S@CB�TAORdfd�LPQRHS� � B�To<?ORLM¡�m�� WXZnUfd�Bx\=��WXNPBAZ?do\�m�� LMJ?LMU�LYWXNPLY\�WXU�LPORJ�BAJ4U�dfB9w�� ¨ BAU�w�� ���ORZ[d�J?LMUVmnBx\�T�ORJ`�SBAdfQRBAJlT�BK\�\�LM@CLPNPWRLMdfBK\K�

� B�U#B�¡nBK@¢k[NMB=LPNMNPZ[\_U�dfB�Z?J¢B��0B�Uea[LMBKJ¢TAORJ?J`Z�m?B�NYWIk?d�HxT�LY\_LPORJ��[J?LPB�NPORdo\fbSZ[B�N�� OSJ�\ � LPJ4U�HKd�Bx\�\�B�WRZ��SORLY\_LPJ[WXQSB�mnB�doWRT�LPJ?Bx\@�Z[N�UfLMk?NPBK\�m�� Z?J klOSNM^`J��S@¢B���TAO`B%½8T�LPBAJ4Uf\�dfHABANY\K� � W8k.BAd�U�Z?dfa[W�UfLMOSJuBAJ[QRBAJlmnd�HKB�k[WRd�NPBCT�Onm?WXQSB�BAJ k?dfHKT�LY\�LMOSJ �[J?LPB¢m?B\�BK\�T�O`B�½�TALMBKJ4Uf\�U�doWXJl\h��OSd�@CBINPWCdoWRTALMJ?BILYT�L�mnOSZ?a?NPB�BAJ mnBAZ?¡�doWRT�LPJ?Bx\�\�LP@¢k[NMBx\�\_HKk[WXdfHABx\�w�� ¨ B�U�w��� �Á2ÁÎÜBÂ�Ã%Ä�Å$Ã

Page 15: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

-6e-08

-4e-08

-2e-08

0

2e-08

4e-08

6e-08

0.42845 0.4285 0.42855 0.4286 0.42865 0.4287

Simple precisionCorrection et bornes en simple precision

�����+�2® � � ��WXNPZ[W�UfLMOSJ[\�klOSNM^`J?OS@¢LYWXNPBK\IW½�RBxT�B�U�\�WRJ[\IT�ORdfdfBKT:UfLMOSJ WXZu�SORLY\_LPJ[WXQSB�m�� Z?J?B¢dfWST�LPJ?B�mnOSZ?a?NPB��ÑNMBx\Va.ORdfJ?BK\I\�ORJ4U@CBK\�Z?dfHABK\=klWXd=NMBx\,T�OS@CklO4\�WRJSUfBK\��RBKd_UfLPTKWXNPBK\=mnZ¿�9�:�

� OSZ[\��RHAdfLM�[ORJ[\�b4Z?B�NPBK\¢��WXNPBAZ[df\ w � ¨ BAU w �� TAWRNPTAZ?NMHKBK\�k[WXdCN�� LMU�HKdfWXU�LPORJ�TAORdfd�LPQRHKB8\_OSJ4UCmnBx\�WRk?k?dfO½¡nLM@�W�UfLMOSJ[\�m?Bk?dfHKTALP\�LMOSJ8ORk?U�LP@CWRNMB�mnB9w�� ¨ B�U�w��� �nc�OSZ?d�T�BKNPW[ªSJ?OSZ[\�ZnU�LPNPLP\�ORJ[\=NPBINMOSQRLYT�LPBAN¬mnB�TAWXNYT�Z[Nl��OSd�@CBKN�� WXk?NPB�k.ORZ[d�NPOnTAWRNMLY\_BKd�NPBK\doWRT�LPJ?Bx\ mnZ�klOSNM^`J��S@CBh»��� � ORZ[\�mnH��[J[LP\f\_OSJ[\eTAB�klOSNM^`J��S@¢Bh»��k[WXd!»�Tv�w�x��{» E w �°» E w H��» E « w��°» E � ªROYqz» E � �±s"uJv E � x BK\_UNYW,��WXNPBAZ?d���doW�UfLMOSJ?J?BKNMNPBZ�]B�¡?WRT�U�B�mnB�NYW,dfBAk?dfHK\�BAJ4UfWXU�LPORJ�a?LPJ[WXLPdfB�BAJ�\_LP@Ck?NMB�k?dfHKTALP\�LMOSJ�mnZ�TAO`B%½8T�LPBAJ4U E � mnB�����§����� �r�:�� J�NMLP@CL�UoWXJ4UNYWV\�HAk[WRdfWXU�LPORJ�mnBx\�doWRTALMJ?Bx\]k[WRd�\�Z?LMU�Bx\mnB�o4U�Z[d�@¹�Vm?BK\LMJ4U�BKd���WRNMNPBK\�d�BKk?d�Hx\_BKJ4UfW�UfL��Ñ\mnB�NYWV\�LP@¢k[NMB�k?d�HxT�LY\_LPORJ�ªORJ�ORa?U�LPBAJ4U

� ¨ � + §5¤ � � ��¥0¢&¥����#§�¤ � ���B¥r¢�¥�� /ÙB�U�� � �,+ §�¤ � �r¦ �r¦r¥5m���§5¤ � �&¦ �Y¦r¥ �/ ¤C�J��SHAdfL��lB�b4Z?B w � ¨ y�� ¨ B�U w �� y�� � � � Wu�lQRZ?dfB�® d�BKk?dfHK\�BAJ4U�B�N�� HA��WXNPZ[WXU�LPORJ�WRZ��ROSLP\�LPJ[WXQSB�mnB T�Bx\���WXNPBAZ[df\Kª mnZk.ORNP^4J��R@CB ��BAJ�\�LM@Ck?NPB�k?dfHKT�LY\�LMOSJ]ªXWXLPJ[\�L[b4Z?B,\_OSJCHA��WXNPZ[W�UfLMOSJ¢TAORdfd�LPQRHKB ��BAUeNMBx\ alOSd�J[BK\eWS\�\�OnT�LPHABK\ �$�� � � � BA¡nklHKd�LPBAJ[TABJ`Z?@CHAdfLPb4Z?B�BK\_U�BAJ�WSTATAORdomIW½�SBKT#NPB�dfHK\�Z?NMUfW�U�\_^`@�a.ORNPLYbSZ[BR�Ai�T�B�J[LM�SBKWXZ�mnB�k?dfHKT�LY\�LMOSJ]ªANYW,T�OSd�dfBKT�U�LPORJIklBKd�@CBAU�m�� LPm?BAJ4U�LM�[BAdNYW¢\�HAklWXdoW�U�LPORJ�mnB�NYW�doWRTALMJ[B�m?ORZ?a?NPBR�

� � ���� ��� ������� OSZ[\]Bx\_k.HAdfORJl\]�ROSZ[\�W½�SORLPd]T�OSJ4��WRLMJ[TAZ�b4Z?BeNYWVTAORdfd�BxT:U�LPORJ�WRZnU�OS@CWXU�LYb4Z?BeBK\_UZ[J?B��SORLPBeLMJ4UfHAdfBK\f\�WRJSUfB klOSZ?d#WX@CHANPLMOSd�BKd

NYW�b4Z[WXNPLMU�H¢J4Z[@¢HKd�LYb4Z?B�m?BK\�NMOSQRLYT�LPBANY\A� � W�T�ORdfdfBKT:UfLMOSJ*BK\_UIZ?J[B¢WRN�UfBAdfJ[W�UfLM�SBz�8NYW�\�LM@Ck?NPBCWXZ?QS@¢BKJ4UfW�UfLMOSJumnB¢k?d�HxT�LY\_LPORJ�ª\�ORJ WRZnU�OS@CWXU�LY\�WXU�LPORJ NYW�dfBAJlmuWXZ[\f\�L��ÑWST�LPNMBK@¢BKJ4UIWRTKT�Bx\�\�LMa[NMBS�º�ÄN��ÑWXZlmndfW8@CWRLMJ4UfBAJ[WRJSU�WXk?k[d�HxT�LPBAdINMBx\�W½��WXJ4UoWXQRBx\¼��BAUINPBK\T�O �nUf\$��d�Bx\_k.BKT�U�LM�Ñ\,mnBx\�mnBAZn¡*WXk?k[d�OnTo<?Bx\A�

� B�U�U�B*b4Z?BK\_U�LPORJ�Bx\hU�m�� WXZnUoWXJ4UCk?NMZl\¢m�� WST:U�ZlWXNPL�UfH�b4Z?B�NMBx\�U�doW½�½WRZn¡�BAJ�TAORZ?do\¢mnB�J[ORdf@CWRNMLY\fW�U�LPORJ�m?BK\ � � iQo¬ª�NPBK\a?dfLPb4Z?Bx\CmnB*a[WR\�B�m?Z�NPORQSLPTALMBKN�m�� WRNMQS>Aa?dfB�NPLPJ?HKWRLMdfBRª#LPJSUf>AQSd�BKJSUCk.ORZ?d�NYW k[d�BK@¢LP>AdfB���ORLY\�mnBK\COSklHKdfWXU�BAZ[df\¢b4Z?L�klBKZ?�RBKJ4UZnUfLMNPLP\�BAdVZ?J?B�k?dfHKTALP\�LMOSJ�\�Z?k.HAdfLMBKZ?d�B��CNYW¢k?d�HxT�LY\_LPORJ*mnZ TAWRNPTAZ?N]WXk[klBKNPWRJSU¼­ ®_¯³� � BK\�U�BKTo<[J?LPb4Z?Bx\=ORJ4U,k.BAdf@¢LY\�dfHKTABA@C@CBAJ4Um�� WX@CHANPLPORdfBAd�NYW�k?d�HxT�LY\_LPORJ ��� NYWVk.BAd���ORdf@�WXJ[TAB�mnB=T�BKd_UoWXLPJ[\WRNMQSORdfL�Uf<?@CBK\\�TKWXNYWXLPd�Bx\]ORZ�k[WXdoWXNPNP>ANPBK\�­ �_¯³� � BK\#WX@CHKNMLPORdoW�UfLMOSJ[\\ � WRk?k?Z?LPBAJ4U,\_Z[d�N�� ZnU�LPNMLY\fW�U�LPORJ�mnBK\=a[LMa?NPLPOXU�<[>Kb4Z?BK\�b4Z?L¬WRZ?QR@CBAJ4UfBAJ4U�NYW¢k?dfHKT�LY\�LMOSJ�mnOSJSU=J?OSZ[\=W½�RORJl\�k[WRd�NPH�WXZ*mnHAa?Z?U�m?BT�BAUVWXd�U�LYT�NPBR��',U�LPNMLY\_BKd�NPWCTAORdfd�BxT:U�LPORJ�WXZnUfOR@�W�UfLPb4Z?B�k.BAdf@CB�U_UfdfWRL�U��%BKNMNPB�mnBK\�WR@CHANPLMOSdfWXU�LPORJ[\=mnLM�.HKd�BKJ4U�BK\��c WXd�NPB a?LYWXLY\8mnB NYW�@¢HAU�<?OnmnB ����� i�ª�J?OSZ[\8W½�ROSJ[\¢LMNPNPZ[\hUfd�H NPBK\8NMLP@CL�UoW�U�LPORJl\�LMJ4Ufd�LPJ[\�>Kb4Z?BK\f��Z?J k?d�OnTABK\f\_Z[\�m?B

T�OSd�dfBKT�U�LPORJ��[J[WRNMBS���ÄNVJ[ORZ[\8\�BA@�a?NPBuW½�RORLPd�@CORLPJ[\8LPJ[\�LP\_U�Hu\�Z?d�NMBx\�NMLP@CL�UoW�UfLMOSJ[\8k?dfORk[d�Bx\°��NPW�@CHAU�<?OnmnBuBKNMNPB��³@ �A@CBRªT�OS@C@¢B klWXd8BA¡`BK@Ck?NMB T�BANPNPBK\�BKJ?QRBKJ[mndfHABK\8k[WXd8N�� WXk?k?dfO½¡nLM@�WXU�LPORJ m�� OSdfm?d�B�vR��uWXLY\�k.BAZnU����AU�dfBuBK\_U_�ÄT�B klWXdoT�Bub4Z?B NYWk?dfORk[WRQSWXU�LPORJ�mnBx\�BKd�dfBAZ[df\�m�� WRd�dfORJlmnL�Bx\hUxª�<[ORdo\�TKWR\¢m�� HxT�OSNMBSª��OSd_UfBA@CBAJ4UCNMLPJ?HxWXLPd�B� � UoWXLMU_�ÄT�B*T�B*mnORJ4U¢�RORZ[NPWRL�UCJ?ORZl\T�OSJ`�½WRLMJlT�dfB � LMJ?JlWXLPJ?@�WRW?ª`N�� Z[J*m?BK\=��OSJ[m?W�UfBAZ?do\=mnBK\�WRk?k?dfOnTo<?BK\=mnB�@�W�ghOSdfWXU�LPORJ8NPLPJ?HKWRLMdfBK\KªnBAJ�LMJ4UfL�UfZ?NPWRJ4UV\_OSJ�mnBKd�J[LMBKd

ÛRQTÁ]ÛTS

Page 16: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

WXd�U�LYT�NPB*\_Z?dCNPB�\�Z�ghBAU�� � dfd�OSd � LMJ[BKWXdfL 3KW�UfLMOSJ�WR\¢WXJ � �0BKT:UfLM�SB ;�O`ORN���OSd � ¡`k.BAdfLP@¢BKJ4UfWXN,iVJ[WXNP^n\_LY\�OX�VUf<?B � Z?@CBKd�LYTAWRNo4UoWXa?LPNMLMUh^�OR��iVNMQSORdfL�Uf<?@�\�� �°­Pv_�a¯� OSZ[\�mnBK�ROSJ[\�@�WXLPJ4U�BAJlWXJ4U�mnLY\hUfLMJ?QSZ?BAd�mnBAZn¡�J?LP�RBxWXZn¡�mnB�T�OSd�dfBKT�U�LPORJ�WXZnUfOR@�W�UfLPb4Z?BS�2e � WRalOSdfm¬ª�NMBx\�WXNPQROSd�LMU�<[@¢Bx\

�CWXZ?U�OX�ÄT�OSd�dfBKT�U�BKZ?df\ �b4Z?LTAORdfd�LPQRBKJ4U�WRZnU�OS@�W�U�LYb4Z?BA@CBKJSU,NPBAZ[df\,TKWXNYT�Z?NY\Kª[T�OS@¢@CB�klWXd,BA¡`BK@Ck?NMB�NPBK\�\_OS@C@CWXU�LPORJ[\�\�LP@��k?NPBA@CBAJ4UVOSZ mnORZ?a[NMBK@¢BKJ4UVT�[email protected][\�HABx\A� � J[\_Z[L�UfBRª0mnBK\�@CHAU�<?OnmnBx\�k?NPZ[\�QRHKJ?HAdoWXNPBK\�b4Z?L�ORJ4U,klOSZ?d,OSanghBKT�U�LM�#mnB�T�ORdfdfLMQSBAdmnBx\VWXNPQROSd�LMU�<[@¢Bx\Aª.T�OS@¢@CB�NYW�@CH�Uf<?OnmnB ����� iÁbSZ[B�J?ORZl\VW½�ROSJ[\�NPORJ?QSZ?BA@CBKJSUImnLP\fT�Z?U�HR� � W8QRHAJ[HAdoWXNPL�UfH�mnB�TAB�U_UfB�@CH��U�<[O`m?B�WRN�Uf>AdfB�N�� B�½8TAWRTAL�UfH�m?B�\�ORJ�WRk?k?NPLPTKW�UfLMOSJ]ª)�uNYWu��OSLP\¢BAJ�k?dfHKT�LY\�LMOSJ�B�U�BAJ�klBKd_��OSd�@�WRJ[T�BS� � ORZ[\CW½�ROSJ[\�LYmnBKJSUfL��lHmnBx\�TAWR\�OYq�NYW�TAORdfd�BxT:U�LPORJ�NMLPJ?HKWRLMdfB�WXZnUfOR@�W�UfLPb4Z?BIQRHKJ?HAdoWXLMU=m?BK\=WXNPQROSd�LMU�<?@CBx\���WXZnUfOX�ÄT�OSd�dfBKT�U�BAZ[df\� 8BA¡`LY\_UfWXJ4Uo\A� C�J�BKJmnHxmnZ?LMU�WXLY\_HK@CBAJ4UeNPW�alOSJ?J?B��ÑWri�ORJ�m�� WXk[k?NMLYb4Z?BAd�NPW�@CH�Uf<?OnmnB ����� i �4T�OR@C@CB�Z?J�OSZnU�LPN[LPJ4U�BAdoWRT�U�LM�]m�� BA¡nklHKd�LP@CBAJ4UfWXU�LPORJJ`Z?@CHAdfLPb4Z?BS�Co`L#ORJuLYmnBAJ4UfL��[B�mnBx\�T�ORdfdfBKT:UfLMOSJ[\,LPJ4U�HKd�Bx\�\fWXJ4U�Bx\AªlNMBx\Ia[WR\�BK\ImnB¢N�� WXNPQROSd�LMU�<?@CB���WXZ?U�OX�ÄT�OSd�dfBKT�U�BKZ?df\ \�ORJ4UU�dfORZ[�RHABx\A�;��LMBKJ�\ �?dKª`T�BKNPW�J?B�\_OSZ[\h�³BAJ4UfBAJ[m�J`Z?NPNPBA@CBAJ4U�bSZ[B�mnB�U�BKNMNPBK\�@CH�Uf<?OnmnBK\=WXZ?U�OR@�WXU�LYbSZ[BK\edfBAJlmnBAJ4U=ORa[\�ORNP>�UfBK\eNPBK\T�OSJ?J[WRLP\f\�WRJ[T�Bx\�mnB�alWR\�BK\�mnZ�TAWXNYT�Z[N�BAJ�k[d�HxT�LY\_LPORJ��[J?LPB�BAU�N�� LPJ4U�Z?LMU�LPORJ�m?BK\�k[d�OSa?NM>K@CBK\�J`Z?@CHKd�LYb4Z?BK\�b4Z?B�klO4\�\�>Km?BAJ4UN�� LPJ?QRHKJ?LPBAZ?d�OSZ�NPB�To<?BAdoTo<?BKZ?d�m?WXJ[\�TABK\�mnOS@�WXLPJ?BK\�E WRZ�TAORJ4U�doWXLPdfB��� ���������8�

� Bx\�\�^`\_U�>K@CBK\�NPLMJ[HKWXLPdfBK\IU�dfLYWXJ?QSZ?NPWRLMdfBK\��Gw-� F ª�m?B�mnLP@¢BKJ[\�LMOSJ�v��uDXs?ª¬HAU�Z[m?LMHx\�BAJ�\�BKT�U�LPORJ²®?�¿D*\�ORJ4U�mnH��lJ?LP\z�k[WRd_UfLMd,mnBx\=@�W�U�dfLYT�B�B�U,�SBKT:UfBAZ?do\=mnB�mnLP@CBAJ[\�LMOSJ*DRsC\_Z?LP��WXJ4Uf\Kª

ma§r§ § ;�;2; ;�;2; ;2;�; ;�;2; §� �� m � � � ����� � � m � � � ���� �� �� � � � m � � � ���

� � � � � � � � � � � � � � � ����� � � � � � � � � � � � � m §� �� �� �� � �� m

�� �

§�¤ §�m��§5¤ §5m§�¤ § ���������

m �5mZ§5¤� � &¦ 5mY¤ ���

�� ��

m��§5¤ Y¢§�¤ ¢���������

� ���¦ ���¦r¢r¢ �Y¦

�� �¤

� B�\_^n\_U�>K@¢B�mnB�m?LM@CBAJl\_LPORJ )�BK\_U�NPB�\�ORZ[\_�³\�^n\hUf>A@CB8BA¡4UfdfWRL�UCmnZ�\�^n\hUf>A@CB�mnB�mnLP@¢BKJ[\�LMOSJ�DXs¿�uk[WRd_UfLMd¢mnB�� «�� « � � BK\T�OS@CklO4\�WRJSUo\=mnB � BAU F \�ORJ4U,mnBx\�­[OXU�UfWXJ4Uo\=a?LMJlWXLPd�Bx\Aª?TAB�b4Z?L�J�� Bx\hU,klWR\=NPB�TKWR\�mnB�w�'C�J*mnHKmnZ[L�UVNPBK\�[email protected]\fWXJ4U�Bx\�m?BF ��B�UVm?B�w��=\fWRTo<[WRJSU,b4Z?B F ��� « � F � � � nª)� / ���B�UVm?ORJ[T9w � � « �_w � �¹� r�:�� ��� �=�����������­Pv%¯¼eIW½�`LPm (��+�=WXLPNMBK^R��i �[ORd�U�doWXJn� �Rs�m?ORZ?a?NPB��ÄmnOSZ?a?NPB�NPLMa[dfWRd�^S�Ii��WXLPNPWRa?NMBCW�U�'Vj ������������� ���"!�!�!$#&%('*),+�-.#&/�021(��34 ��5,�76(� 498 +:�(�;6(� 4,8 +<�=#&���<6?> �­¿D_¯�@SBKWRJn� � NYWXZlmnB���WXg_WXdom¬ª'C�NPLM�`LPBAd ��BxWXZ?@CORJ4Uxª(@RBxWXJn� �uWRd�LPB � <?BK\�J?BKWRZn¡¬ª �uWRdfT�eIWXZ[@CWS\Aª9@ROnTABANP^4J[B � d�<[BAN%ªºe�OR@CL��J?LYb4Z?B � LYTo<?BKNMZ[TKT�L%ªA@SBKWRJn� �uLPTo<?BKN � Z?NPNPBAdxª ��BAdfJ[WXdom�ce<?LPNMLPk?k.BRª � WXU�<[WRNMLPB�j�BK�ROSN&ªB@SBKWRJn� � ORZ[LP\�j,O`To<�ªWXJlmC@RBxWXJD�LMQSJ?BK\K�=E� ���� �T� � �GFIHB� �G �R�%�$��HB� �� � � �c���&�5�KJ=Lº��� � �#�NM��&�#� � � � � � �%� � �Q���T�� ��°��� ���%��O �uWR\f\�ORJ]ª�c WXdfLY\Aªnv!� �0�n����ÄJ �[d�BKJ[To<º���

­ ®�¯¼e�OnT�Z?@CBAJ4U=��ORd=Uf<?B��=WR\�LPT � LPJ?BKWRd,i,NPQRBKa?dfW�o`Z?a[k?d�OSQRdoWX@�\h�&� � iho5��\hUoWXJ[m?WRdfm]��'�j �P�Q��������� ���"!�!�!$#&%('*�R> 8 5S#0*)�/(�<T���U(�"�RV2�('*)9+2�<5,>2V(+<�9W:X�0*)2T26Y#Z���<6[> ª �[BAa?dfZ[WRd�^�DRsRs[vR�­ r&¯$P�BKL�Uf<O��d�LPQRQ4\A� eVOSZ?a?NPBKmnOSZ?a?NPB ­[O4W�UfLMJ?Q�k.ORLPJSUuWRd�LMU�<?@CBAU�LYTX��i��WXLPNPWRa?NPB�WXU '�j �\�]��������� ���"!�!�![W"'2� 8:4 ':6�#�,>�V2%��9+�- 8 #^-2V:6Y#GVR-_#&T�U(�R3:U*5�) 8 /�/9+2� 4 02T*5,>�' 4 0"T�5,>2'=#Z���<6[> ª4v!� � �?�­ �_¯�@SBKWRJn� � WXdfLMB � <?Bx\_J?BxWXZn¡¬�DC � �Z�� � �N� ��� �Q���T� ������c��� � ���PH'�a`cb � �%�GF��c� � �#� � (VWRa?LMNPLMUfW�UfLMOSJD��e�LMdfLPQRBAd¢mnBK\�j�B��To<?BKdfTo<[BK\=;=<?BK\�LY\Aª�'VJ?LM�SBAdo\_LMU�H�ceLPBAdfdfBIBAU �uWXdfLPB � Z?dfLPBRª?c WXdfLY\Aª �?doWXJlT�BRª � O��RBK@�a.BAd�v�� �r�n�����ÄJ��[d�BKJ[To<º�:�

­ �¯�@SBKWRJn� � WXdfLMB � <?Bx\_J?BxWXZn¡*WXJ[m��lWXa?LPBAJ[J?BN@SH 3AHxb4Z?BAN%��;=<?HAOSd�LPB�B�UIk?dfWXU�LYb4Z?B�mnB�N�� WRd�LMU�<[@¢HAU�LYb4Z?B�\_U�OnTo<[WR\_U�LYb4Z?B�mnLY\h�TAd�>AU�BR� H ��� � S�� � � �$�Kd � � ��� �fe�� �%��� � %��� �& �G �B��� C � �N� e �°��� � R � �N�c��� ªlDRsRs[vR�#T�B�J`Z?@CHAdfO[ªC���ÄJ��[d�BKJ[To<º�:�

­ �Z¯�FIBKd�@�Z?J[m¿eIWX<[NPb4Z?LY\hU�WRJ[mhg%�RB ��gjiSdfT �0� b ��������� ��� M¿���� 5�Z�_� �¢cedfBAJnUfLPTAB�� (VWXNPN%ª � J?QRNPBA��O`Onm � NPL��¬\Aª � @[ª<'honi�ªv!�0�½rl�;dfWRJ[\�NPWXU�BKm�a`^ � Bxm*i,J[mnBKdf\�ORJ��

Á2ÁÎÜBÂ�Ã%Ä�Å$Ã

Page 17: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

­ ��¯ �uWRdfT�eIWXZ?@�WR\�WRJ[m c�<?LMNPLPk?klB � WXJ?QSNMOSLP\K��i�m?m?L�UfLM�SBC\�^`@C@¢BAU�dfLPT �0U�<[B�J?ORJn�³J?BKQSW�UfLM�SB�TKWR\�BR� L% ����&�#��� � HB� �G � �C �%� �PªlDRsRs[vR���Ñ;OCWRk?k.BKWXd��:�

­ ��¯�@4WX@CBK\=� ��eVBK@C@¢BKN&��j�BKTABAJ4U,k?dfORQSd�Bx\�\�LPJ <?LMQS< WRTATAZ?doWRT�^8WRJ[m�<?LPQR< k.BAd���ORdf@CWRJ[T�B�NPLMJ[BKWXd,WRNMQSBAa?doWCWXNPQROSd�LMU�<?@�\K�oJ�hi � i,J?J`Z[WRN � BABAU�LPJ?Q[ª � W½^uv�� � �?��i���WRLMNYWXa?NPB�W�U '�j �P�Q��������� ���"!�!�!$# -�+.#Z5('2)�U�'�>�' � #j' 4 T,�R3 4 ';6�6,'�> �

­PvKs�¯�iVJ[mndfBKWR\�FId�LPBA�=WXJ �0� �!� ��� �� � � � E��Y����� � � �c� ���%� � d!��� �"�%� � �%� � �"� �R�$�� S��� �� ���³�GF ��� Er�&���T� ������-�&� �G���#�%� �c� � �c���&� �o`OnTALMBAUh^���ORd��ÄJ[m?Z[\hUfd�LYWXN]WRJ[m�i,k?k?NPLPBKm �uWXU�<?BK@CWXU�LYTA\Kªnce<?LPNPWSmnBANPk?<?LYW?ª[c0i�ª�'Qo?i�ª.DRsRsSs?�

­PvRv%¯��eO 3AO (,LYm?W?ª��VLYWXO�^SBWo0� � L%ª�WXJlmleIW½�`LPm (�� �=WXLPNMBK^R����ZlWRm`�ÄmnORZ[a?NMB WRd�LMU�<?@CBAU�LYT ��i,NPQROSd�LMU�<[@C\Kª LP@¢k[NMBK@¢BKJ4UfW��UfLMOSJ]ªlWRJ[m WXk?k[NMLYTAWXU�LPORJ]�,;BKTo<?J[LPTKWXNj,BAk.ORd�U � � � � �%r; � �� ?ª5e�BAklWXd�U�@CBAJ4UVOR� � OS@Ck?ZnU�BKdhonTALMBKJ[T�BSª 'VJ?LP�RBAdo\�L�Uh^�OX�� WRNMLM��ORdfJ?LYW?ª?��BAd��RBANPBA^Sª � i�ª�'honi�ª?OnT�U�DXsRsSs?�

­PvxD_¯ � LPTo<?OSNPWS\.@[��(VLMQS<[WX@*� �Q�$� � � � �¼� ��� C � ��� � � �T� � �GF=b �°������� �&� � � E0�����T�� ���� ��o`OnT�LPB�Uh^���ORd)�ÄJ[mnZl\hUfd�LYWXNnWXJlm�iVk?k?NPLMBxm�uWXU�<?BK@�W�U�LYTA\Kªnce<?LPNYWRmnBKNMk?<[LPW[ª?c¬i�ª�'honi�ªv�� � ?�

­Pva®�¯ ����� C � � ��� � �#� F%�&����� � � � �� B� � � �c� � E�� d��&� ��� �Q���T�� ��°��� ����� �Yb C���� ����� C � � ��� � �#����������������� �¹�ÄJ[\hUfL�UfZnU�B OX�� NPBKT�U�dfLPTKWXN�WXJ[m � NMBxT:U�dfORJ[LPTK\ � J?QSLMJ[BABAdo\Kª � BA���eORd��0ª�v!���r�?� j�BAk?dfLPJSUfBKm�LPJ{oJ�_FIc � i �Î� ORU�LYT�Bx\Aª DRD��&DY� � � � DY�?ªv!���0�n�

­PvAr&¯���LPNMNPLYWX@ P�WX<[WRJ]� �[Z?d�U�<?BKded�BK@�WXd��`\#OSJ�d�BxmnZ[TALMJ?Q�Ufd�Z[J[TAWXU�LPORJ�BAdfdfORdo\A� HB� � � ����� � � �������h�jF � ���� H_M ª;���_vZ� � rSs[ªv!�� r�?�

­PvZ�_¯�ce<[LMNPLMk[klB � WXJ?QSNMOSLP\K�¢iVZnU�OS@�W�U�LYTCNPLMJ?BxWXd�TAORdfd�BxT:U�LPORJ OX�=d�OSZ?J[mnLPJ?Q*BAdfd�OSdf\K� � L ª]rlvr�c®r�:ª2onBAknUfBA@�a.BAd¢DXsRs[vR���Ñ;OWRk?klBxWXd��:�

­Pv �¯�ce<[LMNPLMk[klB � WXJ?QSNMOSLP\IWXJ[m �[WRa?dfLPTAB � W�U�LP�RBKN&����<?BAJ�WXZ?U�OR@�WXU�LYT�NPLMJ[BKWXd�TAORdfd�BxT:U�LPORJ OX��dfORZ[J[mnLPJ?Q�BKd�dfORdo\�LP\�BA¡nWST:Ux�H � �$� �Q� � � � C ��� � d � �����$� C %����� � ª�®SD�� � ��rr® � �Xr �?ªlv�� � �?� � dfdfWXU�Z?@ÅLMJd®SD�� � �SD �?ª0v�� � �[�­Pv_�Z¯zo`BKk?k.O � LMJ[J[WXLPJ?@�WRW[� � dfd�OSd�NPLMJ[BKWXdfL 3KW�UfLMOSJ WS\IWRJ BA�.BxT:U�LP�RB¢UfO4OSN���ORd�B�¡nk.BAdfLM@CBKJSUoWXN WXJlWXNP^`\�LY\VOR��U�<[B¢J`Z?@CBKd�LYTAWRN

\_UfWRa?LMNPLMUh^8OX�#WXNPQRORdfLMU�<?@�\K� � L ªlDY® � ®Rr � ®r� �?ª[v!���r®?�­Pv ��¯¼eIWXJ?LPBANhe���uT � doWRT �SBAJ WXJ[m ��LPNPNMLYWX@ o0�!eVOSd�J]� b �°������� �&� M¿��� ��a��� � ��� ���N� � � � d!�#�%E&� � � ��� � E J"!��T��

�!Y � ��� � �c���&�5�¼� � C �����%�"��� � �"� �!� E&� �"�$�%��� � E � ��LPNMBK^Rª � BA�#�eORd��0ª¬v��� Rr[�­Pv���¯ � LYTo<?>KNMBec�LPTo<[WXUK� � ORdfd�BxT:UfLMOSJ�m�� Z?J[B�\�OR@C@CB�BAJ�WXdfL�Uf<?@CH�U�LYb4Z?B��,�4LPdfQRZ?NPB ­[ORU_UfWRJ4U�BR� b �°�%� � M � �� �Pª`v�� � r4sRs � rSs ?ªv!�0�XD?�­¿DXs�¯ � LYTo<?>KNMB ceLYTo<[WXU�WXJ[m @SBKWRJ D�LMQSJ?BK\K�� � E0 %�º���%�����]� �$��� �c��$ � �]�Y� �� "�� a�����������¹�Y�%�¿� �&� � S� �W� ���&�#��� � � �R� � �

;BKTo<?J[LMk]ªnc WRd�LY\Aª¬v!� �r®?�����ÄJ��?dfBAJ[To<��:�­¿Dnv%¯¼e�ORZ?QSNPWS\ ���.cedfLMBx\hUx� K � d��#����%�N� ���%���jF �� � � �c� � E d��&� �����Q���T�� ��°��� ����� JBb �°������� �&�"C � � � � � �T� �d� �"� �� 5� HB�����G�GF

�Q�$� � � � � H)� �� � � �c���&�5� �#ce<�e«Uf<?BK\�LY\Aª �uWXU�<?BK@�W�U�LYTA\�e�BAk[WRd_Uf@CBAJ4UKª�'VJ?LM�SBAdo\_LMUh^�OX� � WXNPL���OSd�J[LPW[ª;��BAd��RBKNMBK^Rª � i�ª'honi�ª � O��RBK@�a.BAd�v�� �SDn� 'Vj �P� X������ ���*X��*�$# 8 -�+ 8 #&5R'2)�UR'�>2' � #j' 4 T,�:��T�5(�2�*�('*0*) � �"��) 8 '(+:�9W:�*�('�+ 8 +_#&�9+.#&% �

­¿DRD_¯ � ORZ?LY\ �I�`j,WXNPN&� � ORJ`�RBKd�QSBAJ[TAB�OX�¬U�<[B � BA�=U�OSJ8k?dfOnT�BK\f\ UfO�@�Z?N�UfLMk[NMB�\_OSNMZ?U�LPORJ[\K� b �°�%� � M � �� �Pª � �¿DY� � ®J�`ª?v!�� � [�­¿D&®�¯�;��¬F¢�¬j�ORa.BAd�UfW 3 3AL�WXJ[m]o0� � �Ho?To<4�=WXd�U 3S����BK\_U$�_ORdomnBKd�LPJ?Q<����ORd�­[O4W�U�LPJ?QR�%k.ORLPJ4U�WRm?m?L�UfLMOSJ]� � H_M LS� � �5� � M � � �

C �jF�� � � �#� ª]vAr��hv_�%�PvKs[v � vRvKs[ª[v!�����[�­¿D�r&¯�@l�!o4UfO`BAd�WRJ[m�j�� ��Z?NMLPdo\�To<]�' ��� �#�a� ��� �����O� � b �°������� �&� �Q� ����� ����� �no`k?dfLPJ?QRBKd_�&D BAdfNPWRQ[ª � BK�(�eORd��0ª�\�BKT�OSJ[m

BxmnL�UfLMOSJ]ª¬v�� �Y®[�­¿DY�_¯�@4WX@CBK\ (��?��LMN �`LMJl\_OSJ]� � dfd�OSd=WRJ[WXNP^n\_LY\�d�BK�`LP\�L�UfBKm¬�) M �*� S� � ��� � � ªlDSD5�_vRv,+nvxDr� �Pv��SD � DRsRs?ªlv�� �� ?�­¿D� �¯�c WXZ[N.-.LP@C@CBAdf@CWRJ?J]�]iVd�LMU�<?@CHAU�LYbSZ[BVBAJ�k?dfHKT�LY\�LMOSJ8WXdfa?L�UfdfWRLMdfBR� H ��� � S�� � � �$�ad � � �&� �fe%� ���$� � %��� �& �G �;��� C � �N� e �°���

� � �N� ��� ª[DXsRs[vR�#T�B�J`Z?@CHAdfO[ªH���ÄJ �[d�BKJ[To<º���

ÛRQTÁ]ÛTS

Page 18: An Automatic Correcting Method - Inria fileISSN 0249-6399 ISRN INRIA/RR--4204--FR+ENG apport de recherche INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An automatic

Unit e de recherche INRIA Lorraine, Technopole de Nancy-Brabois, Campus scientifique,615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES NANCY

Unit e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES CedexUnit e de recherche INRIA Rhone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN

Unit e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY CedexUnit e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

EditeurINRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)��������� ���� ���������� ��� ���

ISSN 0249-6399