it's actually even worse: the rewriting rules are presented as equalities, and i don't know that you only need to use one direction to evaluate every term
though also im realizing that the system im working with has cycles, and is only deterministic in the sense that every term has exactly one possible value it can evaluate to. is there a general algorithm to transform this into a deterministic system? is such a thing even possible
dynamic programming might be able to give you an optimal way to pick what rule to use for many systems, but it only makes sense to do if you have a good heuristic for complexity (e.g when multiplying many matrices, optimizing the order of multiplication to multiply smaller-dimensional matrices)
is there a better algorithm for evaluation in a deterministic term rewriting system than at each step picking any rule that works
i do have a profile picture it just loads very slowly
in our apartment: walls continue upright, bricks meet neatly, floors are firm, and doors are sensibly shut.
ugh why is my amp making a high pitched sound in not an eletrologist i dont know how to fix it
WAIT i forgot that this was a reddit meme i was just having some really good garlic bread and lying on the internet
we need strong antitrust enforcement to break up the state's monopoly on violence
girl with "The Charter of The French language and its regulations govern the consultation of English-language content" in her bio
