(.
·íªF¦è¤è¤å¤Æ¥ò¤¶ee¥x»y
²{¥N¤å |
(¥»¶±M½×) ·íªF¦è¤è¤å¤Æ¥ò¤¶ªº¥x»y²{¥N¤å,¤lÃD: ¤å¦r¹ïª¾ÃÑkab«ä·Q/¥Á±Ú¶¡ªº¤å¤Æ·¾³q/¥Á±Ú¶¡ªº¨¥»y·¾³q/¥Á±Ú¶¡ªº»y¤å¾ô¼Ù/ªF¦è¤è¤å¤Æ¥æ¬y¥Îªº»y¨¥/§Î¦¡¤Æ¥x»y²{¥N¤å Formal-MLT/21¥@¬ö¥@¬É©Ò¥ø±æªº¥þ²y©M¥ |
.
¥Á±Ú¶¡ee¤å¤Æ·¾³q = ¨âÓ¥Á±Ú¤§¶¡¦³¤å¤Æ·¾³q,·N¨ýµÛ¤¬¬Û±N¹ï¤èee¾ú¥v¤åª«¥R¤À½Ķho®a¤vee¥Á²³¨Ó¾\Ūkoq¾Ç²ß¡C ¥¥Îµ½·Nkab²z¸Ñ¥h±¹ï¹ï¤èee¾ú¥v¶Ç©Ó,¦ÛµM´Noe¤F¸Ñyn ee¦æ¬°,¤]oe ti²z©Ê§PÂ_¤§¥~ ´MµÛª½±µªÖ©w¤§³~¡C ¥i¨£,boeq¹F¨ì¤G¥Á±Ú¶¡ee¤å¤Æ·¾³q,¶Ç²Îee³~®|¦p¤U:
ar¥Îcit'eeµ²ªG¨Ó´£¤ÉA°ê¤H¹ïB°ê¤å¤Æee¤F¸Ñ; ¦P®É¤]tioh¦³B°ê¾ÇªÌ¨Ó¤¶²ÐA°êee¤å¤Æ¡C Na afnny,¥t¥~eeC°ê¤Hleq? Yn ma tioh¦³ºë³qB°ê»y¤åkabA°ê»y¤åee¾ÇªÌ¡C ¬°ÁקK³oºØµLºÉee®ö¶O,²Ä¤@¦¸¥@¬É¤j¾Ô«á,¥@¤H´N¶}©l°_¥Î^¤å°µ¥@¬É¦@¥Î»y¤å¡C §Y,¤£ºÞtof'¤@°êee¾ÇªÌ,lorng tioh¾Ç²ß^¤å,afnny thafng±N¦Û°êee¶Ç©Ó¤åª«Â½Ä¶°µ^¤å, ¨Óho¨ä¥L°ê®aee¾ÇªÌ¦³¥i¯à¶Ç¼½¥X¥h¡C Mxkuo,¥@¬É¤W¦³¤@¹è¥Á±Ú,cviaa-Ãø¾Ç¦n^¤å,¥Dn²z¥Ñ¦³¤G,§Y: (1)^¤åee¤åªk·¥«×²§¥G¦Û®a¥À»yee¤åªk,©Ò¥H¦Ó¾Ç²ß§xÃø kab (2)¦p¼Ú¬w¦U±Ú»y¤å,¨ä¥ÎÃã¦r²´¤Ó¿Ë¹³,«oÅܤƳW«h¦³²§,¥HP®e©öµo¥Í²VÂZ¡C =. ¥Á±Ú¶¡ee¨¥»y·¾³q ¦©ó¤Q¤E¥@¬ö¥½,¼Ú¬w´N¦³¦³ÃѤ§¤h
»{Ãѵۥ@¬É©M¥¥²¶·¨Ì¿à¶W¶V¤F°ê»Úee¥µ¥·¾³q,
¨Ãboextaxng±a¨Ó½Ñ¥Á±Ú¶¡¯u¥¿ee¥¿¸qkab¤Í·R,arÀ³¸Óiao tioh¬°¸Ñ°£¥Á±Ú¶¡ee°¾¨£kab§Áµø, ¥²¶·¿Ñ¨Dbokaang©v±Ð¶¡ee¿Ä¦X¡C ¨ä¹ê,zef´N¬O¥Á±Ú¶¡ee¤å¤Æ·¾³q¤¤ee¤@Ó½ÒÃD¡C |
.
¥Á±Ú¶¡ee»y¤å¾ô¼Ù ¤¤¥@¬ö®Éee¼Ú¬w,²³¤H©Ó»{©Ô¤B¤å¬°¤j®a¦@¥Îee»y¤å,ar
ti¨È¬w «h¥u¥Îº~¤å¡C
¦UÓ±Ú¸see»y¤å¾ô¼Ù¡C¨ä¹ê¬O·¥¨ãÅv«Â©Êee¤¤¥¡»y¨¥¡C |
§Î¦¡¤Æ¥x»y²{¥N¤å Formal-MLT = ¥x»y¥þ«÷¦r²{¥N¤å(MLT/TMSS)¬O¦p¦P©ó¼Ú¬ü»y¤åee©Ô¤B«÷¦r»yÃãee»y¤å¡C ¥ì¤]©ÓÄ~¤F¤¤ìº~¦r¤å,¦¨°µÓÓ»yÃã§ÎºA©T©war boe¦]®É¼Æ©Ê§O¨Ó°µÅܤÆ, koq¦P¤@»yÃã,©l²×ºû«ùµÛ쥻ee§ÎºA,¤z³æ¨Ì·ÓµÛ¤å¤ºµ²ºc¦ì¸m¨ÓÅܧóµü©Ê; §Y,¥ìÀH®Éthafng§PÂ_°µ¦Wµü,°ÊÃã,iafsi°ÆÃã¡E ThafngÁ¿¬O³Ì²z·Qee¹q¸£³B²z¥Îee»y¨¥¡C ¬°¤F¹q¸£¦Û°Ê³B²zee¤è«K,«¥thafng¶i¤@¨B°µ¤@¹è¤åªkkab»yªk¤Wee©w, afnny´Ncviaa-®e©ö°õ¦æ¤W±©Ò»¡ee¥ò¤¶»y¨¥(Agency Language)ee¾³d¡C µy°µ©w,¬O¬°boeq ho¥ì¦¨°µ¶êº¡ee§Î¦¡¤Æ»y¨¥(Formal Language), ©Ò¥H¥s¥ì°µ§Î¦¡¤Æ¥x»y²{¥N¤å(Formal-MLT),´XÓ¥JnÂI¦p¤U:
zef¬O°ß¤@bad¨ü¹L¬ã¨see¡C ¥@¬É¤Wna¦³¥t¥~¤@ºØ²¤¥[§ó§ï´Noe¦¨°µthafng¹q¸£¤Æee¦ÛµM»y¤å,«h¤]thafng¹Á¸Õ¡C ¥x»y¦³¤@¶µcviaa-¯S§Oee©Ò¦b,´N¬O¥ìti¤@¦Ê¦~¨Ó¤@ª½¨üµÛÀ£¨î, ©Ò¥HµL¾÷·|µo®i¦¨°µ·¥«×ºë±Kee»y¨¥¡C ÁöµMka¥ì¦p¤W"§Î¦¡¤Æ"¨Ó³æ¯Â¤Æ, ¥xÆW¤H«o¤£¤Ó¥i¯à·PıµÛ¥¼²ßºD¡C ²{¤µee¥xÆW¦~«C¤H,¦p¦P¥~°ê¤H,¤j¦h¼Ætwtuo teq¶}©l¾Ç²ß¥xÆW¸Ü¡C ¤U±¬O¥ô¦ó¦ÛµM»y¨¥Â½°µ¥ò¤¶»y¨¥(AL)kab¥Ñ¥ò¤¶»y¨¥(AL)¼g¥X¦U¦Û¥À»y¤åeen»â¡C
Afnny,¸g¥Ñ¤å¤Æeeºc³q¨Ó¿Ñ¨D¥Á±Ú¶¡ee¤¬¬Û½Ì¸Ñ¡C ·Rboeq°Ñ»Pcit'¶µ¤u§@ee»y¤å¾ÇªÌ,«o¥u»ÝnÁA¸Ñ®a¤vee¥À»ykab¤åªk¤W³æ¯Âee¥ò¤¶»y¨¥¡C |
.
21¥@¬ö¥@¬É©Ò¥ø±æee¥þ²y©M¥ = ©M¥¨Ó¦Ûºc³q¡C 20¥@¬ö®Éee²VÂZ,¥]¬Ahit'¨â¦¸¯}Ãa¦º¶ËÄY«ee¥@¬É¤j¾Ô,ho¤HÃþ´÷±æ¥ÃÄòee©M¥¡C ¥Ñ©ó¥@¬É¤W³¡¤À±Ú¸s¹ï¨ä¥L¬Y¤@±Ú¸see»~¸Ñ,¤HÃþee¯Éª§´NµoºÝ¡C ¬°¬Æ»òboextaxng¨Æ¥ý¸ÑÄÀ²M·¡,«o¨Ï¤¬¬Ûee¤£«H¥ô,µL½a°ª¤Éleq? ¬°¬Æ»òµL¤H¬Û«H¹ï¤èee¸ÑÄÀkab«OÃÒleq? ¦]¬°«¥¤£ª¾¼v¹ï¤èee¤ß¤¤teq¥´¬Æ»ò¥D·N¡C¡@ºÃ¤ßho¤HµLªk·¾³q¡C ©ÒÃhºÃee,¤£¬O¨ÓÁ¿¸Üee hit'¤H,«o¬O¥LI«áee¾ãÓ±Ú¸s, ¬Oyn ee«ä±©Åé¨t,¬O¹ï¤èee±Ú¸s¤å¤Æ¡C ¦è¤è¤HµLªkÁA¸ÑªF¤èeeº~¦r¤å¤Æ,arªF¤è¤H¤]µLªk³q¾åhiahniq' ¦hºÝee¼Ú¬w,«D¬w,kaux¤¤ªF¦U±Úee¤å¤Æ¡C¡@ Na¦³¤@¤é,²³¤Hoextaxng¥Î¦P²z¤ß¥h¬°§O¤H³]·Q,¥Î¸ÛÀµeeºA«×§ï¥¿®a¤v¤å¤Æ¤¤eeÅQ¹D, µL¥h¤ñ¦l¶B«o¥hµo´¤¯·R,afnny¤H¶¡µL¨pee©M¥¬Û³B,ciaq oextaxng´Á«Ý, ar°ê®a»P°ê®a¤§¶¡¤]µL»Ýn¯Éª§,cit'®É¯u¥¿¥ÃÄòee¥þ²y©M¥ciaq oe¨ÓÁ{¡C = |