You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
matchbox2014 --cpf tpdb/tpdb-4.0/TRS/HofWald/2.trs
matchbox2014: "input" (line 2, column 24):
unexpected "-"
expecting "," or ")"
cat tpdb/tpdb-4.0/TRS/HofWald/2.trs
(Comment with f(a,z) = A(z), f(f(a,a),z) = B(z),
this is AB(z) -> BAA(z)
this is not RFC-match-bounded (but its reverse is)
)
(VAR x)
(RULES f (a, f (f (a, a), x)) -> f (f (a, a), f (a, f (a, x))))
The text was updated successfully, but these errors were encountered:
pure-matchbox: "input" (line 9, column 34):
unexpected ";"
expecting "," or ")"
CallStack (from HasCallStack):
error, called at src/TPDB/Input/File.hs:24:21 in tpdb-2.1.1-H8rbAXXSma2B3X9d1Pgeei:TPDB.Input.File
file contents:
(RULES
0 p 0 ->= q ,
1 p 1 ->= q ,
0 q 0 ->= q ,
1 q 1 ->= q ,
b q b -> b p b ,
p ->= 1 p 1 0 1
)
(COMMENT: encoding of PCP [1,101];
rel.termin <==> no PCP solution)
The text was updated successfully, but these errors were encountered: