发明名称 UNROLLING QUANTIFICATIONS TO CONTROL IN-DEGREE AND/OR OUT DEGREE OF AUTOMATON
摘要 Apparatus, systems, and methods for a compiler are disclosed. One such compiler parses a human readable expression into a syntax tree and converts the syntax tree into an automaton having in-transitions and out-transitions. Converting can include unrolling the quantification as a function of in-degree limitations wherein in-degree limitations includes a limit on the number of transitions into a state of the automaton. The compiler can also convert the automaton into an image for programming a parallel machine, and publishes the image. Additional apparatus, systems, and methods are disclosed.
申请公布号 EP2668577(A4) 申请公布日期 2015.11.18
申请号 EP20120739652 申请日期 2012.01.24
申请人 MICRON TECHNOLOGY, INC. 发明人 XU, JUNJUAN;GLENDENNING, PAUL
分类号 G06F9/45;G06F9/44;G06F17/50 主分类号 G06F9/45
代理机构 代理人
主权项
地址