//testcase { // input "x"; // output "a1:{x}"; // // s = a1:: a // a = s1:: s // a = ^"x" //} // //testcase { // input "x"; // output "x"; // output "s2:{s2:{s0 s0} x}"; // output "s2:{s0 x}"; // // // s = s2:: s s // s = ^"x" // s = s0:: () //} testcase { input "aaaaa"; s = A A = "a" s &~ "a" A | "a" A &~ "a" s } //testcase { // input "a"; // output "yes:{}"; // s = A // A = "a" s &~ "a" A // | "a" A &~ "a" s // | () //} testcase { input "ab c"; output "1:{{a b} {c}}"; s = ids ids = "1":: id (" " ids &~ id !((~[])*)) | "2":: id ( ids &~ id !((~[])*)) | id id = [a-z]++ } testcase { input "ab c"; output "2:{{a} 1:{{b} {c}}}"; output "1:{{a b} {c}}"; s = ids ids = "1":: id " " ids | "2":: id ids | id id = [a-z]+ } testcase { input "aaabbbccc"; output "ab"; s = ab & dc ab = ab:: a b dc = dc:: d c a = "a" a | () b = "b" b "c" | () c = "c" c | () d = "a" d "b" | () } testcase { input "aaabbbbccc"; s = ab & dc ab = ab:: a b dc = dc:: d c a = "a" a | () b = "b" b "c" | () c = "c" c | () d = "a" d "b" | () } testcase { input "aabb"; output "xbx:{{a} abab:{a b} {b}}"; x = ~[] s = xbx:: x* b x* b = abab:: [ab][ab] &~ ( "aa" | "bb" ) } testcase { input "qxbambambam"; output "bam:{a bam:{a bam:{a x}}}"; s = "q" z z = a z ^"bam" | ^"x" a = a:: () } testcase { input "baaaa"; output "s2:{b0 a:{a:{epsilon}}}"; output "b:{a:{a:{epsilon}} epsilon}"; s = s2:: b t | ^"b" t b t = ^"a" t "a" | epsilon:: () b = b0:: "b" | epsilon:: () } testcase { input "qaq"; output "q:{a:{s1:{epsilon}}}"; s = ^"q" x "q" x = ^"a" a | epsilon:: () a = s1:: x } testcase { input "baa"; output "s1:{a2:{a2:{a0 b0} b0}}"; s = s1:: "b" a a = a2:: "a" a b | a0:: () b = b0:: () } testcase { input "aaa"; output "s3:{s3:{epsilon a0 epsilon epsilon} epsilon epsilon epsilon}"; output "s3:{s3:{epsilon epsilon epsilon epsilon} a0 epsilon epsilon}"; output "s3:{s3:{epsilon epsilon a0 epsilon} epsilon epsilon epsilon}"; output "s3:{s3:{epsilon epsilon epsilon a0} epsilon epsilon epsilon}"; output "s3:{epsilon epsilon a0 a0}"; output "s3:{s3:{s3:{epsilon epsilon epsilon epsilon} epsilon epsilon epsilon} epsilon epsilon epsilon}"; output "s3:{s3:{epsilon epsilon epsilon epsilon} epsilon epsilon a0}"; output "s3:{s3:{epsilon epsilon epsilon epsilon} epsilon a0 epsilon}"; output "s3:{epsilon a0 epsilon a0}"; output "s3:{epsilon a0 a0 epsilon}"; s = s3:: "a" s a a a | epsilon:: () a = a0:: "a" | epsilon:: () } testcase { input "aa"; output "poo:{poo:{poox poox} poox}"; output "poo:{poox poo:{poox poox}}"; s = poo:: s s "a" | poox:: () } testcase { input "baa"; output "s:{aa:{aa:{a b} b}}"; s = s:: "b" a a = aa:: "a" a b | a:: () b = b:: () } testcase { input "aaab"; output "sx:{b aa:{aa:{b b} b}}"; s = sx:: b d "a" "b" | sy:: "a" d "a" d d = aa:: "a" a b a = aa:: "a" b b | a:: () b = b:: () } testcase { input "a+(b*c)"; output "+:{{a} *:{{b} {c}}}"; s = r r = id | r ^"*" r | r ^"+" r | "(" r ")" id = [a-z]++ } testcase { input "a+b-d*c"; output "plus:{stringify:{{a}} minus:{stringify:{{b}} times:{stringify:{{d}} stringify:{{c}}}}}"; output "times:{plus:{stringify:{{a}} minus:{stringify:{{b}} stringify:{{d}}}} stringify:{{c}}}"; output "plus:{stringify:{{a}} times:{minus:{stringify:{{b}} stringify:{{d}}} stringify:{{c}}}}"; output "times:{minus:{plus:{stringify:{{a}} stringify:{{b}}} stringify:{{d}}} stringify:{{c}}}"; output "minus:{plus:{stringify:{{a}} stringify:{{b}}} times:{stringify:{{d}} stringify:{{c}}}}"; w = " " l = id s = assign:: l "=" q | q q = id | assign:: l "=" q | minus:: q "-" q | plus:: q "+" q | times:: q "*" q | "(" q ")" id = stringify:: idl++ idl = [a-d] } //testcase { // input "a*b*c"; // output "times:{stringify:{{a}} times:{stringify:{{b}} stringify:{{c}}}}"; // w = " " // l = id // s = l "=" r => "assign" // | r // r = l // | l "=" r => "assign" // | r "+" r => "plus" // | (r) "*" r => "times" // | "(" r ")" // | r r => "times" // id = idl++ => "stringify" // idl = [a-d] //} testcase { input "a+b*c"; output "plus:{stringify:{{a}} times:{stringify:{{b}} stringify:{{c}}}}"; w = " " l = id s = assign:: l "=" r | r r = l | assign:: l "=" r | plus:: r "+" r > times:: r "*" r | "(" r ")" | times:: r r id = stringify:: idl++ idl = [a-d] } testcase { input "aa bb"; output "{q:{{a a}} q:{{b b}}}"; s = q */ ws ws = " "* q = q:: [a-z]++ } testcase { input " while x>0 while y>0 foo() bar() while x>0 while y>0 foo() bar() "; output "smt:{while:{>:{{x} {0}} while:{>:{{y} {0}} sbb:{{f o o} {b a r}}}} while:{>:{{x} {0}} sbb:{while:{>:{{y} {0}} {f o o}} {b a r}}}}"; indent = ww outdent = " " outdent " " | " " ((~[])*) "\n" w = " " | "\n" | "\r" ws = w* ww = sp* sp = " " any = (~[])* s = smt:: !ws statement !ws statement !ws block = !"\n" !indent blockBody &~ !"\n" (" " !outdent " ") !(~[\ ]) !((~[])*) blockBody = statement > sbb:: statement ws blockBody statement = call | ^"while" expr block /ws expr = ident | call | expr ^">" expr /ws | num call = expr "()" /ws num = [0-9]++ ident = [a-z]++ &~ keyword keyword = "if" | "then" | "else" | "while" } testcase { input "abc "; s = s2:: q " "* q = a3:: [a-z] [a-z] [a-z] &~ !(~[]) "b" !((~[])*) } testcase { input "abc "; output "s:{a b c}"; s = s:: [a-z] [a-z] [a-z] " "* } testcase { input "a+2"; output "Plus:{left:{Foo} right:{{2}}}"; s = Expr Expr = [0-9]++ | Plus:: (left::Expra) "+" (right::Expr) Expra = Foo:: ("a" | "b") } testcase { input "aaaaa"; output "top:{a q:{{a a a}} a}"; s = top:: z (q::"a"*) z z = a:: "a" } testcase { input "if (x) if (y) z else q"; output "if:{ident:{{x}} else:{if:{ident:{{y}} then:{ident:{{z}}}} ident:{{q}}}}"; s = Expr Expr = if:: "if" "(" Expr ")" IfBody /ws | ident:: [a-z]++ IfBody = else:: Expr "else" Expr /ws | then:: Expr &~ ((~[])* "else" !Expr /ws) ws = [ ]** } testcase { input "12111211"; output "ac:{{2 1 2 1}}"; //output "a:{{2 1 2 1}}"; //output "c:{{c:{1 1} c:{1 1}}}"; s = ab:: ab | ac:: ac | bc:: bc //| a => "a" //| b => "b" //| c => "c" ab = a & b ac = a & c bc = b & c a = ("1" x)* b = ("b":: x "2")* c = ("c":: x "2" x "1")* x = [123] }