search

daquexian / simple_program_synthesis

FOPL 课期末大作业，仿照 POPL'11 的一篇文章-w-
GNU General Public License v3.0
0 stars 0 forks source link

这是啥？ #1

Open wenxin-bupt opened 7 years ago

daquexian commented 7 years ago

program synthesis，大概是给出一个要求，然后程序自动生成符合要求的代码 -w-

具体是给出几个输入输出的例子，由程序生成符合这些例子的处理字符串的代码（DSL），然后就可以用这个代码去处理新的字符串了

具体可以看这篇文章，参照这个做的

daquexian commented 7 years ago

用于某门课的期末作业，时间很赶所以没有实现完全> <

wenxin-bupt commented 7 years ago

噢噢噢噢！

具体是给出几个输入输出的例子，由程序生成符合这些例子的处理字符串的代码（DSL），然后就可以用这个代码去处理新的字符串了

很有意思啊！

你是谷粉干嘛老跟微软的搞在一起。（知识没有疆界么 （老气横秋

daquexian commented 7 years ago

很有意思啊！

说是“代码”，其实就是一个自动机

你是谷粉干嘛老跟微软的搞在一起

而且过几天我就要潜入敌方大本营了

wenxin-bupt commented 7 years ago

666

wenxin-bupt commented 7 years ago

File "uu.py", line 351, in intersect p1 = intersect_pos(op1.p1, op2.p1) File "uu.py", line 312, in intersect_pos rl1 = intersect_regex(op1.reg_list1, op2.reg_list1) File "uu.py", line 327, in intersect_regex res = [tuple(set(rl1[i]) & set(rl2[i])) for i in range(len(rl1))] File "uu.py", line 327, in res = [tuple(set(rl1[i]) & set(rl2[i])) for i in range(len(rl1))] TypeError: unhashable type: 'StartToken'

？

wenxin-bupt commented 7 years ago

为啥输入你的例子的第二个就..了

Central Intelligence Agency,CIA
World Wide Web,WWW
Traceback (most recent call last):
  File "uu.py", line 565, in <module

win10

daquexian commented 7 years ago

好像应该用 py2。。囧

wenxin-bupt commented 7 years ago

有空再测啦， win上面木有py2

daquexian commented 7 years ago

我更新了，现在可以了，好囧