A Play on Regular Expressions æå¾ã¾ã§èªã¿ã¾ãã. 対話çã«æ¸ããã¦ãã¦èªã¿ãããã£ãã®ã¨, ã½ã¼ã¹ã³ã¼ããã»ã¨ãã©ãã®ã¾ãã¾åãããã楽ããã£ãã§ã. æ£ç´è¨ã£ã¦, æ£è¦è¡¨ç¾ã®ã¨ã³ã¸ã³æ¸ããã®ã¯åãã¦ã§ãã. ãã®è«æã®ç´ æ´ãããæã¯, ãããªã¼ãã§ã, ACT1ãèªãã ãã§, åãæ¢ãããªããåãã¨ã³ã¸ã³ãä½ãã¦ãã¾ããã¨ã§ãã. ãã , ææ°é¢æ°çã«ã¡ã¢ãªã¼ãé£ãããããã°ããã£ã¦è¨ã£ã¦ACT2ã«ç¶ãããã§ãã... ACT2ããããããè¯ãã£ã. Semiringã使ã£ã¦æ£è¦è¡¨ç¾ã®è¿ãå¤ãä¸è¬åããæ¹æ³ã¯, ã¨ã¦ãç¾ãã, æ°æããã£ãã§ã. ããã¦, æçµç« ã®Lazinessã«ããæ, è奮ãåã¾ãã¾ããã§ãã. å°ãã³ã¼ãè²¼ã£ã¦ããã¾ã. æåã«åºã¦ãã, æ£è¦è¡¨ç¾ã表ããã¼ã¿åã¯ãããªæãã§ã. data Reg = Eps | Sym Char
{{#tags}}- {{label}}
{{/tags}}